×

zbMATH — the first resource for mathematics

Found 404 Documents (Results 1–100)

100
MathJax
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 246-258 (2019).
MSC:  68Q42 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Lambers, Leen (ed.) et al., Graph transformation. 11th international conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92990-3/pbk; 978-3-319-92991-0/ebook). Lecture Notes in Computer Science 10887, 134-151 (2018).
MSC:  68Q42 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Lambers, Leen (ed.) et al., Graph transformation. 11th international conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92990-3/pbk; 978-3-319-92991-0/ebook). Lecture Notes in Computer Science 10887, 79-96 (2018).
MSC:  68Q85 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 105-123 (2018).
PDF BibTeX XML Cite
Full Text: DOI
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
Undergraduate Topics in Computer Science. London: Springer (ISBN 978-1-4471-6686-3/pbk; 978-1-4471-6687-0/ebook). xviii, 313 p. (2017).
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). 96-105 (2016).
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). 46-55 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 52, 13 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Ollinger, Nicolas (ed.) et al., 33rd symposium on theoretical aspects of computer science, STACS 2016, Orléans, France, February 17–20, 2016. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-001-9). LIPIcs – Leibniz International Proceedings in Informatics 47, Article 41, 14 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Echahed, Rachid (ed.) et al., Graph transformation. 9th international conference, ICGT 2016, in memory of Hartmut Ehrig, held as part of STAF 2016, Vienna, Austria, July 5–6, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40529-2/pbk; 978-3-319-40530-8/ebook). Lecture Notes in Computer Science 9761, 54-70 (2016).
MSC:  68Q60 68Q42 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Cornélio, Márcio (ed.) et al., Formal methods: foundations and applications. 18th Brazilian symposium, SBMF 2015, Belo Horizonte, Brazil, September 21–22, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-29472-8/pbk; 978-3-319-29473-5/ebook). Lecture Notes in Computer Science 9526, 74-89 (2016).
MSC:  68Q85 03B70 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Freivalds, Rūsiņš Mārtiņš (ed.) et al., SOFSEM 2016: theory and practice of computer science. 42nd international conference on current trends in theory and practice of computer science, Harrachov, Czech Republic, January 23–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9587, 171-182 (2016).
MSC:  68Q42 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Chiba, Yuki (ed.) et al., Second international workshop on rewriting techniques for program transformations and evaluation, WPTE’15, Warsaw, Poland, July 2, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 46, 31-46 (2015).
MSC:  68Q85 68Q42 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Chiba, Yuki (ed.) et al., Second international workshop on rewriting techniques for program transformations and evaluation, WPTE’15, Warsaw, Poland, July 2, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 46, 19-29 (2015).
MSC:  68Q85 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Braga, Christiano (ed.) et al., Formal methods: foundations and applications. 17th Brazilian symposium, SBMF 2014, Maceió, AL, Brazil, September 29 – October 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-15074-1/pbk). Lecture Notes in Computer Science 8941, 17-31 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Parisi-Presicce, Francesco (ed.) et al., Graph transformation. 8th international conference, ICGT 2015, held as part of STAF 2015, L’Aquila, Italy, July 21–23, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21144-2/pbk; 978-3-319-21145-9/ebook). Lecture Notes in Computer Science 9151, 155-170 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Parisi-Presicce, Francesco (ed.) et al., Graph transformation. 8th international conference, ICGT 2015, held as part of STAF 2015, L’Aquila, Italy, July 21–23, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21144-2/pbk; 978-3-319-21145-9/ebook). Lecture Notes in Computer Science 9151, 104-120 (2015).
MSC:  68Q85 68Q42
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, 519-538 (2015).
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, 451-474 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 9200. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). xi, 634 p. (2015).
PDF BibTeX XML Cite
Full Text: DOI
D’Souza, Deepak (ed.) et al., Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8931, 135-152 (2015).
MSC:  68Q85 68Q42 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Löwe, Benedikt (ed.) et al., Proceedings of the 8th international workshop on developments in computational models, DCM’12, Cambridge, United Kingdom, June 17, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 143, 41-53 (2014).
MSC:  68Q85 68Q42
PDF BibTeX XML Cite
Full Text: Link
Schmidt-Schauß, Manfred (ed.) et al., First international workshop on rewriting techniques for program transformations and evaluation, WPTE’14, Vienna, Austria, July 13, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 40, 51-62 (2014).
MSC:  68Q85 68Q42 68Q55
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. 48, 10 p. (2014).
MSC:  68Q42 68Q17 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Escobar, Santiago (ed.), Rewriting logic and its applications. 10th international workshop, WRLA 2014, held as a satellite event of ETAPS, Grenoble, France, April 5–6, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-12903-7/pbk; 978-3-319-12904-4/ebook). Lecture Notes in Computer Science 8663, 130-146 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Kilicman, Adem (ed.) et al., International conference on mathematical sciences and statistics 2013. Selected papers. ICMSS 2013, Kuala Lumpur, Malaysia, February 5–7, 2013. Singapore: Springer (ISBN 978-981-4585-32-3/hbk; 978-981-4585-33-0/ebook). 223-231 (2014).
MSC:  68Q42 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Giese, Holger (ed.) et al., Graph transformation. 7th international conference, ICGT 2014, held as part of STAF 2014, York, UK, July 22–24, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8571, 207-221 (2014).
MSC:  68Q42 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Baldan, Paolo (ed.) et al., CONCUR 2014 – concurrency theory. 25th international conference, CONCUR 2014, Rome, Italy, September 2–5, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8704, 467-481 (2014).
MSC:  68Q85 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 61-76 (2014).
MSC:  68Q85 68Q42 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Iida, Shusaku (ed.) et al., Specification, algebra, and software. Essays dedicated to Kokichi Futatsugi. Berlin: Springer. Lect. Notes Comput. Sci. 8373, 603-629 (2014).
MSC:  68Q60 68Q42 68Q85 68T15
PDF BibTeX XML Cite
Full Text: DOI
Echahed, Rachid (ed.) et al., Proceedings of the 7th international workshop on computing with terms and graphs, TERMGRAPH 2013, Rome, Italy, March, 23, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 110, 74-81 (2013).
MSC:  68Q85 68Q42 68Q55
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 43-52 (2013).
MSC:  68Q85 68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Iyoda, Juliano (ed.) et al., Formal methods: foundations and applications. 16th Brazilian symposium, SBMF 2013, Brasilia, Brazil, September 29 – October 4, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8195, 211-226 (2013).
PDF BibTeX XML Cite
Full Text: DOI
D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 380-394 (2013).
MSC:  68Q42 68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Colom, José-Manuel (ed.) et al., Application and theory of Petri nets and concurrency. 34th international conference, PETRI NETS 2013, Milan, Italy, June 24–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38696-1/pbk). Lecture Notes in Computer Science 7927, 70-89 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Alves, Sandra (ed.) et al., Proceedings of the 2nd international workshop on linearity, Tallinn, Estonia, April 1, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 101, 12-24 (2012).
MSC:  68Q85 68Q42
PDF BibTeX XML Cite
Full Text: Link
Tiwari, Ashish (ed.), 23rd international conference on rewriting techniques and applications (RTA’12), Nagoya, Japan, May 28 – June 2, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 15, 101-116 (2012).
MSC:  68Q42 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Electronic Proceedings in Theoretical Computer Science (EPTCS) 101. Waterloo: Open Publishing Association (OPA). 60 p., electronic only, open access (2012).
PDF BibTeX XML Cite
Full Text: DOI Link
D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 276-288 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Fine, Benjamin (ed.) et al., Computational and combinatorial group theory and cryptography. AMS special sessions: Computational algebra, groups, and applications, University of Nevada, Las Vegas, NV, USA, April 30–May 1, 2011. Mathematical aspects of cryptography and cyber security, Cornell University, Ithaca, NY, USA, September 10–11, 2011. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-7563-6/pbk; 978-0-8218-9404-0/ebook). Contemporary Mathematics 582, 65-69 (2012).
MSC:  20F05 20E06 20E07
PDF BibTeX XML Cite
Full Text: DOI
Eleftherakis, George (ed.) et al., Software engineering and formal methods. 10th international conference, SEFM 2012, Thessaloniki, Greece, October 1–5, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33825-0/pbk). Lecture Notes in Computer Science 7504, 141-155 (2012).
MSC:  68Q85 68N30 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 126-140 (2012).
MSC:  68Q42 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Ehrig, Hartmut (ed.) et al., Graph transformations. 6th international conference, ICGT 2012, Bremen, Germany, September 24–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33653-9/pbk). Lecture Notes in Computer Science 7562, 96-110 (2012).
MSC:  68Q42 68Q85 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Roychoudhury, Abhik (ed.) et al., Theoretical aspects of computing – ICTAC 2012. 9th international colloquium, Bangalore, India, September 24–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32942-5/pbk). Lecture Notes in Computer Science 7521, 120-135 (2012).
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, 299-315 (2012).
MSC:  68Q85 68Q42 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, 361-375 (2012).
MSC:  68Q85 68Q42 68Q55
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, 316-330 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Mossakowski, Till (ed.) et al., Recent trends in algebraic development techniques. 20th international workshop, WADT 2010, Etelsen, Germany, July 1–4, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-28411-3/pbk). Lecture Notes in Computer Science 7137, 42-60 (2012).
PDF BibTeX XML Cite
Full Text: DOI
van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 81-96 (2013).
MSC:  68Q60 68Q42 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Chakraborthy, Supraik (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011), Mumbai, India, December 12–14, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-34-7). LIPIcs – Leibniz International Proceedings in Informatics 13, 152-163, electronic only (2011).
PDF BibTeX XML Cite
Full Text: DOI
Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 314-328 (2011).
MSC:  68Q60 68Q42 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 543-558 (2011).
MSC:  68Q85 68Q42
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
Biographic Reference
all top 3
Software