Home Books

Books : Page 82616

Intelligent Computer Mathematics: 10 conf., AISC2010, 17 conf., Calculemus 2010, 9 conf., MKM2010
  • PDF
  • English
  • Year: 2010
  • Author: Serge Autexier, Jacques Calmet, David Delahaye, P.D.F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
Implementing Practical DB2 Applications
  • PDF
  • English
  • Year: 1996
  • Author: Anthony S. Rudd MS (auth.)
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
Homeomorphisms in analysis
  • DJVU
  • English
  • Year: 1997
  • Author: Casper Goffman
Synchronous Programming of Reactive Systems
  • PDF
  • English
  • Year: 1993
  • Author: Nicolas Halbwachs (auth.)
Pulphead
  • EPUB
  • German
  • Author: Sullivan, John Jeremiah
Im Bergwerk der Sprache : eine Geschichte des Deutschen in Episoden
  • PDF
  • German
  • Year: 2012
  • Author: Gabriele Leupold; et al
Westwärts und nicht vergessen
  • PDF
  • German
  • Author: Daniela Dahn
Informatik: Grundlagen Mit einer Einführung in PASCAL
  • PDF
  • 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
  • PDF
  • English
  • Year: 1992
  • Author: John A Bull, Li Gong, Karen R Sollins (auth.), Yves Deswarte, Gérard Eizenberg, Jean-Jacques Quisquater (eds.)
search