Home Books
Books : Page 85252
VLISP A Verfied Implementation of Scheme: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
- English
- Year: 1995
- Author: Joshua D. Guttman, John D. Ramsdell (auth.), Joshua D. Guttman, Mitchell Wand (eds.)
Solving Irregularly Structured Problems in Parallel: 4th International Symposium, IRREGULAR'97 Paderborn, Germany, June 12–13, 1997 Proceedings
- DJVU
- English
- Year: 1997
- Author: Dr.-Ing. Lutz Laemmer (auth.), Gianfranco Bilardi, Afonso Ferreira, Reinhard Lüling, José Rolim (eds.)
Information Transfer: New Age — New Ways: Proceedings of the third European Conference of Medical Libraries Montpellier, France, September 23–26, 1992
- English
- Year: 1993
- Author: Suzanne Bakker (auth.), Suzanne Bakker, Monique C. Cleland (eds.)
Godel's theorem: an incomplete guide to its use and abuse
- DJVU
- English
- Year: 2005
- Author: Torkel Franzen