×

zbMATH — the first resource for mathematics

Found 2,726 Documents (Results 1–100)

100
MathJax
Miller, Karol (ed.) et al., Computational biomechanics for medicine. Solid and fluid mechanics for the benefit of patients. Selected papers based on the presentations at the workshop, MICCAI 2019, Shenzhen, China, October 13–17, 2019. Cham: Springer (ISBN 978-3-030-42427-5/hbk; 978-3-030-42428-2/ebook). 147-169 (2020).
MSC:  92C50 92C10
PDF BibTeX XML Cite
Full Text: DOI
Miller, Karol (ed.) et al., Computational biomechanics for medicine. Solid and fluid mechanics for the benefit of patients. Selected papers based on the presentations at the workshop, MICCAI 2019, Shenzhen, China, October 13–17, 2019. Cham: Springer (ISBN 978-3-030-42427-5/hbk; 978-3-030-42428-2/ebook). 33-45 (2020).
MSC:  92C55 92B20
PDF BibTeX XML Cite
Full Text: DOI
André, Étienne (ed.) et al., Formal modeling and analysis of timed systems. 17th international conference, FORMATS 2019, Amsterdam, the Netherlands, August 27–29, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11750, 79-95 (2019).
MSC:  68Q85 68M14 68Q60
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, 124-133 (2019).
MSC:  68Qxx
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, 113-123 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 22nd ACM international conference on hybrid systems: computation and control, HSCC 2019, Montreal, Quebec, Canada, April 16–18, 2019. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-6282-5). 272-273 (2019).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Rousseau, Louis-Martin (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 16th international conference, CPAIOR 2019, Thessaloniki, Greece, June 4–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19211-2/pbk; 978-3-030-19212-9/ebook). Lecture Notes in Computer Science 11494, 472-487 (2019).
MSC:  68T20 90C27
PDF BibTeX XML Cite
Full Text: DOI

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