Home Books
Books : Page 85001
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
- English
- Year: 2008
- Author: Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
Im Bergwerk der Sprache : eine Geschichte des Deutschen in Episoden
- German
- Year: 2012
- Author: Gabriele Leupold; et al
Informatik: Grundlagen Mit einer Einführung in PASCAL
- German
- Year: 1994
- Author: Prof. Dr. Dieter Roller (auth.)
Computer Security — ESORICS 92: Second European Symposium on Research in Computer Security Toulouse, France, November 23–25, 1992 Proceedings
- English
- Year: 1992
- Author: John A Bull, Li Gong, Karen R Sollins (auth.), Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater (eds.)
Gravitation and cosmology: from Hubble radius to Planck scale
- DJVU
- English
- Year: 2002
- Author: Richard L. Amoroso, G. Hunter, Menas Kafatos, J.P. Vigier