| title | media type | ISBN-13 | year of publica- tion | other author(s) |
|---|---|---|---|---|
| Computation for Humanity: Information Technology to Advance Society | Hardcover | 978-1-4398-8327-3 | 2013 | Justyna Zander |
| Computation for Humanity: Information Technology to Advance Society | Digital | 978-1-4398-8329-7 | 2013 | " |
| Discrete-Event Modeling and Simulation: Theory and Applications | Hardcover | 978-1-4200-7233-4 | 2010 | Gabriel A. Wainer |
| Model-Based Design for Embedded Systems | " | 978-1-4200-6784-2 | 2009 | Gabriela Nicolescu |
| Model-Based Testing for Embedded Systems | " | 978-1-4398-1845-9 | 2011 | Justyna Zander · Ina Schieferdecker |
| Real-Time Simulation Technologies: Principles, Methodologies, and Applications | " | 978-1-4398-4665-0 | 2012 | Katalin Popovici |