Home Advanced Search

Advanced Search - Page 1

Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: John C. Knight (auth.), Anders P. Ravn, Hans Rischel (eds.)
Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT’98 Lyngby, Denmark, September 14–18, 1998 Proceedings
  • PDF
  • English
  • Year: 1998
  • Author: John C. Knight (auth.), Anders P. Ravn, Hans Rischel (eds.)
Hybrid Systems
  • DJVU
  • English
  • Year: 1993
  • Author: R.Ł. Grossman, A. Nerode, A. Ravn, H. Rischel (auth.), Robert L. Grossman, Anil Nerode, Anders P. Ravn, Hans Rischel (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.)
Praxis der Pockenbekämpfung: Sammlung von Vorträgen und Diskussionsbemerkungen
  • PDF
  • German
  • Year: 1963
  • Author: W. Anders (auth.), W. Anders, P. V. Lundt (eds.)
Newton to Aristotle: Toward a Theory of Models for Living Systems
  • PDF
  • English
  • Year: 1989
  • Author: John Casti, Anders Karlqvist (auth.), John Casti, Anders Karlqvist (eds.)
The Power of Technology for Learning
  • PDF
  • English
  • Year: 2008
  • Author: Eva Rimbau-Gilabert, Pilar Ficapal-Cusí (auth.), Noah P. Barsky, Mike Clements, Jakob Ravn, Kelly Smith (eds.)
Chemistry of Viruses
  • PDF
  • English
  • Year: 1963
  • Author: C. A. Knight (auth.)
Recent Advances in DNS and LES: Proceedings of the Second AFOSR Conference held at Rutgers — The State University of New Jersey, New Brunswick, U.S.A., June 7–9, 1999
  • PDF
  • English
  • Year: 1999
  • Author: P. Comte (auth.), Doyle Knight, Leonidas Sakell (eds.)
search