انتشارات Computer Science
SICStus Prolog user's manual
Mats Carlsson, 1988
A logical language for data and knowledge bases
Naqvi, Shamim; Tsur, Shalom, 1989
A Practical Introduction to Data Structures and Algorithm Analysis Third Edition (Java Version)
Clifford A. Shaffer, 2010
Foundations of computer science
Alfred V. Aho, Jeffrey D. Ullman, 1995
Assemblers, compilers, and program translation
Peter Calingaert, 1979
Provably Secure Steganography
Nicholas J Hopper, 2002
Elements of Artificial Intelligence: An Introduction Using LISP
Steven L. Tanimoto, 1990
A category-theoretic approach to the semantics of programming languages
Frank Joseph Oles, 1982
An Introduction to the Theory of Computation
Eitan Gurari, 1989
Introduction to the theory of computation
Eitan Gurari, 1989
Fundamentals of data structures
Ellis Horowitz, 1982
Fundamentals of data structures in Pascal
Horowitz E., 1994,
Source Book on Digital Libraries
Edward A. Fox, 1993
Top-Down Calculus: A Concise Course (Computers and Math Series)
S. Gill Williamson, 1987
A really temporal logic
Rajeev Alur, 2007
A really temporal logic
Rajeev Alur, 2007
An implementation of an efficient algorithm for bisimulation equivalence
J.-C. Fernandez, 1989
Assemblers, compilers, and program translation (Computer software engineering series)
Peter Calingaert, 1979
C# Development
Rob Miles, 2008
C# From Java
Rob Miles, 2008
C: an advanced introduction
Narain Gehani, 1985
Combinatorics for Computer Science
S. Gill Williamson, 1985
Combinatorics for Computer Science
Stanley Gill Williamson, 1985
