Home Advanced Search

Advanced Search - Page 1

Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Joël Ouaknine, James Worrell (auth.), Franck Cassez, Claude Jard (eds.)
Modeling and Verification of Parallel Processes: 4th Summer School, MOVEP 2000 Nantes, France, June 19–23, 2000 Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2001
  • Author: Stephan Merz (auth.), Franck Cassez, Claude Jard, Brigitte Rozoy, Mark Dermot Ryan (eds.)
Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Nikolaj Bjørner, Leonardo de Moura (auth.), Joël Ouaknine, Frits W. Vaandrager (eds.)
Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6.1 13th International Conference on Testing of Communicating Systems (TestCom 2000), August 29–September 1, 2000, Ottawa, Canada
  • PDF
  • English
  • Year: 2000
  • Author: Claude Jard, Thierry Jéron, Pierre Morel (auth.), Hasan Ural, Robert L. Probert, Gregor v. Bochmann (eds.)
Vasopressin and Oxytocin: Molecular, Cellular, and Clinical Advances
  • PDF
  • English
  • Year: 1998
  • Author: Serge Jard (auth.), Hans H. Zingg, Charles W. Bourque, Daniel G. Bichet (eds.)
Business Component-Based Software Engineering
  • PDF
  • English
  • Year: 2003
  • Author: Franck Barbier, Colin Atkinson (auth.), Franck Barbier (eds.)
FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: C. A. R. Hoare (auth.), Marie-Claude Gaudel, James Woodcock (eds.)
Multidimensional Hyperbolic Problems and Computations
  • PDF
  • English
  • Year: 1991
  • Author: Claude Bardos, François Golse (auth.), James Glimm, Andrew J. Majda (eds.)
Mathematical and Numerical Methods for Partial Differential Equations: Applications for Engineering Sciences
  • PDF
  • English
  • Year: 2014
  • Author: Joël Chaskalovic (auth.)
Bacteriocins, Microcins and Lantibiotics
  • PDF
  • English
  • Year: 1992
  • Author: Roberto Kolter, Felipe Moreno (auth.), Richard James, Claude Lazdunski, Franc Pattus (eds.)
search