انتشارات Addison Wesley Pub. Co
![Logical foundations of functional programming](http://cdn.ketabkoo.com/covers/6/654903-n.jpg)
Logical foundations of functional programming
Gérard Huet, 1990![Introduction to formal language theory](http://cdn.ketabkoo.com/covers/0/16152-n.jpg)
Introduction to formal language theory
Michael A. Harrison, 1978![Introduction to Formal Language Theory](http://cdn.ketabkoo.com/covers/0/16153-n.jpg)
Introduction to Formal Language Theory
Michael A. Harrison, 1978![Introduction to Vlsi Systems](http://cdn.ketabkoo.com/covers/0/24687-n.jpg)
Introduction to Vlsi Systems
Carver Mead, Lynn Conway, 1979![Introduction to Vlsi Systems](http://cdn.ketabkoo.com/covers/0/24688-n.jpg)
Introduction to Vlsi Systems
Carver Mead, Lynn Conway, 1979![Introduction to Bioinformatics](http://cdn.ketabkoo.com/covers/0/34893-n.jpg)
Introduction to Bioinformatics
Teresa Attwood, David Parry-Smith, 1999![A first course in calculus](http://cdn.ketabkoo.com/covers/0/48853-n.jpg)
A first course in calculus
Serge, Lang, 1973![Boundary Value Problems](http://cdn.ketabkoo.com/covers/0/50237-n.jpg)
Boundary Value Problems
Ladis D. Kovach, 1984![Boundary-value problems](http://cdn.ketabkoo.com/covers/0/50241-n.jpg)
Boundary-value problems
Ladis D. Kovach, 1984![Elementary number theory and its applications](http://cdn.ketabkoo.com/covers/0/53559-n.jpg)
Elementary number theory and its applications
Kenneth H. Rosen, 1984![Syntactic pattern recognition: an introduction](http://cdn.ketabkoo.com/covers/0/70913-n.jpg)
Syntactic pattern recognition: an introduction
Rafael C. Gonzalez, Michael G. Thomason, 1978![Heuristics: intelligent search strategies for computer problem solving](http://cdn.ketabkoo.com/covers/0/71479-n.jpg)
Heuristics: intelligent search strategies for computer problem solving
Judea Pearl, 1984![Heuristics: intelligent search strategies for computer problem solving](http://cdn.ketabkoo.com/covers/0/71480-n.jpg)
Heuristics: intelligent search strategies for computer problem solving
Judea Pearl, 1984![e-Directories: Enterprise Software, Solutions, and Services (With CD-ROM)](http://cdn.ketabkoo.com/covers/0/72443-n.jpg)
e-Directories: Enterprise Software, Solutions, and Services (With CD-ROM)
Daniel House, Tim Hahn, Louis Mauget, Richard Daugherty, Richard Daugherty, 2000![An introduction to database systems](http://cdn.ketabkoo.com/covers/0/73812-n.jpg)
An introduction to database systems
C. J Date, 1981![OpenGL Programming Guide](http://cdn.ketabkoo.com/covers/0/74218-n.jpg)
OpenGL Programming Guide
Mason Woo, Jackie Neider, Tom Davis, OpenGL Architecture Review Board, 1997![Compiler Construction](http://cdn.ketabkoo.com/covers/0/74321-n.jpg)
Compiler Construction
Niklaus Wirth, 2005![Advanced Prolog: Techniques and Examples](http://cdn.ketabkoo.com/covers/0/74806-n.jpg)
Advanced Prolog: Techniques and Examples
Peter Ross, 1989![TEX by topic: a TEXnician's reference](http://cdn.ketabkoo.com/covers/0/74870-n.jpg)
TEX by topic: a TEXnician's reference
Victor Eijkhout, 1992![An introduction to quantum field theory](http://cdn.ketabkoo.com/covers/0/81721-n.jpg)
An introduction to quantum field theory
Michael E. Peskin, Dan V. Schroeder, 1995![An Introduction To Quantum Field Theory](http://cdn.ketabkoo.com/covers/0/81726-n.jpg)
An Introduction To Quantum Field Theory
Michael E. Peskin, Dan V. Schroeder, 1995![Field theories of condensed matter systems](http://cdn.ketabkoo.com/covers/0/82028-n.jpg)
Field theories of condensed matter systems
Eduardo Fradkin, 1991![Electric Circuits](http://cdn.ketabkoo.com/covers/1/100379-n.jpg)
Electric Circuits
James William Nilsson, Susan A. Riedel, 1993![Angular momentum in quantum physics : theory and application](http://cdn.ketabkoo.com/covers/1/104169-n.jpg)