- Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic 
 - The dBASE III Plus: Programmer's Reference-A Sourcebook of Programming Techniques by Cary N. Prague, James Hammitt,  1987-01
 - Compiling with Continuations by Andrew W. Appel,  1991-11-29
 - Funktionale Programmierung: Sprachdesign und Programmiertechnik (eXamen.press) (German Edition) by Peter Pepper, Petra Hofstedt,  2006-05-03
 - Sound and complete elimination of singleton kinds ([Research paper] / Carnegie Mellon University. School of Computer Science) by Karl Crary,  2000
 - The performance of FoxNet 2.0 ([Research paper] / Carnegie Mellon University. School of Computer Science) by Herb Derby,  1999
 - Machine Learning: ECML-94: European Conference on Machine Learning, Catania, Italy, April 6-8, 1994. Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence) 
 - Programming Languages Created in the 1980s: Ibm Basica, Ubasic, Atari St Basic, Vilnius Basic, Turbo-Basic Xl, Extended Ml, Ibm Cassette Basic 
 - C++ Programmer's Guide to the Standard Template Library by Mark Nelson,  1995-12
 - Algebra, Meaning, and Computation: Essays dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues) 
 - Platinum Edition Using XHTML, XML & Java 2 by Eric Ladd, Jim O'Donnell, et all  2000-11-20
   |