×

zbMATH — the first resource for mathematics

Found 1,107 Documents (Results 1–100)

100
MathJax
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
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
Kari, Jarkko (ed.) et al., Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99497-0/pbk; 978-3-319-99498-7/ebook). Lecture Notes in Computer Science 11106, 123-129 (2018).
MSC:  68Q05 68Q10 81P68 94C10
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
Adamatzky, Andrew (ed.), Emergent computation. A Festschrift for Selim G. Akl. Cham: Springer (ISBN 978-3-319-46375-9/hbk; 978-3-319-46376-6/ebook). Emergence, Complexity and Computation 24, 525-578 (2017).
MSC:  68W32 68M11 68W10
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
MSC:  93A30 35K57 35R11 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Ganty, Pierre (ed.) et al., Trustworthy global computing. 10th international symposium, TGC 2015 Madrid, Spain, August 31 – September 1, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-28765-2/pbk; 978-3-319-28766-9/ebook). Lecture Notes in Computer Science 9533, 1-15 (2016).
MSC:  68Q85 68Q10 68Q60
PDF BibTeX XML Cite
Full Text: DOI
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
Cybern. Syst. Anal. 52, No. 3, 427-440 (2016); translation from Kibern. Sist. Anal. 2016, No. 3, 106-121 (2016).
MSC:  93A30 35R11 65M06
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
Devitt, Simon (ed.) et al., Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40577-3/pbk; 978-3-319-40578-0/ebook). Lecture Notes in Computer Science 9720, 20-35 (2016).
MSC:  68Q05 68Q10 81P68 94C10
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
MSC:  93B03 93B40 93C10 93C83 68Q10
PDF BibTeX XML Cite
Full Text: DOI MNR
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
Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20859-6/pbk; 978-3-319-20860-2/ebook). Lecture Notes in Computer Science 9138, 279-284 (2015).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI
Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20859-6/pbk; 978-3-319-20860-2/ebook). Lecture Notes in Computer Science 9138, 155-170 (2015).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI
Naumann, David, Unifying theories of programming. 5th international symposium, UTP 2014, Singapore, May 13, 2014. Revised selected papers. Berlin: Springer (ISBN 978-3-319-14805-2/pbk). Lecture Notes in Computer Science 8963, 42-61 (2015).
MSC:  68N30 68Q10 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 51, No. 6, 886-895 (2015); translation from Kibern. Sist. Anal. 2015, No. 6, 60-70 (2015).
MSC:  76R10 35Q35 35R11
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

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