×

zbMATH — the first resource for mathematics

Found 700 Documents (Results 1–100)

100
MathJax
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-36754-1/pbk; 978-3-030-36755-8/ebook). Lecture Notes in Computer Science 11972, 98-110 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Korobeinikov, Andrei (ed.) et al., Extended abstracts Spring 2018. Singularly perturbed systems, multiscale phenomena and hysteresis: theory and applications. Selected papers based on the presentations of the joint 9th international workshop on MUlti-Rate Processes and HYSteresis and the 4th international workshop on hysteresis and slow-fast systems, MURPHYS-HSFS-2018, Barcelona, Spain, May 29 – June 1, 2018. Cham: Birkhäuser. Trends Math., Res. Perspect. CRM Barc. 11, 19-25 (2019).
MSC:  92C32 92C37 34C60
PDF BibTeX XML Cite
Full Text: DOI
D’Angelo, Gianlorenzo (ed.), 17th symposium on experimental algorithms, SEA 2018, June 27–29, 2018, L’Aquila, Italy. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-070-5). LIPIcs – Leibniz International Proceedings in Informatics 103, Article 16, 14 p. (2018).
MSC:  68Wxx
PDF BibTeX XML Cite
Full Text: DOI
Peyrin, Thomas (ed.) et al., Advances in cryptology – ASIACRYPT 2018. 24th international conference on the theory and application of cryptology and information security, Brisbane, QLD, Australia, December 2–6, 2018. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11272, 494-524 (2018).
MSC:  94A60
PDF BibTeX XML Cite
Full Text: DOI
Fioravanti, Fabio (ed.) et al., Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-94459-3/pbk; 978-3-319-94460-9/ebook). Lecture Notes in Computer Science 10855, 306-322 (2018).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Chapman & Hall/CRC Mathematical and Computational Biology Series. Boca Raton, FL: CRC Press (ISBN 978-1-4987-7598-4/hbk; 978-1-4987-7599-1/ebook). xxi, 552 p. (2018).
PDF BibTeX XML Cite
Full Text: Link
Schwartz, Russell (ed.) et al., 17th international workshop on algorithms in bioinformatics, WABI 2017, Boston, MA, USA, August 21–23, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 88, Article 21, 13 p. (2017).
MSC:  92D20 92-04
PDF BibTeX XML Cite
Full Text: DOI
Sib. Zh. Vychisl. Mat. 20, No. 2, 169-180 (2017); translation in Numer. Analysis Appl. 10, No. 2, 140-148 (2017).
MSC:  68T20 68W10
PDF BibTeX XML Cite
Full Text: DOI
München: Dr. Hut; Darmstadt: TU Darmstadt, Fachbereich Mathematik (Diss.) (ISBN 978-3-8439-3262-2/pbk). x, 165 p. (2017).
PDF BibTeX XML Cite
Baltag, Alexandru (ed.) et al., Logic, rationality, and interaction. 6th international workshop, LORI 2017, Sapporo, Japan, September 11–14, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-55664-1/pbk; 978-3-662-55665-8/ebook). Lecture Notes in Computer Science 10455, 284-298 (2017).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Lam, Kwok-Yan (ed.) et al., Information and communications security. 18th international conference, ICICS 2016, Singapore, Singapore, November 29 – December 2, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-50010-2/pbk; 978-3-319-50011-9/ebook). Lecture Notes in Computer Science 9977, 124-133 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Artho, Cyrille (ed.) et al., Formal techniques for safety-critical systems. Fourth international workshop, FTSCS 2015, Paris, France, November 6–7, 2015. Revised selected papers. Cham: Springer (ISBN 978-3-319-29509-1/pbk; 978-3-319-29510-7/ebook). Communications in Computer and Information Science 596, 3-34 (2016).
MSC:  68Q65 18C10 68Q42 68T15
PDF BibTeX XML Cite
Full Text: DOI
Ladde, G. S. (ed.) et al., Dynamic systems and applications. Vol. 7. Proceedings of the 7th international conference, Morehouse College, Atlanta, GA, USA, May 27–30, 2015. Atlanta, GA: Dynamic Publishers. 339-341 (2016).
MSC:  62C10 62F15 91A05
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