×

zbMATH — the first resource for mathematics

Found 409 Documents (Results 1–100)

100
MathJax
Hackensack, NJ: World Scientific (ISBN 978-981-12-2031-9/hbk; 978-981-12-2033-3/ebook). x, 382 p. (2021).
PDF BibTeX Cite
Full Text: DOI
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 328-339 (2019).
MSC:  68Q32 06A15 68Q45
PDF BibTeX Cite
Full Text: DOI
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 81-92 (2016).
MSC:  68T30 06A15 12K10
PDF BibTeX Cite
Full Text: DOI
Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 18, 15 p. (2016).
MSC:  68Q85 06A15 68N30
PDF BibTeX Cite
Full Text: DOI
Baixeries, Jaume (ed.) et al., Formal concept analysis. 13th international conference, ICFCA 2015, Nerja, Spain, June 23–26, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19544-5/pbk; 978-3-319-19545-2/ebook). Lecture Notes in Computer Science 9113. Lecture Notes in Artificial Intelligence, 81-96 (2015).
MSC:  68T30 03G25 06A15
PDF BibTeX Cite
Full Text: DOI
Dančák, Michal (ed.) et al., The Logica yearbook 2013. Proceedings of the 27th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 17–21, 2013. London: College Publications (ISBN 978-1-84890-144-5/pbk). 49-62 (2014).
MSC:  03G15 06A15
PDF BibTeX Cite
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 3-4 (2014).
PDF BibTeX Cite
Full Text: DOI

Filter Results by …

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