Home Books
Books : Page 84926
Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004. Proceedings
- English
- Year: 2004
- Author: Behzad Akbarpour, Sofiène Tahar (auth.), Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan (eds.)
Information verstehen: Facetten eines neuen Zugangs zur Welt
- German
- Year: 1994
- Author: Horst Völz (auth.)
Cryptographic Hardware and Embedded Systems – CHES 2005: 7th International Workshop, Edinburgh, UK, August 29 – September 1, 2005. Proceedings
- English
- Year: 2005
- Author: William Dupuy, Sébastien Kunz-Jacques (auth.), Josyula R. Rao, Berk Sunar (eds.)
Zur Geschichte der neueren Philosophie : Münchener Vorlesungen
- German
- Year: 1986
- Author: Friedrich Wilhelm Joseph von Schelling; Manfred Buhr
A statistical approach to neural networks for pattern recognition
- DJVU
- English
- Year: 2007
- Author: Robert A. Dunne
