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.)
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.)
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.)
Microprobe Techniques in the Earth Sciences
  • PDF
  • English
  • Year: 1995
  • Author: James V. P. Long (auth.), Philip J. Potts, John F. W. Bowles, Stephen J. B. Reed, Mark R. Cave (eds.)
Photoacoustic and Photothermal Phenomena III: Proceedings of the 7th International Topical Meeting, Doorwerth, The Netherlands, August 26–30, 1991
  • PDF
  • English
  • Year: 1992
  • Author: D. P. Baldwin, R. W. Jones, J. F. McClelland (auth.), Dane Bićanić (eds.)
search