Home Books
Books : Page 84986
Theorem Proving in Higher Order Logics: 9th International Conference, TPHOLs’96 Turku, Finland, August 26–30, 1996 Proceedings
- English
- Year: 1996
- Author: Sten Agerholm (auth.), Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, Joakim von Wright, Jim Grundy, John Harrison (eds.)
Lecture Notes on Principles of Plasma Processing
- DJVU
- English
- Year: 2003
- Author: Francis F. Chen, Jane P. Chang
Convex functions and their applications: A contemporary approach
- English
- Year: 2005
- Author: Constantin Niculescu, Lars-Erik Persson
Transactions on Data Hiding and Multimedia Security II
- English
- Year: 2007
- Author: André Adelsbach, Ulrich Huber (auth.), Yun Q. Shi (eds.)
Medical Biometrics: First International Conference, ICMB 2008, Hong Kong, China, January 4-5, 2008. Proceedings
- English
- Year: 2007
- Author: Lalit Gupta, Sarif Kumar Naik, Srinivasan Balakrishnan (auth.), David Zhang (eds.)
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23–25, 1996 Proceedings
- English
- Year: 1996
- Author: Dana S. Scott (auth.), Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.)