Home Books

Books : Page 75422

Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Andreas Kuehlmann (auth.), Achim D. Brucker, Jacques Julliand (eds.)
Аквариум в вопросах и ответах.
  • DJVU
  • Russian
  • Year: 2007
  • Author: Кочетов С.М.
Quantum mechanics from general relativity
  • DJVU
  • English
  • Year: 1986
  • Author: Mendel Sachs
Интенсификация твердения наполненных известковых композиций
  • DJVU
  • Russian
  • Author: Гнып
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Kenneth L. McMillan (auth.), Eran Yahav (eds.)
Model Checking Software: 19th International Workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Thomas Ball, Nikolaj Bjørner, Leonardo de Moura, Kenneth L. McMillan, Margus Veanes (auth.), Alastair Donaldson, David Parker (eds.)
Unmanned space project management: surveyor and lunar orbiter
  • PDF
  • English
  • Year: 1972
  • Author: Kloman, E.H.
Networked: The New Social Operating System
  • PDF
  • English
  • Year: 2012
  • Author: Lee Rainie, Barry Wellman
Карманный справочник по использованию ISO 9001.
  • DJVU
  • Russian
  • Year: 2004
  • Author: Пич Р.В.
The Prokaryotes: Prokaryotic Communities and Ecophysiology
  • PDF
  • English
  • Year: 2012
  • Author: Edward F. DeLong, Stephen Lory, Erko Stackebrandt, Fabiano Thompson, Eugene Rosenberg
search