Formal Methods for Dynamical Systems: 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM ... 7938 (Lecture Notes in Computer Science)
by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky
ISBN 13: 9783642388736
Format: Paperback (192 pages) Publisher: Springer Published: 07 Jun 2013
Save for later
Transactions on Computational Systems Biology XIV: Special Issue on Computational Models for Cell Processes: 7625 (Lecture Notes in Computer Science)
by Corrado Priami, Ion Petre, Erik de Vink
ISBN 13: 9783642355233
Format: Paperback (244 pages) Publisher: Springer Published: 16 Nov 2012