×

zbMATH — the first resource for mathematics

Found 31 Documents (Results 1–31)

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:  37 52
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, 180-190 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5583-4). 569-578 (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5583-4). 559-568 (2018).
MSC:  03B70
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
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 (ISBN 978-1-5090-3018-7). Article No. 26, 11 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
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 11, 13 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Beckmann, Arnold (ed.) et al., Pursuit of the universal. 12th conference on computability in Europe, CiE 2016, Paris, France, June 27 – July 1, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40188-1/pbk; 978-3-319-40189-8/ebook). Lecture Notes in Computer Science 9709, 124-131 (2016).
MSC:  68Qxx
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, 421-432 (2014).
MSC:  68Q05
PDF BibTeX XML Cite
Full Text: DOI
Portier, Natacha (ed.) et al., 30th international symposium on theoretical aspects of computer science, STACS’ 13, Kiel, Germany, February 27 – March 2, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-50-7). LIPIcs – Leibniz International Proceedings in Informatics 20, 490-501 (2013).
MSC:  68Q17 37B50
PDF BibTeX XML Cite
Full Text: DOI
Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 334-343 (2012).
MSC:  68Q05 03D10
PDF BibTeX XML Cite
Full Text: DOI
Ogihara, Mitsunori (ed.) et al., Theory and applications of models of computation. 8th annual conference, TAMC 2011, Tokyo, Japan, May 23–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20876-8/pbk). Lecture Notes in Computer Science 6648, 230-239 (2011).
MSC:  03D28 03D15 52C20
PDF BibTeX XML Cite
Full Text: DOI
Gao, Yuan (ed.) et al., Developments in language theory. 14th international conference, DLT 2010, London, ON, Canada, August 17–20, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14454-7/pbk). Lecture Notes in Computer Science 6224, 243-254 (2010).
MSC:  68Q05 68Q15 68Q19
PDF BibTeX XML Cite
Full Text: DOI
Diekert, Volker (ed.) et al., Developments in language theory. 13th international conference, DLT 2009, Stuttgart, Germany, June 30–July 3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02736-9/pbk). Lecture Notes in Computer Science 5583, 288-299 (2009).
MSC:  03D05 05B45 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Albers, Susanne (ed.) et al., STACS 2008. 25th international symposium on theoretical aspects of computer science, Bordeaux, France, February 21–23, 2008. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-06-4). LIPIcs – Leibniz International Proceedings in Informatics 1, 61-72, electronic only (2008).
MSC:  05B45 03E05
PDF BibTeX XML Cite
Full Text: DOI Link
Diekert, Volker (ed.) et al., STACS 2005. 22nd annual symposium on theoretical aspects of computer science, Stuttgart, Germany, February 24–26, 2005. Proceedings. Berlin: Springer (ISBN 3-540-24998-2/pbk). Lecture Notes in Computer Science 3404, 389-398 (2005).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI