×

zbMATH — the first resource for mathematics

Found 604 Documents (Results 1–100)

100
MathJax
Sidoravicius, Vladas (ed.), Sojourns in probability theory and statistical physics. III. Interacting particle systems and random walks, a festschrift for Charles M. Newman. Singapore: Springer; Shanghai: NYU Shanghai. Springer Proc. Math. Stat. 300, 215-241 (2019).
MSC:  82B41 82B20 05C90
PDF BibTeX XML Cite
Full Text: DOI
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
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 177-194 (2019).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 111-127 (2019).
MSC:  68N30 68Q42 68T27
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 75-92 (2019).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
J. Comput. Syst. Sci. Int. 58, No. 3, 425-433 (2019); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upravl. 2019, No. 3, 97-105 (2019).
MSC:  91A43 05C57 91A68
PDF BibTeX XML Cite
Full Text: DOI
Chan, Timothy M. (ed.), Proceedings of the 30th annual ACM-SIAM symposium on discrete algorithms, SODA 2019, San Diego, CA, USA, January 6–9, 2019. Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM). 2582-2601 (2019).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Gibbons, Jeremy (ed.) et al., Bidirectional transformations. International summer school, Oxford, UK, July 25–29, 2016. Tutorial lectures. Cham: Springer (ISBN 978-3-319-79107-4/pbk; 978-3-319-79108-1/ebook). Lecture Notes in Computer Science 9715, 29-72 (2018).
MSC:  68N01
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, 99-117 (2018).
MSC:  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, 160-178 (2018).
MSC:  68Q42 68N30 68Q65
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
Amsterdam: Elsevier/Academic Press (ISBN 978-0-12-815495-3/pbk; 978-0-12-815496-0/ebook). xvii, 165 p. (2018).
PDF BibTeX XML Cite
Full Text: Link
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, 283-299 (2017).
MSC:  68N30 68Q42
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, 226-243 (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
Izv. Math. 81, No. 4, 734-770 (2017); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 81, No. 4, 68-107 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 53, No. 3, 476-484 (2017); translation from Kibern. Sist. Anal. 2017, No. 3, 170-179 (2017).
MSC:  93A30 93C15 94C15
PDF BibTeX XML Cite
Full Text: DOI
Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57417-2/pbk; 978-3-319-57418-9/ebook). Lecture Notes in Computer Science 10226, 193-208 (2017).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 53, No. 1, 157-164 (2017); translation from Kibern. Sist. Anal. 2017, No. 1, 184-192 (2017).
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