×

zbMATH — the first resource for mathematics

Found 106 Documents (Results 1–100)

100
MathJax
Hoshi, Mizuho (ed.) et al., Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-98653-1/pbk; 978-3-319-98654-8/ebook). Lecture Notes in Computer Science 11088, 282-290 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49629-9/pbk; 978-3-662-49630-5/ebook). Lecture Notes in Computer Science 9634, 373-389 (2016).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 339-350 (2014).
MSC:  68Q45 68Q30
PDF BibTeX XML Cite
Full Text: DOI
Ibarra, Oscar H. (ed.) et al., Unconventional computation and natural computation. 13th international conference, UCNC 2014, London, ON, Canada, July 14–18, 2014. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 8553, 327-339 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Geffert, Viliam (ed.) et al., SOFSEM 2014: theory and practice of computer science. 40th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 26–29, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8327, 443-454 (2014).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Jürgensen, Helmut (ed.) et al., Descriptional complexity of formal systems. 16th international workshop, DCFS 2014, Turku, Finland, August 5–8, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-09703-9/pbk). Lecture Notes in Computer Science 8614, 330-341 (2014).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Yen, Hsu-Chun (ed.) et al., Developments in language theory. 16th international conference, DLT 2012, Taipei, Taiwan, August 14–17, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31652-4/pbk). Lecture Notes in Computer Science 7410, 166-177 (2012).
MSC:  68Q45 68Q15 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Bouchou-Markhoff, Béatrice (ed.) et al., Implementation and application of automata. 16th international conference, CIAA 2011, Blois, France, July 13–16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22255-9/pbk). Lecture Notes in Computer Science 6807, 142-153 (2011).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Martín-Vide, Carlos (ed.), Scientific applications of language methods. London: Imperial College Press (ISBN 978-1-84816-544-1/hbk; 978-1-84816-545-8/ebook). Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory 2, 563-584 (2011).
MSC:  68Q12 68Q45 81P68
PDF BibTeX XML Cite
Gao, Yuan (ed.) et al., Developments in language theory. 14th international conference, DLT 2010, London, ON, Canada, August 17–20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14454-7/pbk). Lecture Notes in Computer Science 6224, 197-208 (2010).
MSC:  68Q45 68Q15
PDF BibTeX XML Cite
Full Text: DOI
López-Ortiz, Alejandro (ed.), LATIN 2010: Theoretical informatics. 9th Latin American symposium, Oaxaca, Mexico, April 19–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12199-9/pbk). Lecture Notes in Computer Science 6034, 196-207 (2010).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Albers, Susanne (ed.) et al., STACS 2009. 26th international symposium on theoretical aspects of computer science, Freiburg, Germany, February 26–28, 2009. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-09-5). LIPIcs – Leibniz International Proceedings in Informatics 3, 577-588, electronic only (2009).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI Link
Thomas, Wolfgang (ed.) et al., STACS 2007. 24th annual symposium on theoretical aspects of computer science, Aachen, Germany, February 22–24, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-70917-6/pbk). Lecture Notes in Computer Science 4393, 381-392 (2007).
MSC:  68Q45 68Q05 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Nathanson, Melvyn B. (ed.), Unusual applications of number theory. Proceedings of the DIMACS workshop held at Rutgers University, Piscataway, NJ, USA, January 10–14, 2000. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-2703-0/hbk). DIMACS. Series in Discrete Mathematics and Theoretical Computer Science 64, 169-181 (2004).
MSC:  68Q45 68R15 11B85
PDF BibTeX XML Cite
Martín-Vide, Carlos (ed.) et al., Grammars and automata for string processing. From mathematics and computer science to biology, and back. Essays in honour of Gheorghe Păun. London: Taylor and Francis (ISBN 0-415-29885-7/hbk). Top. Comput. Math. 9, 275-284 (2003).
MSC:  68Q45
PDF BibTeX XML Cite
Sgall, Jiří (ed.) et al., Mathematical foundations of computer science 2001. 26th international symposium, MFCS 2001, Mariánské Lázně, Czech Republic, August 27-31, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2136, 398-407 (2001).
MSC:  68Q45
PDF BibTeX XML Cite
Chajda, I. (ed.) et al., Contributions to general algebra 11. Proceedings of the Olomouc workshop ’98 on general algebra, “56. Arbeitstagung Allgemeine Algebra”, Olomouc, Czech Republic, June 12-14, 1998 and of the summer school ’98 on universal algebra and ordered sets, Velké Karlovice, Czech Republic, August 31-September 5, 1998. Klagenfurt: Verlag Johannes Heyn. 151-154 (1999).
MSC:  08A60 68Q70
PDF BibTeX XML Cite
Fülöp, Zoltán (ed.) et al., Automata, languages and programming. 22nd international colloquium, ICALP ’95, Szeged, Hungary, July 10–14, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 944, 315-323 (1995).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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