Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures

Crafting Interpreters

Immune: A journey into the system that keeps you alive - the book from KURZGESAGT IN A NUTSHELL

Computer Performance Engineering: 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010, Proceedings

Vaxxers: A Pioneering Moment in Scientific History

Formal Methods for Software Architectures: Third International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architectures, SFM 2003, Bertinoro, Italy, September 22-27, 2003, Advanced Lectures

Innovative Medicine: Basic Research and Development

Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and OpenCERT 2023, Eindhoven, The Netherlands, November 6–10, 2023, Revised Selected Papers

Cellular and Molecular Immunology E-Book: Cellular and Molecular Immunology E-Book, Edition 10

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

Viruses: The Invisible Enemy, Edition 2

Foundations of Security Analysis and Design: FOSAD 2006/2007 Turtorial Lectures

Educate Act Thrive - Eat for the Immune System

Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006, Proceedings

Recent Trends in Immunology

Formal Methods for Mobile Computing: 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

Compiler Design

Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-RT 2004, Bertinoro, Italy, September 13-18, 2004, Revised Lectures

The Autoimmune Epidemic: Bodies Gone Haywire in a World Out of Balance--and the Cutting-Edge Science that Promises Hope

Formal Methods for Multicore Programming: 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures