×

zbMATH — the first resource for mathematics

Found 118 Documents (Results 1–100)

100
MathJax
Klein, Shmuel Tomi (ed.) et al., Language and automata theory and applications. 12th international conference, LATA 2018, Ramat Gan, Israel, April 9–11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-77312-4/pbk; 978-3-319-77313-1/ebook). Lecture Notes in Computer Science 10792, 296-307 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Devillers, Raymond (ed.) et al., Application and theory of Petri nets and concurrency. 36th international conference, PETRI NETS 2015, Brussels, Belgium, June 21–26, 2015, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9115, 49-76 (2015).
MSC:  68Q85 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Shallit, Jeffrey (ed.) et al., Descriptional complexity of formal systems. 17th international workshop, DCFS 2015, Waterloo, ON, Canada, June 25–27, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9118, 243-255 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8489, 233-252 (2014).
MSC:  68Q85 68Q45 68Q70
PDF BibTeX XML Cite
Full Text: DOI
Barneva, Reneta P. (ed.) et al., Combinatorial image analysis. 15th international workshop, IWCIA 2012, Austin, TX, USA, November 28–30, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-34731-3/pbk). Lecture Notes in Computer Science 7655, 166-180 (2012).
MSC:  68Q85 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Adamski, Marian (ed.) et al., Proceedings of the international workshop on discrete-event system design. DESDes ’01, Przytok near Zielona Góra, Poland, June 27-29, 2001. Zielona Góra: TU of Zielona Góra, Computer Engineering and Electronics Institute. 223-228 (2001).
MSC:  68Q85 68N15 68M99
PDF BibTeX XML Cite
Adamski, Marian (ed.) et al., Proceedings of the international workshop on discrete-event system design. DESDes ’01, Przytok near Zielona Góra, Poland, June 27-29, 2001. Zielona Góra: TU of Zielona Góra, Computer Engineering and Electronics Institute. 61-66 (2001).
MSC:  68Q85 68N15 68M99
PDF BibTeX XML Cite
Adamski, Marian (ed.) et al., Proceedings of the international workshop on discrete-event system design. DESDes ’01, Przytok near Zielona Góra, Poland, June 27-29, 2001. Zielona Góra: TU of Zielona Góra, Computer Engineering and Electronics Institute. 53-60 (2001).
MSC:  68Q85 68N15
PDF BibTeX XML Cite
Computational systems analysis, Proc. 4th Int. Symp. Syst. Anal. Simulation, Berlin/Ger. 1992, 439-444 (1992).
MSC:  68N99 68Q85 68U20
PDF BibTeX XML Cite
Informatik-Fachberichte. 269. Berlin etc.: Springer-Verlag. XIV, 449 p. (1991).
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software