Home Books
Books : Page 85088
Formal Logical Methods for System Security and Correctness
- English
- Year: 2008
- Author: Orna Grumberg, Orna Grumberg, Tobias Nipkow, Christian Pfaller
A survey of boundedness, stability, asymptotic behaviour of differential and difference equs
- DJVU
- English
- Year: 2005
- Author: Andrea Bacciotti, Lionel Rosier
Scale Space and Variational Methods in Computer Vision: First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings
- English
- Year: 2007
- Author: Yossi Ferdman, Chen Sagiv, Nir Sochen (auth.), Fiorella Sgallari, Almerico Murli, Nikos Paragios (eds.)
Investment philosophies : successful strategies and the investors who made them work
- English
- Year: 2012
- Author: Aswath Damodaran
Sicherheit in netzgestützten Informationssystemen: Proceedings des BIFOA-Kongresses
- German
- Year: 1993
- Author: Dr. Heiko Lippold (auth.), Heiko Lippold, Paul Schmitz, Dietrich Seibt (eds.)
