×

zbMATH — the first resource for mathematics

Found 141 Documents (Results 1–100)

100
MathJax
Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 139-153 (2019).
MSC:  68Q42 18A30
PDF BibTeX XML Cite
Full Text: DOI
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 10, 13 p. (2018).
MSC:  68Q27 68Q17 68R10
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, 1-18 (2018).
MSC:  68Q42 18A30 68Q65
PDF BibTeX XML Cite
Full Text: DOI
de Lara, Juan (ed.) et al., Graph transformation. 10th international conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10373, 36-53 (2017).
PDF BibTeX XML Cite
Full Text: DOI
de Lara, Juan (ed.) et al., Graph transformation. 10th international conference, ICGT 2017, held as part of STAF 2017, Marburg, Germany, July 18–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10373, 20-35 (2017).
MSC:  68Q42 18A30 68R10
PDF BibTeX XML Cite
Full Text: DOI
Drmota, Michael (ed.) et al., Extended abstracts of the ninth European conference on combinatorics, graph theory and applications, EuroComb 2017, Vienna, Austria, August 28 – September 1, 2017. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 61, 909-915 (2017).
MSC:  05C69 05B25 05C76
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 75, 13 p. (2016).
MSC:  68Q25 05C85 68R10
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 55, 13 p. (2016).
MSC:  68Q25 05C20 68R10
PDF BibTeX XML Cite
Full Text: DOI
Inoue, Katsumi (ed.) et al., Inductive logic programming. 25th international conference, ILP 2015, Kyoto, Japan, August 20–22, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-40565-0/pbk; 978-3-319-40566-7/ebook). Lecture Notes in Computer Science 9575. Lecture Notes in Artificial Intelligence, 152-165 (2016).
MSC:  68T05 68N17
PDF BibTeX XML Cite
Full Text: DOI
Funct. Anal. Appl. 50, No. 2, 107-130 (2016); translation from Funkts. Anal. Prilozh. 50, No. 2, 31-60 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Husfeldt, Thore (ed.) et al., 10th international symposium on parameterized and exact computation, IPEC 2015, Patras, Greece, September 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-92-7). LIPIcs – Leibniz International Proceedings in Informatics 43, 1-16 (2015).
MSC:  68Q25 68R10 68W05
PDF BibTeX XML Cite
Full Text: DOI
Harsha, Prahladh (ed.) et al., 35th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2015, Bangalore, India, December 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-97-2). LIPIcs – Leibniz International Proceedings in Informatics 45, 420-433 (2015).
MSC:  68W25 68Q25 68R10
PDF BibTeX XML Cite
Full Text: DOI
Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 312-324 (2014).
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, 146-160 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Fomin, Fedor V. (ed.) et al., Automata, languages, and programming. 40th international colloquium, ICALP 2013, Riga, Latvia, July 8–12, 2013, Proceedings, Part I. Berlin: Springer (ISBN 978-3-642-39205-4/pbk). Lecture Notes in Computer Science 7965, 613-624 (2013).
MSC:  68R10 05C85 68Q25
PDF BibTeX XML Cite
Full Text: DOI arXiv
Kropatsch, Walter G. (ed.) et al., Graph-based representations in pattern recognition. 9th IAPR-TC-15 international workshop, GbRPR 2013, Vienna, Austria, May 15–17, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38220-8/pbk). Lecture Notes in Computer Science 7877, 121-131 (2013).
MSC:  68R10 81P45
PDF BibTeX XML Cite
Full Text: DOI
Kropatsch, Walter G. (ed.) et al., Graph-based representations in pattern recognition. 9th IAPR-TC-15 international workshop, GbRPR 2013, Vienna, Austria, May 15–17, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38220-8/pbk). Lecture Notes in Computer Science 7877, 101-110 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Lenz, Daniel (ed.) et al., Random walks, boundaries and spectra. Proceedings of the workshop on boundaries, Graz, Austria, June 29–July 3, 2009 and the Alp-workshop, Sankt Kathrein, Austria, July 4–5, 2009. Basel: Birkhäuser (ISBN 978-3-0346-0243-3/hbk; 978-3-0346-0244-0/ebook). Progress in Probability 64, 111-142 (2011).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15–17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPIcs – Leibniz International Proceedings in Informatics 4, 37-47, electronic only (2009).
MSC:  68Q25 05C20 05C85
PDF BibTeX XML Cite
Full Text: DOI Link
Corradini, Andrea (ed.) et al., Graph transformations. Third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38870-8/pbk). Lecture Notes in Computer Science 4178, 215-229 (2006).
MSC:  68Q42 18A10 18A30 18E15 68R10
PDF BibTeX XML Cite
Full Text: DOI
Boston: Kluwer Academic Publishers (ISBN 0-7923-7421-5). xxiii, 209 p. (2001).
PDF BibTeX XML Cite

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