×

zbMATH — the first resource for mathematics

Found 81 Documents (Results 1–81)

100
MathJax
Communications and Control Engineering. Cham: Springer (ISBN 978-3-030-30820-9/hbk; 978-3-030-30821-6/ebook). xviii, 346 p. (2020).
PDF BibTeX XML Cite
Full Text: DOI Link
Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-055-2). LIPIcs – Leibniz International Proceedings in Informatics 93, Article 13, 14 p. (2018).
MSC:  68N30 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Fatourou, Panagiota (ed.) et al., 20th international conference on principles of distributed systems (OPODIS 2016), Madrid, Spain, December 13–16, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 70, Article 35, 17 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Mazzara, Manuel (ed.) et al., Perspectives of system informatics. 10th international Andrei Ershov informatics conference, PSI 2015, in memory of Helmut Veith, Kazan and Innopolis, Russia, August 24–27, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-41578-9/pbk; 978-3-319-41579-6/ebook). Lecture Notes in Computer Science 9609, 149-157 (2016).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Princeton Series in Astrophysics. Princeton, NJ: Princeton University Press (ISBN 978-0-691-16329-1/pbk; 978-0-691-16328-4/hbk; 978-1-400-85273-4/ebook). xvi, 923 p. (2015).
PDF BibTeX XML Cite
D’Agostino, Giovanna (ed.) et al., Second international symposium on games, automata, logics and formal verification, Minori, Italy, 15–17th June 2011. Proceedings. Waterloo: Open Publishing Association (OPA). Electronic Proceedings in Theoretical Computer Science (EPTCS) 54, 87-101 (2011).
MSC:  91A27 91A05 68Q17
PDF BibTeX XML Cite
Full Text: Link
Fournier, Kevin B. (ed.), Atomic processes in plasmas. Proceedings of the 16th international conference on atomic processes in plasmas, Monterey, California, USA, 22–26 March 2009. With CD-ROM. Melville, NY: American Institute of Physics (AIP) (ISBN 978-0-7354-0698-8/hbk). AIP Conference Proceedings 1161, 179-199 (2009).
PDF BibTeX XML Cite
Martínez, Concha (ed.) et al., Current topics in logic and analytic philosophy/Temas actuales de lógica y filosofía analítica. Papers from the colloquium on logic and analytic philosophy, Santiago de Compostela, Spain, 2001–2005. Santiago de Compostela: Universidade de Santiago de Compostela (ISBN 978-84-9750-811-7/pbk). Cursos e Congresos da Universidade de Santiago de Compostela 167, 233-246 (2007).
MSC:  03A05
PDF BibTeX XML Cite
Progress in Mathematical Physics 37. Basel: Birkhäuser (ISBN 3-7643-2183-0/hbk). xvii, 428 p. (2005).
PDF BibTeX XML Cite
Carnielli, Walter A. (ed.) et al., Advances in contemporary logic and computer science. Proceedings of the 11th Brazilian conference on mathematical logic, Salvador, Bahia, Brazil. May 6-10, 1996. Providence, RI: American Mathematical Society. Contemp. Math. 235, 263-274 (1999).
MSC:  81P10 03B80 03A05 03B15 03B52
PDF BibTeX XML Cite
Steiner, Oskar et al., Computational methods for astrophysical fluid flow. Saas-Fee advanced course 27. Lecture notes 1997. Swiss Society for Astrophysics and Astronomy. Berlin: Springer. 263-341 (1998).
Reviewer: O.Titow (Berlin)
PDF BibTeX XML Cite
Meneguzzi, Maurice (ed.) et al., Small-scale structures in three-dimensional hydrodynamic and magnetohydrodynamic turbulence. Proceedings of a workshop, Nice, France, 10-13 January, 1995. Berlin: Springer-Verlag. Lect. Notes Phys. 462, 179-192 (1995).
MSC:  76E17 76E99 76F10
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software