تئوری و علوم کامپیوتر

Computer Organization and Design, Fourth Edition: The Hardware Software Interface (The Morgan Kaufmann Series in Computer Architecture and Design)

David A. Patterson,John L. Hennessy

Nonlinear Functional Analysis and Its Applications III

E. Zeidler

Linux with Operating System Concepts

Fox,Richard

Elements of the Theory of Computation (2nd Edition)

Harry Lewis,Christos H. Papadimitriou

Mathematics and Computers in Simulation

Functional programming languages for verification tools.A comparison of Standard ML and Haskell

Leucker M.

Advanced Engineering Informatics

Gianfranco La Rocca

Introduction to Parallel Computing

Ananth Grama

Declarative Programming and Knowledge Management: Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

Dietmar Seipel,Michael Hanus,Salvador Abreu

Windows Phone 8 Development Internals

Andrew Whitechapel,Sean McKenna

Code: The Hidden Language of Computer Hardware and Software

Charles Petzold

Code: The Hidden Language of Computer Hardware and Software

Charles Petzold

Research Methods in Applied Behavior Analysis: Issues and Advances

Richard W. Malott (auth.),Alan Poling,R. Wayne Fuqua (eds.)

Syntactic Structures after 60 Years: The Impact of the Chomskyan Revolution in Linguistics

Hornstein, Norbert;Lasnik, Howard;Patel-Grosz, Pritty;Yang, Charles

Compilers: Principles, Techniques, Tools

Alfred Aho,Monica Lam,Ravi Sethi,Jeffrey Ullman

Environmental Systems Studies: A Macroscope for Understanding and Operating Spaceship Earth

Hidefumi Imura (auth.)

Operating System Concepts, 6th Edition

Abraham Silberschatz,Peter B. Galvin,Greg Gagne,A Silberschatz

Introduction to Automata Theory, Languages, and Computation Solutions

John Hopcroft, Rajeev Motwani, Jeffrey Ullman

Foundations of Systems Biology: Using Cell Illustrator® and Pathway Databases

Masao Nagasaki,Ayumu Saito,Atsushi Doi,Hiroshi Matsuno,Satoru Miyano (auth.)

Distributed operating systems : concepts and practice.

Galli,Doreen L.

Windows System Programming (4th Edition) (Addison-Wesley Microsoft Technology Series)

Johnson M. Hart

Monotone Operators in Banach Space and Nonlinear partial differential equation

R. E. Showalter

Grokking Streaming Systems: Real-time event processing

Josh Fischer,Ning Wang

Information Processing Letters

Steffen Lange; Sandra Zilles

Deep Structure, Singularities, and Computer Vision: First International Workshop, DSSCV 2005, Maastricht, The Netherlands, June 9-10, 2005, Revised Selected Papers

Jan J. Koenderink,Andrea van Doorn (auth.),Ole Fogh Olsen,Luc Florack,Arjan Kuijper (eds.)

ITIL Foundation 4 edition

Axelos

Computer Algebra in Scientific Computing: 12th International Workshop, CASC 2010, Tsakhkadzor, Armenia, September 6-12, 2010. Proceedings

Sergey Abrahamyan (auth.),Vladimir P. Gerdt,Wolfram Koepf,Ernst W. Mayr,Evgenii V. Vorozhtsov (eds.)

Active, Real-Time, and Temporal Database Systems: Second International Workshop, ARTDB-97 Como, Italy, September 8–9, 1997 Proceedings

Joakim Eriksson (auth.),Sten F. Andler,Jörgen Hansson (eds.)

CONCUR 2002 — Concurrency Theory: 13th International Conference Brno, Czech Republic, August 20–23, 2002 Proceedings

Wan Fokkink,Natalia Ioustinova,Ernst Kesseler,Jaco van de Pol,Yaroslav S. Usenko (auth.),Luboš Brim,Mojmír Křetínský,Antonín Kučera,Petr Jančar (eds.)

Principles of Model Checking

Christel Baier,Joost-Pieter Katoen,Kim Guldstrand Larsen

Low-level programming C, assembly, and program execution on Intel 64 architecture

Zhirkov,Igor

Engineering Stochastic Local Search Algorithms. Designing, Implementing and Analyzing Effective Heuristics: Second International Workshop, SLS 2009, Brussels, Belgium, September 3-4, 2009. Proceedings

Bertrand Estellon,Frédéric Gardi,Karim Nouioua (auth.),Thomas Stützle,Mauro Birattari,Holger H. Hoos (eds.)

The Cartography of Chinese Syntax: The Cartography of Syntactic Structures, Volume 11

Wei-Tien Dylan Tsai

High Performance Parallelism Pearls Volume One: Multicore and Many-core Programming Approaches

James Reinders,James Jeffers

Instructor's Manual for Operating System Concepts

Abraham Silberschatz,Peter Baer Galvin,Greg Gagne

it - Information Technology

Kloppmann, Matthias; König, Dieter; Leymann, Frank; Pfau, Gerhard; Roller, Dieter

Fundamentals of Modern VLSI Devices, Second Edition [2nd Ed] (Instructor Solution Manual, Solutions)

Yuan Taur

Time and Relational Theory : Temporal Databases in the Relational Model and SQL

C J Date;Hugh Darwen;Nikos Lorentzos

Machines, Computations, and Universality: 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings

Andrew Adamatzky (auth.),Jérôme Durand-Lose,Maurice Margenstern (eds.)

Global Optimization with Non-Convex Constraints: Sequential and Parallel Algorithms

Roman G. Strongin,Yaroslav D. Sergeyev (auth.)