E. D. · E. Vink · Erik P. de Vink
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Control Flow Semantics | 978-0-262-04154-6 | 1996 | Jaco de Bakker | |
| Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... Italy, June 17-22, 2013. Advanced Lectures | 978-3-642-38875-0 | 2013 | Marco Bernardo · Alessandra Di Pierro | |
| Formal Methods for Dynamical Systems | 978-3-642-38873-6 | 2013 | Marco Bernardo · Alessandra Di Pierro · Herbert Wiklicky | |
| Transactions on Computational Systems Biology XIII | 978-3-642-19747-5 | 2011 | Corrado Priami · Ralph-Johan Back · Ion Petre | |
| Transactions on Computational Systems Biology XIV: Special Issue on Computational Models for Cell Processes | 978-3-642-35523-3 | 2012 | Corrado Priami · Ion Petre |