Home Advanced Search

Advanced Search - Page 1

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.)
Symbolic Model Checking
  • PDF
  • English
  • Year: 1993
  • Author: Kenneth L. McMillan (auth.)
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
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.)
Gene Therapy for Acute and Acquired Diseases
  • PDF
  • English
  • Year: 2001
  • Author: Kenneth L. Brigham M.D. (auth.), Phillip Factor D.O., F.C.C.P. (eds.)
Learning Digital Identity: Design, Deploy, and Manage Identity Architectures
  • EPUB
  • English
  • Author: Phillip Windley Ph.D.
Learning Digital Identity: Design, Deploy, and Manage Identity Architectures
  • PDF
  • English
  • Author: Phillip Windley Ph.D.
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
Molecular Characterization of Composite Interfaces
  • PDF
  • English
  • Year: 1985
  • Author: J. L. Kardos (auth.), Hatsuo Ishida, Ganesh Kumar (eds.)
search