Home Advanced Search

Advanced Search - Page 1

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.)
Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs '97 Murray Hill, NJ, USA, August 19–22, 1997 Proceedings
  • DJVU
  • English
  • Year: 1997
  • Author: Sten Agerholm, Jacob Frost (auth.), Elsa L. Gunter, Amy Felty (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.)
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Sten Agerholm (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy, John Harrison (eds.)
Phénoménologie de la religion et herméneutique théologique dans la pensée du jeune Heidegger: Commentaire analytique des Fondements philosophiques de la mystique médiévale (1916-1919)
  • PDF
  • French
  • Year: 2007
  • Author: Camilleri Sylvain (auth.), Camilleri Sylvain (eds.)
Phénoménologie de la religion et herméneutique théologique dans la pensée du jeune Heidegger: Commentaire analytique des Fondements philosophiques de la mystique médiévale (1916-1919)
  • PDF
  • French
  • Year: 2007
  • Author: Camilleri Sylvain (auth.), Camilleri Sylvain (eds.)
Technology Commercialization: DEA and Related Analytical Methods for Evaluating the Use and Implementation of Technical Innovation
  • PDF
  • English
  • Year: 2002
  • Author: Sten A. Thore (auth.), Sten A. Thore (eds.)
Active, Real-Time, and Temporal Database Systems: Second International Workshop, ARTDB-97 Como, Italy, September 8–9, 1997 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Joakim Eriksson (auth.), Sten F. Andler, Jörgen Hansson (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.)
Civil Protection Cooperation in the European Union: How Trust and Administrative Culture Matter for Crisis Management
  • PDF
  • English
  • Year: 2019
  • Author: Sten Widmalm, Charles F. Parker, Thomas Persson
search