Home Advanced Search

Advanced Search - Page 1

Annus Platonicus: A Study of World Cycles in Greek, Latin and Arabic Sources
  • PDF
  • English
  • Year: 1996
  • Author: Godefroid de Callataÿ
Les monnaies grecques et l'orientation des axes
  • PDF
  • French
  • Year: 1996
  • Author: de Callataÿ, François
Natural and Artificial Intelligence. Misconceptions About Brains and Neural Networks
  • PDF
  • English
  • Year: 1992
  • Author: A. de Callataÿ (Auth.)
The Return of the Deficit : Public Finance in Belgium Over 2000-2010
  • PDF
  • English
  • Year: 2013
  • Author: Etienne De Callataÿ; Françoise Thys Clément; Herman Van Rompuy
Oeuvres, 1: Microcosmus
  • PDF
  • French
  • Author: Godefroid de saint-victor, Françoise Gasparri, Jean Grosfillier, Patrice Sicard
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem
  • DJVU
  • English
  • Year: 1996
  • Author: Patrice Godefroid (eds.)
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.)
Model Checking Software: 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Patrice Godefroid (auth.), Corina S. Păsăreanu (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.)
Blindness and insight: essays in the rhetoric of contemporary criticism
  • PDF
  • English
  • Year: 1989
  • Author: De Man, Paul de
search