Home Books

Books : Page 39150

Interactive Systems Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers
  • PDF
  • English
  • Year: 2001
  • Author: Timothy N. Wright, T. C. Nicholas Graham, Tore Urnes (auth.), Philippe Palanque, Fabio Paternò (eds.)
Komplexitätstheorie Band I: Grundlagen: Maschinenmodelle, Zeit- und Plazkomplexität, Nichtdeterminismus
  • PDF
  • German
  • Year: 1999
  • Author: Prof. Dr. math. K. Rüdiger Reischuk (auth.)
High-Dynamic-Range (HDR) Vision
  • PDF
  • English
  • Year: 2007
  • Author: Professor Dr. Bernd Hoefflinger (eds.)
Photo-Excited Processes, Diagnostics and Applications: Fundamentals and Advanced Topics
  • PDF
  • English
  • Year: 2004
  • Author: L. Perfetti, M. Grioni, G. Margaritondo (auth.), A. Peled (eds.)
Innovations in Bayesian Networks: Theory and Applications
  • PDF
  • English
  • Year: 2008
  • Author: Dawn E. Holmes, Lakhmi C. Jain (auth.), Prof. Dawn E. Holmes, Prof. Lakhmi C. Jain (eds.)
Inverse Problems in Electric Circuits and Electromagnetics
  • PDF
  • English
  • Year: 2007
  • Author: V. L. Chechurin, N. V. Korovkin, M. Hayakawa (auth.)
Models of Sharing Graphs: A Categorical Semantics of let and letrec
  • PDF
  • English
  • Year: 1999
  • Author: Masahito Hasegawa PhD (auth.)
Pressure and Temperature Sensitive Paints
  • PDF
  • English
  • Year: 2005
  • Author: Tianshu Liu, Prof. John P. Sullivan (auth.)