Home Advanced Search

Advanced Search - Page 1

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.)
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.)
Formal Methods in Computer-Aided Design: Third International Conference, FMCAD 2000 Austin, TX, USA, November 1–3, 2000 Proceedings
  • PDF
  • English
  • Year: 2000
  • Author: Robert Beers, Rajnish Ghughal, Mark Aagaard (auth.), Warren A. Hunt Jr., Steven D. Johnson (eds.)
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.)
Computer Aided Verification: 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Manuvir Das (auth.), Thomas Ball, Robert B. Jones (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.)
Biological Regulation and Development: Molecular Organization and Cell Function
  • PDF
  • English
  • Year: 1980
  • Author: B. D. Sanwal (auth.), Robert F. Goldberger (eds.)
The Ethics of Managed Care: Professional Integrity and Patient Rights
  • PDF
  • English
  • Year: 2002
  • Author: Edmund D. Pellegrino (auth.), William B. Bondeson, James W. Jones (eds.)
Biology of the Lysosome
  • PDF
  • English
  • Year: 1996
  • Author: John B. Lloyd (auth.), John B. Lloyd, Robert W. Mason (eds.)
Southern Appalachian Windows: Comparison of Styles, Scales, Geometry and Detachment Levels of Thrust Faults in the Foreland and Internides of a Thrust-Dominated Orogen: Atlanta, Georgia to Winston-Salem, North Carolina June 28-July 8, 1989
  • PDF
  • English
  • Author: Robert D. Hatcher, William A. Thomas, J. Robert Butler, Gregory M. Guthrie, Robert J. Hooper, Keith I. McConnell, W. Edward Osborne, Mark G. Steltenpohl, Nicholas B. Woodward(auth.)
search