×

zbMATH — the first resource for mathematics

Found 140 Documents (Results 1–100)

100
MathJax
Lokshtanov, Daniel (ed.) et al., 12th international symposium on parameterized and exact computation, IPEC 2017, Vienna, Austria, September 6–8, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 89, Article 17, 13 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Jansen, David N. (ed.) et al., Formal modeling and analysis of timed systems. 16th international conference, FORMATS 2018, Beijing, China, September 4–6, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-00150-6/pbk; 978-3-030-00151-3/ebook). Lecture Notes in Computer Science 11022, 179-196 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
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 99, 14 p. (2017).
MSC:  68Q80 03B25 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Feret, Jérôme (ed.) et al., Computational methods in systems biology. 15th international conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10545, 265-282 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 7, 18 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 101-110 (2017).
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 95, 14 p. (2016).
MSC:  03D05 03B44
PDF BibTeX XML Cite
Full Text: DOI
Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 66-85 (2015).
MSC:  03G30 03B44
PDF BibTeX XML Cite
Full Text: DOI
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 274-288, electronic only (2012).
PDF BibTeX XML Cite
Full Text: DOI
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 140-155 (2010).
MSC:  03B44 68Q85
PDF BibTeX XML Cite
Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 287-301 (2009).
MSC:  03B44 03C40
PDF BibTeX XML Cite
Full Text: DOI
Flum, Jörg (ed.) et al., Logic and automata. History and perspectives. Dedicated to Wolfgang Thomas on the occasion of his sixtieth birthday. Amsterdam: Amsterdam University Press (ISBN 978-90-5356-576-6/pbk). Texts in Logic and Games 2, 629-736 (2008).
MSC:  03D05 68Q45 68Q60
PDF BibTeX XML Cite
Díaz, Josep (ed.) et al., Automata, languages and programming. 31st international colloquium, ICALP 2004, Turku, Finland, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22849-7/pbk). Lecture Notes in Computer Science 3142, 1123-1135 (2004).
MSC:  68Q19 03C13 68Q15
PDF BibTeX XML Cite
Full Text: DOI
Levy, Jean-Jacques (ed.) et al., Exploring new frontiers of theoretical informatics. IFIP 18th world computer congress, TC1 3rd international conference on theoretical computer science (TCS2004), 22–27 August 2004, Toulouse, France. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-8140-5/hbk). IFIP, International Federation for Information Processing 155, 493-506 (2004).
PDF BibTeX XML Cite
Esposito, Floriana (ed.), AI*IA 2001: Advances in artificial intelligence. 7th congress of the Italian Association for Artificial Intelligence, Bari, Italy, September 25-28, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2175, 237-248 (2001).
MSC:  03B44 68T27
PDF BibTeX XML Cite
Full Text: Link
Wing, Jeannette M. (ed.) et al., FM ’99. Formal methods. World congress on Formal methods in the development of computing systems. Toulouse, France, September 20–24, 1999. Proceedings. In 2 vols. Berlin: Springer (ISBN 3-540-66587-0/vol1; 3-540-66588-9/vol2). Lect. Notes Comput. Sci. 1708; 1709, 1420-1438 (1999).
MSC:  03B70 03B44 68M99
PDF BibTeX XML Cite
Flum, Jörg (ed.) et al., Computer science logic. 13th international workshop, CSL ’99. 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1683, 188-203 (1999).
MSC:  03B44 68Q85 68Q60
PDF BibTeX XML Cite
Bertot, Yves (ed.) et al., Theorem proving in higher order logics. 12th international conference, TPHOLs ’99. Nice, France, September 14-17, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1690, 255-272 (1999).
MSC:  03B35 68T15 03B44 68Q60 03D05
PDF BibTeX XML Cite
Reisig, Wolfgang (ed.) et al., Lectures on Petri nets. 1: Basic models. Advances in Petri nets. Berlin: Springer. Lect. Notes Comput. Sci. 1491, 643-681 (1998).
PDF BibTeX XML Cite
Helsinki University of Technology, Digital Systems Laboratory. Series A: Research Reports. 51. Helsinki: HUT, Helsinki Univ. of Technology, Department of Computer Science and Engineering. 105 p. (1998).
MSC:  68Q45 68-02
PDF BibTeX XML Cite
Nivat, Maurice (ed.), Foundations of software science and computation structures. 1st international conference, FoSSaCS ’98. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’98, Lisbon, Portugal, March 28 - April 4, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1378, 20-34 (1998).
MSC:  03B70 68Q55
PDF BibTeX XML Cite
Morvan, Michel (ed.) et al., STACS 98. 15th annual symposium on Theoretical aspects of computer science. Paris, France, February 25–27, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1373, 61-72 (1998).
PDF BibTeX XML Cite
Privara, L. (ed.) et al., Mathematical foundations of computer science 1997. 22nd international symposium, MFCS ’97, Bratislava, Slovakia, August 25-29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1295, 289-297 (1997).
MSC:  03B44 68Q60 03B42
PDF BibTeX XML Cite
Meyer auf der Heide, Friedhelm (ed.) et al., Automata, languages and programming. 23rd international colloquium, ICALP ’96, Paderborn, Germany, July 8-12, 1996. Proceedings. Berlin: Springer (ISBN 3-540-61440-0/pbk). Lect. Notes Comput. Sci. 1099, 98-109 (1996).
MSC:  03B70 03B44 68Q60
PDF BibTeX XML Cite

Filter Results by …

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