Home Advanced Search

Advanced Search - Page 1

Hybrid Systems: Computation and Control: 5th International Workshop, HSCC 2002 Stanford, CA, USA, March 25–27, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: David Sharp (auth.), Claire J. Tomlin, Mark R. Greenstreet (eds.)
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Mark R. Greenstreet (auth.), Zhiming Liu, Anders P. Ravn (eds.)
Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Mark R. Greenstreet (auth.), Zhiming Liu, Anders P. Ravn (eds.)
Mitosis: Methods and Protocols
  • PDF
  • English
  • Year: 2014
  • Author: David J. Sharp (eds.)
Rethinking Knowledge Management: From Knowledge Objects to Knowledge Processes
  • PDF
  • English
  • Year: 2007
  • Author: Mark Aakhus (auth.), Claire R. McInerney, Ronald E. Day (eds.)
Uncommon Sense
  • PDF
  • English
  • Year: 1984
  • Author: N. Metropolis, Gian-Carlo Rota, David Sharp, J. Robert Oppenheimer (auth.), N. Metropolis, Gian-Carlo Rota, David Sharp, J. Robert Oppenheimer (eds.)
Prevention of Skin Cancer
  • PDF
  • English
  • Year: 2004
  • Author: David J. Hill Ph.D., J. Mark Elwood M.D., D.Sc. (auth.), David Hill Ph.D., J. Mark Elwood M.D., D.Sc., Dallas R. English Ph.D. (eds.)
Management of cardiac arrhythmias
  • PDF
  • English
  • Year: 2011
  • Author: David J. Callans MD, Mark E. Josephson MD (auth.), Gan-Xin Yan, Peter R. Kowey (eds.)
Neurobiology of Aging: An Interdisciplinary Life-Span Approach
  • PDF
  • English
  • Year: 1975
  • Author: J. Mark Ordy (auth.), J. Mark Ordy, Kenneth R. Brizzee (eds.)
Safe, Autonomous and Intelligent Vehicles
  • PDF
  • English
  • Year: 2019
  • Author: Huafeng Yu, Xin Li, Richard M. Murray, S. Ramesh, Claire J. Tomlin
search