Home Books

Books : Page 42952

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
  • PDF
  • English
  • Year: 2006
  • Author: Doc.dr.hab. Wojciech Penczek, Dr. Agata Pólrola (auth.)
A Modern Introduction to Probability and Statistics: Understanding Why and How
  • PDF
  • English
  • Year: 2005
  • Author: Frederik Michel Dekking, Cornelis Kraaikamp, Hendrik Paul Lopuhaä, Ludolf Erwin Meester (auth.)
GeoComputational Modelling: Techniques and Applications
  • PDF
  • English
  • Year: 2001
  • Author: Manfred M. Fischer, Yee Leung (auth.), Professor Dr. Manfred M. Fischer, Professor Dr. Yee Leung (eds.)
E-Man: Die neuen virtuellen Herrscher
  • PDF
  • German
  • Year: 2001
  • Author: Professor Dr. Gunter Dueck (auth.)
Continuum Damage Mechanics and Numerical Applications
  • PDF
  • English
  • Year: 2010
  • Author: Prof. Wohua Zhang, Prof. Yuanqiang Cai (auth.)
Semiconductor Optical Amplifiers
  • PDF
  • English
  • Year: 2004
  • Author: Michael J. Connelly (auth.)
Obliq-3D tutorial and reference manual
  • PDF
  • English
  • Year: 1994
  • Author: Marc A Najork
Einführung in die Bayes-Statistik
  • PDF
  • German
  • Year: 2000
  • Author: Professor Dr.-Ing., Dr.-Ing. E.h. mult. Karl-Rudolf Koch (auth.)
Computational Methods in Earthquake Engineering
  • PDF
  • English
  • Year: 2011
  • Author: Dimitrios G. Lignos, Helmut Krawinkler (auth.), Manolis Papadrakakis, Michalis Fragiadakis, Nikos D. Lagaros (eds.)