Home Advanced Search

Advanced Search - Page 1

Systems and software verification
  • DJVU
  • English
  • Year: 2001
  • Author: Berard B., Bidoit M., Finkel A., et al. (eds.)
Systems and Software Verification: Model-Checking Techniques and Tools
  • PDF
  • English
  • Year: 2001
  • Author: B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen
Systems and Software Verification: Model-Checking Techniques and Tools
  • DJVU
  • English
  • Year: 2001
  • Author: B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen
Separation of isotopes of biogenic elements
  • PDF
  • English
  • Year: 2007
  • Author: B M Andreev; et al
New Trends in Quantum Integrable Systems: Proceedings of the Infinite Analysis 09
  • PDF
  • English
  • Year: 2010
  • Author: Feigin B., et al. (eds.)
C*-algebras and Elliptic Theory
  • PDF
  • English
  • Year: 2006
  • Author: Bojarski B., et al. (eds.)
The Role of Neutrinos, Strings, Gravity, and Variable Cosmological Constant in Particle Physics
  • PDF
  • English
  • Year: 2002
  • Author: Kursunoglu B., et al. (eds.)
Polysemy: flexible patterns of meaning in mind and language
  • DJVU
  • English
  • Year: 2003
  • Author: Nerlich B., et al. (eds.)
Textbook of men's health and aging
  • PDF
  • English
  • Year: 2007
  • Author: Lunenfeld B., et al. (eds.)
Quantum gravity. Mathematical models and experimental bounds
  • PDF
  • English
  • Year: 2007
  • Author: Fauser B., et al. (eds.)
search