Home Advanced Search

Advanced Search - Page 1

Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14–18, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Antonia Balaa, Yves Bertot (auth.), Mark Aagaard, John Harrison (eds.)
Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs’ 99 Nice, France, September 14–17, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Thomas Kropf (auth.), Yves Bertot, Gilles Dowek, Laurent Théry, André Hirschowitz, Christine Paulin (eds.)
Formal Methods in Computer-Aided Design: 4th International Conference, FMCAD 2002 Portland, OR, USA, November 6–8, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Thomas F. Melham, Robert B. Jones (auth.), Mark D. Aagaard, John W. O’Leary (eds.)
The Soviet Defence-Industry Complex from Stalin to Khrushchev
  • PDF
  • English
  • Year: 2000
  • Author: John Barber, Mark Harrison (eds.)
Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions
  • DJVU
  • English
  • Year: 2004
  • Author: Yves Bertot, Pierre Castéran
Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions
  • PDF
  • English
  • Year: 2004
  • Author: Yves Bertot, Pierre Castéran
Legitimacy, Meaning, and Knowledge in the Making of Taiwanese Identity
  • PDF
  • English
  • Year: 2006
  • Author: Mark Harrison (auth.)
Architecting the Internet of Things
  • PDF
  • English
  • Year: 2011
  • Author: Dieter Uckelmann, Mark Harrison, Florian Michahelles (auth.), Dieter Uckelmann, Mark Harrison, Florian Michahelles (eds.)
The Soviet Home Front, 1941-1945: A Social and Economic History of the USSR in World War II
  • PDF
  • English
  • Year: 1995
  • Author: John Barber; Mark Harrison
Scheitern - Ein Desiderat der Moderne?
  • PDF
  • German
  • Year: 2014
  • Author: René John, Antonia Langhof (eds.)
search