×

zbMATH — the first resource for mathematics

Found 180 Documents (Results 1–100)

100
MathJax
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 19th international workshop, CASC 2017, Beijing, China, September 18–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10490, 77-92 (2017).
MSC:  13P10
PDF BibTeX XML Cite
Full Text: DOI
Kahle, Reinhard (ed.) et al., Gentzen’s centenary. The quest for consistency. Cham: Springer (ISBN 978-3-319-10102-6/pbk; 978-3-319-10103-3/ebook). 533-561 (2015).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Brzdȩk, Janusz (ed.) et al., Recent developments in functional equations and inequalities. Selected topics. Based on the 14th international conference on functional equations and inequalities (ICFEI) dedicated to the memory of Marek Kuczma, Bȩdlewo, Poland, September 11–17, 2011. Warszawa: Polish Academy of Sciences, Institute of Mathematics (ISBN 978-83-86806-18-8/pbk). Banach Center Publications 99, 123-154 (2013).
PDF BibTeX XML Cite
Full Text: DOI
New York, NY: Springer (ISBN 978-1-4419-7584-3/hbk; 978-1-4419-7585-0/ebook). xiv, 477 p. (2011).
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei N. (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2007, New York, NY, USA, June 4–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72732-3/pbk). Lecture Notes in Computer Science 4514, 115-131 (2007).
MSC:  03B35 03F05
PDF BibTeX XML Cite
Full Text: DOI
Maroulis, George (ed.) et al., Trends and perspectives in modern computational science. Lectures presented at the international conference of computational methods in sciences and engineering 2006 (ICCMSE 2006), Chania, Crete, Greece, 27 October – 1 November 2006. Leiden: Brill Academic Publishers (ISBN 90-04-15541-4/pbk). Lecture Series on Computer and Computational Sciences 6, 22-62 (2006).
MSC:  81V55 81-04 49S05
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