Home Books

Books : Page 26235

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
Introduction to Logic, Second Edition
  • PDF
  • English
  • Author: Harry J. Gensler
Complex Systems Design & Management: Proceedings of the Second International Conference on Complex Systems Design & Management CSDM 2011
  • PDF
  • English
  • Year: 2012
  • Author: Dimitri N. Mavris, Olivia J. Pinon (auth.), Omar Hammami, Daniel Krob, Jean-Luc Voirin (eds.)
Геометрия помогает арифметике
  • DJVU
  • Russian
  • Year: 1960
  • Author: А. И. Островский, Б. А. Кордемский
What is sociology?
  • MOBI
  • English
  • Year: 1978
  • Author: Norbert Elias
Promise Not to Tell
  • EPUB
  • English
  • Year: 2007
  • Author: Jennifer McMahon