×

zbMATH — the first resource for mathematics

Found 1,001 Documents (Results 1–100)

100
MathJax
Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12012, 242-262 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 475-483 (2020).
MSC:  68M18 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Singh, Vinai K. (ed.) et al., Advances in mathematical methods and high performance computing. Cham: Springer. Adv. Mech. Math. 41, 283-294 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Hinze, Thomas (ed.) et al., Membrane computing. 19th international conference, CMC 2018, Dresden, Germany, September 4–7, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11399, 160-187 (2019).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Pintér, János D. (ed.) et al., Modeling and optimization: theory and applications, MOPTA, Bethlehem, PA, USA, August 16–18, 2017. Selected contributions of the conference. Cham: Springer. Springer Proc. Math. Stat. 279, 57-96 (2019).
MSC:  90B35 90C26 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 481-498 (2017).
MSC:  68N30 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 28, 15 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 12, 16 p. (2017).
MSC:  68Q85 68Q55 91A80
PDF BibTeX XML Cite
Full Text: DOI
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 41, 21 p. (2017).
MSC:  68Q85 91A80
PDF BibTeX XML Cite
Full Text: DOI
Butenko, Sergiy (ed.) et al., Optimization methods and applications. In honor of Ivan V. Sergienko’s 80th birthday. Cham: Springer (ISBN 978-3-319-68639-4/hbk; 978-3-319-68640-0/ebook). Springer Optimization and Its Applications 130, 481-493 (2017).
MSC:  90C26 68Q85
PDF BibTeX XML Cite
Full Text: DOI
van der Aalst, Wil (ed.) et al., Application and theory of Petri nets and concurrency. 38th international conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57860-6/pbk; 978-3-319-57861-3/ebook). Lecture Notes in Computer Science 10258, 37-56 (2017).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Bertet, Karell (ed.) et al., Formal concept analysis. 14th international conference, ICFCA 2017, Rennes, France, June 13–16, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10308, 228-241 (2017).
MSC:  68T30
PDF BibTeX XML Cite
Full Text: DOI
Undergraduate Topics in Computer Science. Cham: Springer (ISBN 978-3-319-50016-4/pbk; 978-3-319-50017-1/ebook). xiv, 218 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Thulasiraman, Krishnaiyan (ed.) et al., Handbook of graph theory, combinatorial optimization, and algorithms. Boca Raton, FL: CRC Press (ISBN 978-1-58488-595-5/hbk; 978-1-4200-1107-4/ebook). Chapman & Hall/CRC Computer and Information Science Series, 587-626 (2016).
MSC:  05C82 68M10 68M14
PDF BibTeX XML Cite
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 357-366 (2016).
PDF BibTeX XML 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 12, 13 p. (2016).
MSC:  68Q85 68Q10 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 54, 13 p. (2016).
MSC:  68P15 68Q10 68Q12
PDF BibTeX XML Cite
Full Text: DOI
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 243-255 (2016).
MSC:  68N18 03F52 68Q05 68Q25 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 226-239 (2015).
MSC:  68Q05 68Q10 68Q85 92C40
PDF BibTeX XML Cite
Full Text: DOI
Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 387-401, electronic only (2015).
MSC:  68Q55 68Q10 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Scheideler, Christian (ed.), Structural information and communication complexity. 22nd international colloquium, SIROCCO 2015, Montserrat, Spain, July 14–16, 2015. Post-proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9439, 270-284 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 427-450 (2015).
MSC:  68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9268, 206-221 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Comput. Math. Math. Phys. 55, No. 1, 148-159 (2015); translation from Zh. Vychisl. Mat. Mat. Fiz. 55, No. 1, 153-164 (2015).
MSC:  68U20
PDF BibTeX XML 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