Home Advanced Search

Advanced Search - Page 1

Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Mauro Gargano, Mark Hillebrand, Dirk Leinenbach, Wolfgang Paul (auth.), Joe Hurd, Tom Melham (eds.)
Correct Hardware Design and Verification Methods: 11th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2001 Livingston, Scotland, UK, September 4–7, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Steven D. Johnson (auth.), Tiziana Margaria, Tom Melham (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.)
Lehre von den Gesichtsempfindungen: Auf Grund Hinterlassener Aufzeichnungen
  • PDF
  • German
  • Year: 1929
  • Author: Franz Hillebrand (auth.), Dr. Franziska Hillebrand (eds.)
Interaktive Geschäftsprozessmodellierung: Dokumentation von Prozesswissen in einer Virtual Reality-gestützten Unternehmungsvisualisierung
  • PDF
  • German
  • Year: 2000
  • Author: Stefan Leinenbach (auth.)
The Newly Industrializing Economies of Asia: Prospects of Co-operation
  • PDF
  • English
  • Year: 1990
  • Author: Wolfgang Hillebrand, Manfred Kulessa, Philippe Régnier (auth.), Dr. jur. Manfred Kulessa (eds.)
Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Sten Agerholm (auth.), Thomas F. Melham, Juanito Camilleri (eds.)
Die Weltstädte als Absatz- und Verbrauchszentren
  • PDF
  • German
  • Year: 1971
  • Author: Dipl.-Kfm. Veit Müller-Hillebrand (auth.), Dipl.-Kfm. Veit Müller-Hillebrand (eds.)
California crackup: how reform broke the Golden State and how we can fix it
  • EPUB
  • English
  • Year: 2010
  • Author: Mathews, Joe;Mark Paul
California Crackup: How Reform Broke the Golden State and How We Can Fix It
  • PDF
  • English
  • Year: 2010
  • Author: Joe Mathews; Mark Paul
search