8 results
Type of media (2)
Classification (3)
Year
Persons
Publishers
Sort by
Results per page
Filter
8 results

Your search for Erik de Vink

  1. Cover: Formal Methods - Springer
    Klaus Havelund | Jan Peleska | Bill Roscoe
    Formal Methods
    22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    07/2018
    Springer
    9783319955827 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: Transactions on Computational Systems Biology XIV - Springer
    Ion Petre | Erik de Vink
    Transactions on Computational Systems Biology XIV
    Special Issue on Computational Models for Cell Processes
    11/2012
    Springer
    9783642355240 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Formal Methods for Dynamical Systems - Springer
    Marco Bernardo | Erik de Vink | Alessandra Di Pierro
    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
    06/2013
    Springer
    9783642388743 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  4. Cover: Transactions on Computational Systems Biology XIII - Springer
    Ralph-Johan Back | Ion Petre | Erik de Vink
    Transactions on Computational Systems Biology XIII
    05/2011
    Springer
    9783642197482 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Transactions on Computational Systems Biology XIII - Springer
    Ralph-Johan Back | Ion Petre | Erik de Vink
    Transactions on Computational Systems Biology XIII
    03/2011
    1st EDN1st Edition
    Springer
    9783642197475 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  6. Cover: Formal Methods for Dynamical Systems - Springer
    Marco Bernardo | Erik de Vink | Alessandra Di Pierro
    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
    06/2013
    Springer
    9783642388736 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.22
    Shipment within 7-9 days
  7. Cover: Transactions on Computational Systems Biology XIV - Springer
    Ion Petre | Erik de Vink
    Transactions on Computational Systems Biology XIV
    Special Issue on Computational Models for Cell Processes
    11/2012
    Springer
    9783642355233 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  8. Cover: Formal Methods - Springer
    Klaus Havelund | Jan Peleska | Bill Roscoe
    Formal Methods
    22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings
    07/2018
    Springer
    9783319955810 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €96.29
    Shipment within 10-15 days