Home Books

Books : Page 44297

Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Manfred Broy (auth.), Karin Breitman, Ana Cavalcanti (eds.)
Automated theorem proving in software engineering
  • DJVU
  • English
  • Year: 2001
  • Author: Johann M Schumann
Geldanlage mit Optionsscheinen
  • PDF
  • German
  • Year: 1993
  • Author: Michael Demuth (auth.)
Бокоплавы морей СССР и сопредельных вод. [Определители по фауне. 41]. М.-Л., 1951
  • DJVU
  • Russian
  • Author: Гурьянова Е.Ф.
An Introduction to Environmental Biophysics
  • PDF
  • English
  • Year: 1977
  • Author: Gaylon S. Campbell (auth.)
Theory of Multiobjective Optimization
  • DJVU
  • English
  • Year: 1985
  • Author: Yoshikazu Sawaragi, Hirotaka Nakayama and Tetsuzo Tanino (Eds.)
A Lifetime's Reading: The World's 500 Greatest Books
  • DJVU
  • English
  • Year: 1985
  • Author: Philip Ward
Определитель мшанок Белого моря. Л., 1978
  • DJVU
  • Russian
  • Author: Гостиловская М.Г.
Секреты самураев Боевые искусства феодальной Японии
  • CHM
  • Russian
Normal forms, Melnikov functions and bifurcations of limit cycles
  • DJVU
  • English
  • Year: 2012
  • Author: Maoan Han, Pei Yu (auth.)
search