Home Advanced Search

Advanced Search - Page 1

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, TACAS'97 Enschede, The Netherlands, April 2–4, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Gérard Berry (auth.), Ed Brinksma (eds.)
Computer Aided Verification: 14th International Conference, CAV 2002 Copenhagen, Denmark, July 27–31, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Gerard_J. Holzmann (auth.), Ed Brinksma, Kim Guldstrand Larsen (eds.)
Lectures on Formal Methods and PerformanceAnalysis: First EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures
  • PDF
  • English
  • Year: 2001
  • Author: Ulrich Herzog (auth.), Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen (eds.)
Distributed Computing and Internet Technology: 10th International Conference, ICDCIT 2014, Bhubaneswar, India, February 6-9, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Gérard Berry, Manuel Serrano (auth.), Raja Natarajan (eds.)
Correct Hardware Design and Verification Methods: 10th IFIP WG10.5 Advanced Research Working Conference, CHARME’99 BadHerrenalb,Germany,September 27–29, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Gérard Berry (auth.), Laurence Pierre, Thomas Kropf (eds.)
Labor Market Policies in Canada and Latin America: Challenges of the New Millennium
  • PDF
  • English
  • Year: 2001
  • Author: Albert Berry (auth.), Albert Berry (eds.)
Optical Particle Sizing: Theory and Practice
  • PDF
  • English
  • Year: 1988
  • Author: Milton Kerker (auth.), Gérard Gouesbet, Gérard Gréhan (eds.)
Climate Miracle: There Is No Climate Crisis Nature Controls Climate
  • PDF
  • English
  • Year: 2020
  • Author: Ed Berry
Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95 Aarhus, Denmark, May 19–20, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1995
  • Author: Olaf Müller, Tobias Nipkow (auth.), E. Brinksma, W. R. Cleaveland, K. G. Larsen, T. Margaria, B. Steffen (eds.)
Mechanics of Generalized Continua: One Hundred Years After the Cosserats
  • PDF
  • English
  • Year: 2010
  • Author: Gérard A. Maugin (auth.), Gérard A. Maugin, Andrei V. Metrikine (eds.)
search