×

zbMATH — the first resource for mathematics

Found 243 Documents (Results 1–100)

100
MathJax
Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 35-53 (2020).
MSC:  68Q09 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI
Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11990, 314-336 (2020).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 150-168 (2019).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 117-139 (2018).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Ambrus, Gergely (ed.) et al., New trends in intuitive geometry. Berlin: Springer/Bolyai Society. Bolyai Soc. Math. Stud. 27, 219-277 (2018).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 75, 12 p. (2017).
MSC:  68Q85 68Q42
PDF BibTeX XML Cite
Full Text: Link
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 101, 14 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
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 81, 13 p. (2017).
MSC:  68Q85 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
Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 239-254 (2017).
MSC:  68T15 05A15 06-04 68Q10 68U35
PDF BibTeX XML Cite
Full Text: DOI
Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10168, 325-337 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Gaur, Daya (ed.) et al., Algorithms and discrete applied mathematics. Third international conference, CALDAM 2017, Sancoale, Goa, India, February 16–18, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10156, 83-95 (2017).
MSC:  68R10 68P05 91D30
PDF BibTeX XML Cite
Full Text: DOI
Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 132-146 (2017).
MSC:  68Q85
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). 759-767 (2016).
MSC:  68Q85 68Q55
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 32, 14 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 46, 10 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 28, 10 p. (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, 87-107, electronic only (2014).
MSC:  68Q85 18D05 91A80
PDF BibTeX XML Cite
Full Text: DOI
Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 427-440 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Coecke, Bob (ed.) et al., Computation, logic, games, and quantum foundations. The many facets of Samson Abramsky. Essays dedicated to Samson Abramsky on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-38163-8/pbk). Lecture Notes in Computer Science 7860, 7-20 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 235-244 (2012).
MSC:  68Q85 91A05 91A80
PDF BibTeX XML Cite
Full Text: DOI
Clarke, Edmund (ed.) et al., Perspectives of systems informatics. 8th international Andrei Ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27 – July 1, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29708-3/pbk). Lecture Notes in Computer Science 7162, 142-152 (2012).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Clarke, Edmund (ed.) et al., Perspectives of systems informatics. 8th international Andrei Ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27 – July 1, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29708-3/pbk). Lecture Notes in Computer Science 7162, 68-76 (2012).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Birkedal, Lars (ed.), Foundations of software science and computational structures. 15th international conference, FOSSACS 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-28728-2/pbk). Lecture Notes in Computer Science 7213, 26-41 (2012).
MSC:  03B70 18D05 68Q85 91A80
PDF BibTeX XML Cite
Full Text: DOI
Goubault, Eric (ed.), Proceedings of the workshops on geometric and topological methods in concurrency theory (GETCO 2004, 2005, 2006), Amsterdam, The Netherlands 2004, San Francisco, CA, USA 2005, Bonn, Germany 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 230, 149-160 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Hildebrandt, Thomas (ed.) et al., Proceedings of the 15th international workshop on expressiveness in concurrency (EXPRESS 2008), Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 242, No. 1, 139-159 (2009).
MSC:  68Q85 68M12
PDF BibTeX XML Cite
Full Text: DOI
Lodaya, Kamal (ed.) et al., Perspectives in concurrency. A Festschrift for P. S. Thiagarajan. Hyderabad: Universities Press; Boca Raton, FL: CRC Press (ISBN 978-1-4398-0943-3/hbk). 317-333 (2009).
MSC:  68Q85
PDF BibTeX XML Cite
Lodaya, Kamal (ed.) et al., Perspectives in concurrency. A Festschrift for P. S. Thiagarajan. Hyderabad: Universities Press; Boca Raton, FL: CRC Press (ISBN 978-1-4398-0943-3/hbk). 231-263 (2009).
MSC:  68Q85
PDF BibTeX XML Cite
de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 380-394 (2009).
MSC:  68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Advances in Database Systems 36. New York, NY: Springer (ISBN 978-0-387-71002-0/hbk; 978-0-387-71003-7/ebook). xxv, 324 p. (2009).
PDF BibTeX XML Cite
Full Text: DOI
Ciobanu, Gabriel (ed.), MeCBIC 2008. 2nd international meeting on membrane computing and biologically inspired process calculi. Papers based on the presentations at the meeting, Iaşi, Romania, September 3–4, 2008. Iaşi: Universitatea “AI.I.Cuza”, Seminarul Matematic “A. Myller”. 174-187 (2008).
MSC:  68Q85 68Q05 68Q10
PDF BibTeX XML Cite
International Series in Operations Research & Management Science 117. New York, NY: Springer (ISBN 978-0-387-74675-3/hbk). x, 217 p. (2008).
MSC:  65C50 65C60 65-01 68W30 65Y15 90Bxx 60-01 62-01
PDF BibTeX XML Cite
Full Text: DOI
Merz, Stephan (ed.) et al., Proceedings of the 6th international workshop on automated verification of critical systems (AVoCS 2006), Nancy, France, September 18–19, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 185, 47-62 (2007).
MSC:  68W05 68P05 68T15 68T20 90C59
PDF BibTeX XML Cite
Full Text: DOI
Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 147-166 (2007).
MSC:  68Q85 68Q55 68Q87
PDF BibTeX XML Cite
Full Text: DOI
van Glabbeek, Rob (ed.) et al., Proceedings of the fourth workshop on structural operational semantics (SOS 2007), Wroclaw, Poland, July 9, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 192, No. 1, 93-108 (2007).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Rensink, Arend (ed.) et al., Proceedings of the workshop on graph transformation for concurrency and verification (GT-VC 2006), Bonn, Germany, August 31, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 4, 21-36 (2007).
MSC:  68Q05 03F52 05C20 68Q55 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Amadio, Roberto (ed.) et al., Proceedings of the 13th international workshop on expressiveness in concurrency (EXPRESS 2006), Bonn, Germany, August 26, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 175, No. 3, 109-129 (2007).
MSC:  68Q55 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Preparata, Franco P. (ed.) et al., Frontiers in algorithmics. First annual international workshop, FAW 2007, Lanzhou, China, August 1–3, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73813-8). Lecture Notes in Computer Science 4613, 178-190 (2007).
MSC:  68Q85 68Q55
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