×

zbMATH — the first resource for mathematics

Found 147 Documents (Results 1–100)

100
MathJax
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 454-464 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 41-58 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Jansen, David N. (ed.) et al., Formal modeling and analysis of timed systems. 16th international conference, FORMATS 2018, Beijing, China, September 4–6, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-00150-6/pbk; 978-3-030-00151-3/ebook). Lecture Notes in Computer Science 11022, 162-178 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Hung, Dang Van (ed.) et al., Theoretical aspects of computing – ICTAC 2017. 14th international colloquium, Hanoi, Vietnam, October 23–27, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10580, 192-209 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 497-510 (2015).
MSC:  68Q85 68Q60 94A60
PDF BibTeX XML Cite
Full Text: DOI
Gaşpar, Dumitru (ed.) et al., The varied landscape of operator theory. Proceedings of the 24th international conference in operator theory, Timişoara, Romania, July 2–7, 2012. Bucharest: The Theta Foundation (ISBN 978-606-8443-04-1). Theta Series in Advanced Mathematics 17, 241-257 (2014).
Reviewer: Salah Mehdi (Metz)
MSC:  11F72 46L36 37A20
PDF BibTeX XML Cite
Ciobanu, Gabriel (ed.) et al., Theoretical aspects of computing – ICTAC 2014. 11th international colloquium, Bucharest, Romania, September 17–19, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8687, 133-150 (2014).
MSC:  68M14 68N30
PDF BibTeX XML Cite
Full Text: DOI
Loy, Richard J. (ed.) et al., Banach algebras 2009. Proceedings of the 19th international conference, Bȩdlewo, Poland, July 14–24, 2009. Warszawa: Polish Academy of Sciences, Institute of Mathematics (ISBN 978-83-86806-10-2/pbk). Banach Center Publications 91, 327-338 (2010).
MSC:  15A18 16R30
PDF BibTeX XML Cite
Full Text: DOI
Colloquium Publications. American Mathematical Society 55. Providence, RI: American Mathematical Society (AMS)/Hindustan Book Agency (ISBN 978-0-8218-4210-2/hbk). xxii, 785 p. (2008).
PDF BibTeX XML Cite
Rattray, Charles (ed.) et al., Algebraic methodology and software technology. 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22381-9/pbk). Lecture Notes in Computer Science 3116, 521-536 (2004).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Broy, Manfred (ed.) et al., Perspectives of system informatics. 5th international Andrei Ershov memorial conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9–12, 2003. Revised papers. Berlin: Springer (ISBN 3-540-20813-5/pbk). Lecture Notes in Computer Science 2890, 248-259 (2003).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Aagaard, Mark D. (ed.) et al., Formal methods in computer-aided design. 4th international conference, FMCAD 2002, Portland, OR, USA, November 6-8, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2517, 360-377 (2002).
MSC:  68U07 68Q85
PDF BibTeX XML Cite
Full Text: Link
Mathematical Surveys and Monographs. 60. Providence, RI: American Mathematical Society (AMS). xiv, 327 p. (1998).
PDF BibTeX XML Cite
Russ. Math. 40, No. 4, 1-4 (1996); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 1996, 4(407), 3-6 (1996).
MSC:  15A21
PDF BibTeX XML Cite
Boston: Birkhäuser. xiv p., p. 275-859 (1992).
MSC:  46Lxx 46-01
PDF BibTeX XML Cite
Arveson, W. B. (ed.) et al., Operator algebras and topology. Proceedings of the OATE 2 conference, Bucharest, Romania, 1989. Harlow: Longman Scientific & Technical. Pitman Res. Notes Math. Ser. 270, 130-145 (1992).
MSC:  46L80
PDF BibTeX XML Cite
Boston: Birkhäuser. xiv, 273 p. (1991).
MSC:  46Lxx 46-01
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