Home Books

Books : Page 82092

Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Gogul Balakrishnan, Thomas Reps (auth.), Byron Cook, Andreas Podelski (eds.)
Hardy Classes on Infinitely Connected Riemann Surfaces
  • DJVU
  • English
  • Year: 1983
  • Author: Morisuke Hasumi (auth.)
Experimental Algorithms: 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007. Proceedings
  • PDF
  • English
  • Year: 2007
  • Author: Corinna Cortes, Mehryar Mohri, Ashish Rastogi (auth.), Camil Demetrescu (eds.)
Geometric Modelling
  • PDF
  • English
  • Year: 1993
  • Author: Robert E. Barnhill, Gerald E. Farin, Qian Chen (auth.), Prof. Dr. G. Farin, Prof. Dr. H. Noltemeier, Prof. Dr. H. Hagen, Prof. Dr. W. Knödel (eds.)
Dynamic Bifurcations: Proceedings of a Conference held in Luminy, France, March 5–10, 1990
  • DJVU
  • English
  • Year: 1991
  • Author: Claude Lobry (auth.), Eric Benoît (eds.)
Гравитация и Вселенная
  • DJVU
  • Russian
  • Year: 1972
  • Author: Дикке Роберт
A divine revelation of hell
  • EPUB
  • English
  • Year: [1997]
  • Author: Mary K Baxter
EGA IV 4: Etude locale des schemas et des morphismes de schemas
  • DJVU
  • French
  • Year: 1967
  • Author: Grothendieck A.
Black holes, wormholes & time machines
  • PDF
  • English
  • Year: 1999
  • Author: Jim Al-Khalili
UXL encyclopedia of landforms and other geologic features
  • DJVU
  • English
  • Year: 2004
  • Author: Rob Nagel
search