Home Books

Books : Page 72070

Formal Systems Specification: The RPC-Memory Specification Case Study
  • DJVU
  • English
  • Year: 1996
  • Author: Manfred Broy, Leslie Lamport (auth.), Manfred Broy, Stephan Merz, Katharina Spies (eds.)
Hubert Keller's Souvenirs: Stories and Recipes from My Life
  • MOBI
  • English
  • Year: 2012
  • Author: Hubert Keller, Penelope Wisner
Methodologies for Intelligent Systems: 7th International Symposium, ISMIS'93 Trondheim, Norway, June 15–18, 1993 Proceedings
  • DJVU
  • English
  • Year: 1993
  • Author: Jack Minker, Carolina Ruiz (auth.), Jan Komorowski, Zbigniew W. Raś (eds.)
Lucid, the Dataflow Programming Language
  • DJVU
  • English
  • Year: 1985
  • Author: William W. Wadge
Möglichkeiten und Grenzen der Medizin
  • PDF
  • German
  • Year: 1994
  • Author: W. Doerr (auth.), Prof. Dr. Christian Herfarth, Prof. Dr. Heinz J. Buhr (eds.)
Handbook of vitamins
  • PDF
  • English
  • Year: 2007
  • Author: Zempleni J., et al. (eds.)
Mathematical Statistics
  • DJVU
  • English
  • Year: 1963
  • Author: Samuel S. Wilks