×

zbMATH — the first resource for mathematics

Found 36 Documents (Results 1–36)

100
MathJax
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 109-129 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Ilchmann, Achim (ed.) et al., Surveys in differential-algebraic equations IV. Cham: Springer (ISBN 978-3-319-46617-0/pbk; 978-3-319-46618-7/ebook). Differential-Algebraic Equations Forum, 221-300 (2017).
MSC:  65L80 65L06 65-02
PDF BibTeX XML Cite
Full Text: DOI
Bartel, Andreas (ed.) et al., Scientific computing in electrical engineering. SCEE 2014. Proceedings of the 10th international conference, Wuppertal, Germany, July 22–25, 2014. Cham: Springer (ISBN 978-3-319-30398-7/hbk; 978-3-319-30399-4/ebook). Mathematics in Industry 23. The European Consortium for Mathematics in Industry, 243-251 (2016).
MSC:  78M25 34C05 65L80 65L05 60H15
PDF BibTeX XML Cite
Full Text: DOI
Griebel, Michael (ed.) et al., Meshfree methods for partial differential equations VII. Selected contributions based on the presentations at the 7th international workshop, Bonn, Germany, September 9–11, 2013. Cham: Springer (ISBN 978-3-319-06897-8/hbk; 978-3-319-06898-5/ebook). Lecture Notes in Computational Science and Engineering 100, 61-79 (2015).
MSC:  76M10
PDF BibTeX XML Cite
Full Text: DOI
Schöps, Sebastian (ed.) et al., Progress in differential-algebraic equations. Deskriptor 2013. Proceedings of the 8th workshop on coupled descriptor systems, Geseke, Germany, March 4–7, 2013. Berlin: Springer (ISBN 978-3-662-44925-7/hbk; 978-3-662-44926-4/ebook). Differential-Algebraic Equations Forum, 107-125 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Schöps, Sebastian (ed.) et al., Progress in differential-algebraic equations. Deskriptor 2013. Proceedings of the 8th workshop on coupled descriptor systems, Geseke, Germany, March 4–7, 2013. Berlin: Springer (ISBN 978-3-662-44925-7/hbk; 978-3-662-44926-4/ebook). Differential-Algebraic Equations Forum, 97-106 (2014).
MSC:  65L80 34A09
PDF BibTeX XML Cite
Full Text: DOI
Dams, Dennis (ed.) et al., Concurrency, compositionality, and correctness. Essays in honor of Willem-Paul de Roever. Berlin: Springer (ISBN 978-3-642-11511-0/pbk). Lecture Notes in Computer Science 5930, 142-161 (2010).
MSC:  68Q60 68M14 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Arnold, Martin (ed.) et al., Simulation techniques for applied dynamics. Proceedings of the advanced school, CISM, Udine, Italy, September 17–21, 2007. Wien: Springer (ISBN 978-3-211-89547-4/hbk). CISM Courses and Lectures 507, 191-246 (2008).
MSC:  70-08 70E55 70-02
PDF BibTeX XML Cite
Full Text: DOI

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