Home Books

Books : Page 81762

Advances in Computers, Vol. 19
  • DJVU
  • English
  • Year: 1980
Using Z: Specification, Refinement, and Proof
  • PDF
  • English
  • Year: 1996
  • Author: Jim Woodcock, Jim Davies
Finanzmarktanalyse und -prognose mit innovativen quantitativen Verfahren: Ergebnisse des 5. Karlsruher Ökonometrie-Workshops
  • PDF
  • German
  • Year: 1996
  • Author: Friedhelm Schwenker (auth.), Professor Dr. Georg Bol, Professor Dr. Gholamreza Nakhaeizadeh, Professor Dr. Karl-Heinz Vollmer (eds.)
Multiple-conclusion logic
  • DJVU
  • English
  • Year: 1980
  • Author: D. J. Shoesmith, T. J. Smiley
Treatise on the Shift Operator
  • DJVU
  • English
  • Year: 1986
  • Author: N.K. Nikol'skii, J. Peetre, S.V. Hruscev, V.V. Peller
Acoustic fields and waves in solids
  • DJVU
  • English
  • Year: 1973
  • Author: B A Auld
Die schönste Geschichte des Menschen : von den Geheimnissen unserer Herkunft
  • PDF
  • German
  • Year: 2000
  • Author: André Langaney; Friedel Schröder
Tsunamis and hurricanes: a mathematical approach
  • PDF
  • English
  • Year: 2006
  • Author: Ferdinand Cap
Степени неразрешимости
  • DJVU
  • Russian
  • Year: 1977
  • Author: Шенфилд Дж. (J.R.Schoenfield)