Home Advanced Search

Advanced Search - Page 1

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.)
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Manuvir Das (auth.), Kwangkeun Yi (eds.)
Neural Transplantation and Regeneration
  • PDF
  • English
  • Year: 1986
  • Author: Gopal D. Das (auth.), Gopal D. Das, Robert B. Wallace (eds.)
Neural Tissue Transplantation Research
  • PDF
  • English
  • Year: 1983
  • Author: Gopal D. Das (auth.), Robert B. Wallace, Gopal D. Das (eds.)
Neural Transplantation and Regeneration
  • PDF
  • German
  • Year: 1986
  • Author: Gopal D. Das (auth.), Gopal D. Das, Robert B. Wallace (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.)
Symbolic Simulation Methods for Industrial Formal Verification
  • PDF
  • English
  • Year: 2002
  • Author: Robert B. Jones (auth.)
Techniques and Concepts of High-Energy Physics VI
  • PDF
  • English
  • Year: 1991
  • Author: Ashok Das (auth.), Thomas Ferbel (eds.)
Die innovative Behörde: Praxisgerechte Wege zu einer leistungsorientierten öffentlichen Verwaltung
  • PDF
  • German
  • Year: 1997
  • Author: Robert Ball (auth.)
Problems and Solutions in Thermoelasticity and Magneto-thermoelasticity
  • PDF
  • English
  • Year: 2017
  • Author: B. Das (auth.)
search