Home Advanced Search

Advanced Search - Page 1

Embedded Software: Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Alan Burns, Guillem Bernat, Ian Broster (auth.), Rajeev Alur, Insup Lee (eds.)
Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.)
Principles of Cyber-Physical Systems
  • PDF
  • English
  • Year: 2015
  • Author: Rajeev Alur
Computer Aided Verification: 6th International Conference, CAV '94 Stanford, California, USA, June 21–23, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Rajeev Alur, Limor Fix, Thomas A. Henzinger (auth.), David L. Dill (eds.)
Hybrid Systems III: Verification and Control
  • DJVU
  • English
  • Year: 1996
  • Author: John Lygeros, Datta N. Godbole, Shankar Sastry (auth.), Rajeev Alur, Thomas A. Henzinger, Eduardo D. Sontag (eds.)
Scripts and Literacy: Reading and Learning to Read Alphabets, Syllabaries and Characters
  • PDF
  • English
  • Year: 1995
  • Author: Insup Taylor, David R. Olson (auth.), Insup Taylor, David R. Olson (eds.)
Atlas of Non-Invasive Coronary Angiography by Multidetector Computed Tomography
  • PDF
  • English
  • Year: 2006
  • Author: Guillem Pons-Lladó M.D. (auth.), Guillem Pons-Lladó M.D., Rubén Leta-Petracca M.D. (eds.)
Water on Mars and Life
  • PDF
  • English
  • Year: 2005
  • Author: Lee Baker, Ian A. Franchi, Ian P. Wright (auth.), Tetsuya Tokano (eds.)
Single-Molecule Magnets and Related Phenomena
  • PDF
  • English
  • Year: 2006
  • Author: Guillem Aromí, Euan K. Brechin (auth.), Richard Winpenny (eds.)
Protocols for Cardiac MR and CT: A Guide to Study Planning and Image Interpretation
  • PDF
  • English
  • Year: 2016
  • Author: Guillem Pons-Lladó (eds.)
search