×

zbMATH — the first resource for mathematics

Found 1,373 Documents (Results 1–100)

100
MathJax
Akiyama, Shigeki (ed.) et al., Substitution and tiling dynamics: introduction to self-inducing structures. Lecture notes from the research school on tiling dynamical systems, CIRM Jean-Morlet Chair, Marseille, France, Fall 2017. Cham: Springer (ISBN 978-3-030-57665-3/pbk; 978-3-030-57666-0/ebook). Lecture Notes in Mathematics 2273, 293-357 (2020).
MSC:  52C20 37B52 52C23
PDF BibTeX XML Cite
Full Text: DOI
Essentials. Wiesbaden: Springer Spektrum (ISBN 978-3-658-31738-6/pbk; 978-3-658-31739-3/ebook). xiii, 67 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Mathematics 2273. Cham: Springer (ISBN 978-3-030-57665-3/pbk; 978-3-030-57666-0/ebook). xix, 453 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI
Hemmo, Meir (ed.) et al., Quantum, probability, logic. The work and influence of Itamar Pitowsky. Cham: Springer (ISBN 978-3-030-34315-6/hbk; 978-3-030-34316-3/ebook). Jerusalem Studies in Philosophy and History of Science, 217-231 (2020).
MSC:  03 81 60
PDF BibTeX XML Cite
Full Text: DOI
Changat, Manoj (ed.) et al., Algorithms and discrete applied mathematics. 6th international conference, CALDAM 2020, Hyderabad, India, February 13–15, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12016, 371-383 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 217-229 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Iemhoff, Rosalie (ed.) et al., Logic, language, information, and computation. 26th international workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-59532-9/pbk; 978-3-662-59533-6/ebook). Lecture Notes in Computer Science 11541, 373-391 (2019).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Blackburn, Patrick (ed.) et al., Logic, rationality, and interaction. 7th international workshop, LORI 2019, Chongqing, China, October 18–21, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-60291-1/pbk; 978-3-662-60292-8/ebook). Lecture Notes in Computer Science 11813, 1-14 (2019).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Khan, Md. Aquil (ed.) et al., Logic and its applications. 8th Indian conference, ICLA 2019, Delhi, India, March 1–5, 2019. Proceedings. Berlin: Springer (ISBN 978-3-662-58770-6/pbk; 978-3-662-58771-3/ebook). Lecture Notes in Computer Science 11600, 108-120 (2019).
MSC:  03Bxx 68T27
PDF BibTeX XML Cite
Full Text: DOI
Math. Notes 106, No. 2, 299-302 (2019); translation from Mat. Zametki 106, No. 2, 307-310 (2019).
MSC:  14Q20 11U05 14E25
PDF BibTeX XML Cite
Full Text: DOI
van Bevern, René (ed.) et al., Computer science – theory and applications. 14th international computer science symposium in Russia, CSR 2019, Novosibirsk, Russia, July 1–5, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19954-8/pbk; 978-3-030-19955-5/ebook). Lecture Notes in Computer Science 11532, 119-130 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Berthé, Valérie (ed.) et al., Sequences, groups, and number theory. Cham: Birkhäuser (ISBN 978-3-319-69151-0/hbk; 978-3-319-69152-7/ebook). Trends in Mathematics, 331-389 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer (ISBN 978-3-030-00388-3/pbk; 978-3-030-00389-0/ebook). Lecture Notes in Computer Science 11202, 34-55 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI
Kari, Jarkko (ed.) et al., Reversible computation. 10th international conference, RC 2018, Leicester, UK, September 12–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-99497-0/pbk; 978-3-319-99498-7/ebook). Lecture Notes in Computer Science 11106, 61-64 (2018).
MSC:  68Q05 68Q10 81P68 94C10
PDF BibTeX XML Cite
Full Text: DOI
Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94820-1/pbk; 978-3-319-94821-8/ebook). Lecture Notes in Computer Science 10895, 253-269 (2018).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Madeira, Alexandre (ed.) et al., Dynamic logic. New trends and applications. First international workshop, DALI 2017, Brasilia, Brazil, September 23–24, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-73578-8/pbk; 978-3-319-73579-5/ebook). Lecture Notes in Computer Science 10669, 1-16 (2018).
MSC:  03B70
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. 81, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
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 117, 13 p. (2017).
MSC:  68Q45 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 68, 17 p. (2017).
MSC:  68N19 68N30 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Dennunzio, Alberto (ed.) et al., Cellular automata and discrete complex systems. 23rd IFIP WG 1.5 international workshop, AUTOMATA 2017, Milan, Italy, June 7–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10248, 120-138 (2017).
MSC:  37B15 03D35 37B51
PDF BibTeX XML Cite
Full Text: DOI
Hague, Matthew (ed.) et al., Reachability problems. 11th international workshop, RP 2017, London, UK, September 7–9, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-67088-1/pbk; 978-3-319-67089-8/ebook). Lecture Notes in Computer Science 10506, 132-143 (2017).
MSC:  68Q05 03D35 68Q25 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Charlier, Émilie (ed.) et al., Developments in language theory. 21st international conference, DLT 2017, Liège, Belgium, August 7–11, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62808-0/pbk; 978-3-319-62809-7/ebook). Lecture Notes in Computer Science 10396, 160-172 (2017).
MSC:  68Q45
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
all top 3
Software