×

zbMATH — the first resource for mathematics

Found 332 Documents (Results 1–100)

100
MathJax
Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 191-209 (2021).
MSC:  68N30 60J22 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 462-478 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Bini, Dario Andrea (ed.) et al., Structured matrices in numerical linear algebra. Analysis, algorithms and applications. Selected papers of the INdAM meeting on structured matrices in numerical linear algebra: analysis, algorithms and applications, Cortona, Italy, September 4–8, 2017. Cham: Springer. Springer INdAM Ser. 30, 1-24 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 1, 34 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 385-403 (2017).
MSC:  68Q87 03B70 68N30 68T15
PDF BibTeX XML Cite
Full Text: DOI
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 145-160 (2017).
MSC:  68N30 68Q60 68Q87
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 35, 14 p. (2016).
MSC:  68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 107, 15 p. (2016).
MSC:  68N30 03B70 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 47-59 (2016).
MSC:  68N18 68N30 68T15
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). 485-498 (2016).
MSC:  68N30 05C90 68Q87
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). 327-342 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 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-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 364-389 (2016).
MSC:  68N30 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 597-608 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Harsha, Prahladh (ed.) et al., 35th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2015, Bangalore, India, December 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-97-2). LIPIcs – Leibniz International Proceedings in Informatics 45, 475-488 (2015).
MSC:  68N30 68Q87
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, 351-367, electronic only (2015).
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 54, No. 4, 540-545 (2015); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2015, No. 4, 39-44 (2015).
MSC:  68N30 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 108-120 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 307-318 (2015).
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, 531-543 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 211-227, electronic only (2014).
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 196, No. 2, 138-143 (2014); translation from Zap. Nauchn. Sem. POMI 411, 38-48 (2013).
MSC:  46E27 46A55 54E40
PDF BibTeX XML Cite
Full Text: DOI
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). 321-334 (2014).
PDF BibTeX XML Cite
Full Text: DOI
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). 207-220 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Puppis, Gabriele (ed.) et al., Proceedings of the fourth international symposium on games, automata, logics and formal verification, GandALF 2013, Borca di Cadore, Dolomites, Italy, August 29–31, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 119, 150-165 (2013).
MSC:  68N30 68Q87
PDF BibTeX XML Cite
Full Text: Link
Fränzle, Martin (ed.) et al., Proceedings of the first workshop on hybrid autonomous systems, Saarbrücken, Germany, June 6, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 297, 3-25 (2013).
MSC:  68Q60 60J20 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Shan, Chung-chieh (ed.), Programming languages and systems. 11th Asian symposium, APLAS 2013, Melbourne, VIC, Australia, December 9–11, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8301, 241-256 (2013).
MSC:  68N30 68Q55 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 403-416 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Alsmeyer, Gerold (ed.) et al., Random matrices and iterated random functions. Selected papers based on the presentations at the workshop, Münster, Germany, October 4–7, 2011. Berlin: Springer (ISBN 978-3-642-38805-7/hbk; 978-3-642-38806-4/ebook). Springer Proceedings in Mathematics & Statistics 53, 189-228 (2013).
MSC:  60J80 47H10
PDF BibTeX XML Cite
Full Text: DOI
Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2013. 10th international colloquium, Shanghai, China, September 4–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39717-2/pbk). Lecture Notes in Computer Science 8049, 94-111 (2013).
MSC:  68N30 68Q87
PDF BibTeX XML Cite
Full Text: DOI
New York, NY: Springer (ISBN 978-1-4614-4868-6/hbk; 978-1-4614-4869-3/ebook). xvi, 619 p. (2013).
PDF BibTeX XML Cite
Full Text: DOI
Correction of metrics. (English. Russian original) Zbl 1259.28018
J. Math. Sci., New York 181, No. 6, 867-870 (2012); translation from Zap. Nauchn. Semin. POMI 390, 201-209 (2011).
MSC:  28D05 54E25 54J99
PDF BibTeX XML Cite
Full Text: DOI
Chakraborty, Supratik (ed.) et al., Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). Lecture Notes in Computer Science 7561, 300-316 (2012).
MSC:  68Q87 68N30 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Coventry, UK, July 9–13, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31584-8/pbk). Lecture Notes in Computer Science 7392, 227-238 (2012).
MSC:  68Q85 68Q25 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 48-73 (2012).
MSC:  68N30 68Q55 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 4th IPM international conference, FSEN 2011, Tehran, Iran, April 20–22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29319-1/pbk). Lecture Notes in Computer Science 7141, 80-95 (2012).
MSC:  68N30 68Q60 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Seidl, Helmut (ed.), Programming languages and systems. 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28868-5/pbk). Lecture Notes in Computer Science 7211, 169-193 (2012).
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