Home Advanced Search

Advanced Search - Page 1

Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)
Formal Methods in Computer-Aided Design: Second International Conference, FMCAD’ 98 Palo Alto, CA, USA, November 4–6, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: Kenneth L. McMillan (auth.), Ganesh Gopalakrishnan, Phillip Windley (eds.)
Automata and computability: a programmer's perspective
  • PDF
  • English
  • Year: 2019
  • Author: Gopalakrishnan, Ganesh
Automata and Computability: A Programmer’s Perspective
  • PDF
  • English
  • Year: 2019
  • Author: Ganesh Gopalakrishnan
Formalized Probability Theory and Applications Using Theorem Proving
  • PDF
  • English
  • Year: 2015
  • Author: Osman Hasan, Sofiène Tahar
  • PDF
  • English
  • Year: 2017
  • Author: Barkaoui, Kamel; Boucheneb, Hanifa; Mili, Ali; Tahar, Sofiène
A Comprehensive Guide to Child Custody Evaluations: Mental Health and Legal Perspectives
  • PDF
  • English
  • Year: 2008
  • Author: Joanna Bunker Rohrbaugh Ph.D (auth.), Joanna Bunker Rohrbaugh Ph.D (eds.)
Unternehmensbewertung in Spruchverfahren beim „Squeeze out“: Der Zeitaspekt in Gesetz, Rechtsprechung und Gutachterpraxis aus funktionaler Sicht
  • PDF
  • German
  • Year: 2014
  • Author: Behzad Karami (auth.)
Water Institutions: Policies, Performance and Prospects
  • PDF
  • English
  • Year: 2005
  • Author: Chennat Gopalakrishnan (auth.), Professor Chennat Gopalakrishnan, Professor Asit K. Biswas, Dr. Cecilia Tortajada (eds.)
Bremsen und Bremsregelsysteme
  • PDF
  • German
  • Year: 2010
  • Author: Konrad Reif (auth.), Konrad Reif (eds.)
search