Home Advanced Search

Advanced Search - Page 1

Model Checking Software: 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: David Wagner (auth.), Patrice Godefroid (eds.)
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
  • DJVU
  • English
  • Year: 1996
  • Author: Patrice Godefroid (eds.)
Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (eds.)
Oeuvres, 1: Microcosmus
  • PDF
  • French
  • Author: Godefroid de saint-victor, Françoise Gasparri, Jean Grosfillier, Patrice Sicard
Equilibrium and Advanced Transportation Modelling
  • PDF
  • English
  • Year: 1998
  • Author: Jaume Barceló, Jaume L. Ferrer, David García (auth.), Patrice Marcotte, Sang Nguyen (eds.)
Biomedical Applications of Biophysics
  • PDF
  • English
  • Year: 2010
  • Author: Patrice Koehl (auth.), Thomas Jue (eds.)
Biomedical Applications of Biophysics
  • PDF
  • English
  • Year: 2010
  • Author: Patrice Koehl (auth.), Thomas Jue (eds.)
Soil Biology and Agriculture in the Tropics
  • PDF
  • English
  • Year: 2010
  • Author: Stephen Nortcliff (auth.), Patrice Dion (eds.)
Universitäten im Wettbewerb: Strategisches Management von Qualifizierungsdienstleistungen
  • PDF
  • German
  • Year: 2001
  • Author: Eckhard Wagner (auth.), Eckhard Wagner (eds.)
An Application Science for Multi-Agent Systems
  • PDF
  • English
  • Year: 2004
  • Author: Tom Wagner (auth.), Thomas A. Wagner (eds.)
search