×

zbMATH — the first resource for mathematics

Found 186 Documents (Results 1–100)

100
MathJax
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 208-221 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 272-284 (2019).
MSC:  68Q45 03B25 90C10
PDF BibTeX XML Cite
Full Text: DOI
Hospodár, Michal (ed.) et al., Implementation and application of automata. 24th international conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11601, 222-234 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 238, No. 6, 870-882 (2019); translation from Zap. Nauchn. Semin. POMI 465, 157-173 (2017).
MSC:  82B20 82D45 34M55
PDF BibTeX XML Cite
Full Text: DOI
Hoshi, Mizuho (ed.) et al., Developments in language theory. 22nd international conference, DLT 2018, Tokyo, Japan, September 10–14, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-98653-1/pbk; 978-3-319-98654-8/ebook). Lecture Notes in Computer Science 11088, 282-290 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Klein, Shmuel Tomi (ed.) et al., Language and automata theory and applications. 12th international conference, LATA 2018, Ramat Gan, Israel, April 9–11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-77312-4/pbk; 978-3-319-77313-1/ebook). Lecture Notes in Computer Science 10792, 156-168 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 19, 14 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). 227-236 (2016).
MSC:  68Q45 03B25 03D05
PDF BibTeX XML Cite
Full Text: DOI
Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40945-0/pbk; 978-3-319-40946-7/ebook). Lecture Notes in Computer Science 9705, 89-100 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 308-324 (2015).
MSC:  68N30 68P15 68Q19
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, 336-349 (2015).
MSC:  68Q05 68Q10 68Q25
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, 192-205 (2015).
MSC:  68Q45 03D05 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Finkbeiner, Bernd (ed.) et al., Automated technology for verification and analysis. 13th international symposium, ATVA 2015, Shanghai, China, October 12–15, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24952-0/pbk; 978-3-319-24953-7/ebook). Lecture Notes in Computer Science 9364, 148-165 (2015).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Drewes, Frank (ed.), Implementation and application of automata. 20th international conference, CIAA 2015, Umeå, Sweden, August 18–21, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-22359-9/pbk; 978-3-319-22360-5/ebook). Lecture Notes in Computer Science 9223, 250-262 (2015).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Cai, Zhipeng (ed.) et al., Computing and combinatorics. 20th international conference, COCOON 2014, Atlanta, GA, USA, August 4–6, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8591, 116-128 (2014).
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, 149-163 (2014).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 299-311 (2013).
MSC:  68Q45 91A43 91A80
PDF BibTeX XML Cite
Full Text: DOI
Bouchou-Markhoff, Béatrice (ed.) et al., Implementation and application of automata. 16th international conference, CIAA 2011, Blois, France, July 13–16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22255-9/pbk). Lecture Notes in Computer Science 6807, 166-177 (2011).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Alladi, Krishnaswami (ed.) et al., The legacy of Alladi Ramakrishnan in the mathematical sciences. New York, NY: Springer (ISBN 978-1-4419-6262-1/hbk; 978-1-4419-6263-8/ebook). 401-415 (2010).
MSC:  60K30
PDF BibTeX XML Cite
Full Text: DOI
Chen, Yixiang (ed.) et al., Proceedings of the 1st international conference on foundations of informatics, computing and software (FICS 2008), East China Normal University, Shanghai, China, June 3–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 212, 191-206 (2008).
MSC:  68N30 03B70
PDF BibTeX XML Cite
Full Text: DOI
Autom. Remote Control 69, No. 3, 525-528 (2008); translation from Informatsionnye Protsessye 7, No. 4, 401-404 (2007).
MSC:  93E10 90B22
PDF BibTeX XML Cite
Full Text: DOI
Baik, Jinho (ed.) et al., Integrable systems and random matrices. In honor of Percy Deift. Conference on integrable systems, random matrices, and applications in honor of Percy Deift’s 60th birthday, New York, NY, USA, May 22–26, 2006. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4240-9/pbk). Contemporary Mathematics 458, 361-376 (2008).
PDF BibTeX XML Cite
Full Text: arXiv
Brézin, Édouard (ed.) et al., Application of random matrices in physics. Proceedings of the NATO Advanced Research Workshop, Les Houches, France, June 6–25, 2004. Dordrecht: Springer (ISBN 1-4020-4530-1/pbk). NATO Science Series II: Mathematics, Physics and Chemistry 221, 139-161 (2006).
MSC:  82C10 76Y05 15B52
PDF BibTeX XML Cite
Nieuwenhuis, Robert (ed.), Rewriting techniques and applications. 14th international conference, RTA 2003, Valencia, Spain, June 9–11, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40254-3/pbk). Lect. Notes Comput. Sci. 2706, 180-196 (2003).
PDF BibTeX XML Cite
Full Text: Link
Kumar, P. R. (ed.) et al., Discrete event systems, manufacturing systems, and communication networks. Based on the proceedings of a workshop that was an integral part of the 1992-93 IMA program on control theory, held at the University of Minnesota, Minneapolis, MN, USA. New York, NY: Springer-Verlag. IMA Vol. Math. Appl. 73, 177-199 (1995).
MSC:  93A10 93C99 93A30
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