×

zbMATH — the first resource for mathematics

Found 252 Documents (Results 1–100)

100
MathJax
Kochetov, Yury (ed.) et al., Mathematical optimization theory and operations research. 19th international conference, MOTOR 2020, Novosibirsk, Russia, July 6–10, 2020. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1275, 36-50 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Khachay, Michael (ed.) et al., Mathematical optimization theory and operations research. 18th international conference, MOTOR 2019, Ekaterinburg, Russia, July 8–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11548, 158-171 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Calimeri, Francesco (ed.) et al., Logics in artificial intelligence. 16th European conference, JELIA 2019, Rende, Italy, May 7–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19569-4/pbk; 978-3-030-19570-0/ebook). Lecture Notes in Computer Science 11468. Lecture Notes in Artificial Intelligence, 559-575 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 277-293 (2018).
MSC:  68Q60 90B20 93B70
PDF BibTeX XML Cite
Full Text: DOI
Huisman, Marieke (ed.) et al., Fundamental approaches to software engineering. 20th international conference, FASE 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10202, 134-151 (2017).
MSC:  68Q60
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). 19-31 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Giannakopoulou, Dimitra (ed.) et al., FM 2012: Formal methods. 18th international symposium, Paris, France, August 27–31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32758-2/pbk). Lecture Notes in Computer Science 7436, 202-216 (2012).
MSC:  68N30 68Q60 68T15
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
Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 154-161, electronic only (2010).
MSC:  68T20 68N17
PDF BibTeX XML Cite
Full Text: DOI Link
Češka, Milan (ed.) et al., Proceedings of the international doctoral workshop on mathematical and engineering methods in computer science (MEMICS 2008), Znojmo, Czech Republic, November 14–16, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 251, 49-64 (2009).
MSC:  68W15 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 219-228 (2009).
MSC:  68Q60
PDF BibTeX XML Cite
Berghammer, Rudolf (ed.) et al., Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers. Berlin: Springer (ISBN 3-540-22145-X/pbk). Lecture Notes in Computer Science 3051, 202-215 (2004).
MSC:  03G25 68W01
PDF BibTeX XML Cite
Full Text: DOI
Cousot, Radhia (ed.), Static analysis. 10th international symposium, SAS 2003, San Diego, CA, USA, June 11–13, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40325-6/pbk). Lect. Notes Comput. Sci. 2694, 127-152 (2003).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: Link
Lecture Notes in Computer Science. 2755. Berlin: Springer. viii, 457 p. (2003).
PDF BibTeX XML Cite
Full Text: Link
Bert, Didier (ed.) et al., ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4-6, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2651, 408-420 (2003).
MSC:  68Q60 68N30
PDF BibTeX XML Cite
Full Text: Link
Bert, Didier (ed.) et al., ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4-6, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2651, 20-39 (2003).
MSC:  68Q60 68N30
PDF BibTeX XML Cite
Full Text: Link
Bert, Didier (ed.) et al., ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4-6, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2651, 2-19 (2003).
MSC:  68Q60 68N30
PDF BibTeX XML Cite
Full Text: Link
Lecture Notes in Computer Science. 2651. Berlin: Springer. xiii, 545 p. (2003).
PDF BibTeX XML Cite
Full Text: Link
de Queiroz, Ruy (ed.) et al., WoLLIC’2002. Proceedings of the 9th workshop on logic, language, information and computation, Pontifícia Universidade Católica do Rio de Janeiro (PUC-Rio), Rio de Janeiro, Brazil, July 30–August 2, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 67, 184-203 (2002).
PDF BibTeX XML Cite
Full Text: DOI
Baresi, Luciano (ed.) et al., GT-VMT 2001. Graph transformation and visual modeling techniques (satellite workshop of ICALP 2001), Crete, Greece, July 12–13, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 3, 282-288 (2001).
MSC:  68Q42 68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Bosch, Jan (ed.), Generative and component-based software engineering. 3rd international conference, GCSE 2001. Erfurt, Germany, September 10-13, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2186, 58-69 (2001).
MSC:  68U99 68N99
PDF BibTeX XML Cite
Full Text: Link
Advances in the Theory of Computation and Computational Mathematics. 5. Huntington, NY: Nova Science Publishers. 386 p. (2001).
MSC:  68N19 68-06 00B15
PDF BibTeX XML Cite
Sgall, Jiří(ed.) et al., Mathematical foundations of computer science 2001. 26th international symposium, MFCS 2001, Mariánské Lázně, Czech Republic, August 27-31, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2136, 451-463 (2001).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: Link
Lecture Notes in Computer Science. 2267. Berlin: Springer. x, 345 p. (2001).
PDF BibTeX XML Cite
Full Text: DOI
Wilhelm, Reinhard (ed.), Compiler construction. 10th international conference, CC 2001. Held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2027, 355-360 (2001).
MSC:  68U99 68N20
PDF BibTeX XML Cite
Full Text: Link
Tiuryn, Jerzy (ed.), Foundations of software science and computation structures. 3rd international conference, FOSSACS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1784, 17-34 (2000).
MSC:  03B70 68Q60 68T15 03B15 68Q55
PDF BibTeX XML Cite
Haeusler, Edward Hermann (ed.) et al., PRATICA. Proofs, types and categories. Selected papers from PRATICA’95, PRATICA’96 and PRATICA’98. Rio de Janeiro: Pontifícia Universidade Católica do Rio de Janeiro (ISBN 85-900900-1-9/pbk). 5-54 (1999).
MSC:  68N30 03B70 03G15
PDF BibTeX XML Cite
Carnielli, Walter A. (ed.) et al., Advances in contemporary logic and computer science. Proceedings of the 11th Brazilian conference on mathematical logic, Salvador, Bahia, Brazil. May 6-10, 1996. Providence, RI: American Mathematical Society. Contemp. Math. 235, 187-260 (1999).
PDF BibTeX XML Cite
Grundy, Jim (ed.) et al., International refinement workshop and formal methods Pacific 1998. Proceedings of IRW/FMP ’98. Canberra, Australia, September 29 - October 2, 1998. Berlin: Springer. Springer Series in Discrete Mathematics and Theoretical Computer Science. 145-164 (1998).
MSC:  68Q60
PDF BibTeX XML Cite
Jeuring, Johan (ed.), Mathematics of program construction. 4th international conference, MPC ’98, Marstrand, Sweden, June 15–17, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1422, 23-43 (1998).
PDF BibTeX XML Cite
NATO ASI Series. Series F. Computer and Systems Sciences. 158. Berlin: Springer. x, 528 p. (1997).
MSC:  00B25 68-06
PDF BibTeX XML Cite
Springer Compass. Berlin: Springer-Verlag. x, 838 p. (1995).
Reviewer: Udo Hahn (Jena)
PDF BibTeX XML Cite
Lecture Notes in Computer Science. 915. Berlin: Springer-Verlag. xv, 810 p. (1995).
Reviewer: M.Gheorghe
PDF BibTeX XML Cite
Full Text: DOI
Bonn: IWT; International Thomson Publishing. 384 p. (1995).
MSC:  68N20 68-01 68N99
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
Biographic Reference
all top 3
Software