Home Books

Books : Page 39627

Proof in VDM: Case Studies
  • PDF
  • English
  • Year: 1998
  • Author: John Fitzgerald, Cliff Jones (auth.), J. C. Bicarregui BSc, MSc, PhD (eds.)
Asymptotic methods in analysis
  • DJVU
  • English
  • Year: 1958
  • Author: N. G. de Bruijn
Multimedia Database Management Systems: Research Issues and Future Directions
  • PDF
  • English
  • Year: 1997
  • Author: Bhavani Thuraisingham, Kingsley C. Nwosu (auth.), Bhavani Thuraisingham, Kingsley C. Nwosu, P. Bruce Berra (eds.)
Security, Privacy, and Applied Cryptography Engineering: Second International Conference, SPACE 2012, Chennai, India, November 3-4, 2012. Proceedings
  • PDF
  • English
  • Year: 2012
  • Author: Andreas Gornik, Ivan Stoychev, Jürgen Oehm (auth.), Andrey Bogdanov, Somitra Sanadhya (eds.)
Energy Efficient Thermal Management of Data Centers
  • PDF
  • English
  • Year: 2012
  • Author: Yogendra Joshi, Pramod Kumar (auth.), Yogendra Joshi, Pramod Kumar (eds.)
Cross-Word Modeling for Arabic Speech Recognition
  • PDF
  • English
  • Year: 2012
  • Author: Dia AbuZeina, Moustafa Elshafei (auth.)
Problem Solving in Computational Molecular Science: Molecules in Different Environments
  • PDF
  • English
  • Year: 1997
  • Author: B. T. Sutcliffe (auth.), S. Wilson, G. H. F. Diercksen (eds.)
Paris-Princeton lectures on mathematical finance 2002
  • PDF
  • English
  • Year: 2003
  • Author: Peter Bank, Fabrice Baudoin, Hans Föllmer, L.C.G. Rogers, Halil Mete Soner, Nizar Touzi, Nizar Touzi, Rene A. Carmona, Erhan Çinlar, Ivar Ekeland, Elyès Jouini, Jose A. Scheinkman
Use Cases of Discrete Event Simulation: Appliance and Research
  • PDF
  • English
  • Year: 2012
  • Author: Adrian Adewunmi, Uwe Aickelin (auth.), Steffen Bangsow (eds.)