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

Future Generation Computer Systems

Yu, Min; Jiang, Jianguo; Li, Gang; Lou, Chenzhe; Liu, Yunzheng; Liu, Chao; Huang, Weiqing

Compilers: Pearson New International Edition: Principles, Techniques, and Tools

A.V. Aho,Monica S Lam,R. Sethi,Jeffrey D. Ullman

Computer Algebra in Scientific Computing CASC’99: Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, Munich, May 31 – June 4, 1999

Gerd Baumann (auth.),Victor G. Ganzha,Ernst W. Mayr,Evgenii V. Vorozhtsov (eds.)

Report (Stanford University. Computer Science Department), no. STAN-CS-89-1267

Rajeev Alur; T A Henzinger; Stanford University. Computer Science Department

Computer science handbook

Allen B. Tucker

Computer Algebra in Scientific Computing: 16th International Workshop, CASC 2014, Warsaw, Poland, September 8-12, 2014. Proceedings

Vladimir P. Gerdt,Wolfram Koepf,Werner M. Seiler,Evgenii V. Vorozhtsov (eds.)

The Implementation of Functional Programming Languages

Simon L. Peyton Jones

Science of Computer Programming

Arbab, Farhad; Sirjani, Marjan

Comparative Cognition: Experimental Explorations of Animal Intelligence

Edward A. Wasserman,Thomas R. Zentall

Computers and Intractability: A Guide to the Theory of NP-Completeness

Michael R. Garey,David S. Johnson

Understanding Operating Systems , Sixth Edition

Ann McIver McHoes,Ida M. Flynn

Principles of Computer System Design: An Introduction

Jerome H. Saltzer,M. Frans Kaashoek

Second Wave Positive Psychology: Embracing the Dark Side of Life

Itai Ivtzan,Tim Lomas,Kate Hefferon,Piers Worth

Quantitative Theory of the Influence Electrostatic Generator

Simon A.W.

Science of Computer Programming

Hojjat, Hossein (author);Massink, Mieke (author)

The Identification of Dark Matter: Proceedings of the 6th International Workshop, Rhodes, Greece, 11-16 September 2006

Minos Axenides,George Fanourakis,John Vergados

IEEE Transactions on Visualization and Computer Graphics

Lu, Wei-Li; Wang, Yu-Shuen; Lin, Wen-Chieh

Code: The Hidden Language of Computer Hardware and Software

Charles Petzold

Operating System Design: The Xinu Approach

Comer,Douglas

Data Analysis and Optimization for Engineering and Computing Problems: Proceedings of the 3rd EAI International Conference on Computer Science and Engineering and Health Services

Pandian Vasant,Igor Litvinchev,Jose Antonio Marmolejo-Saucedo,Roman Rodriguez-Aguilar,Felix Martinez-Rios

International Encyclopedia of Robotics: Applications and Automation, Volume 3

Introduction to Embedded Systems - A Cyber-Physical Systems Approach

E. A. LeeandS. A. Seshia

Information Systems Research

Ramayya Krishnan, James Peters, Rema Padman and David Kaplan

IEEE Software

Siqueira, Rodrigo; Camarinha, Diego; Wen, Melissa; Meirelles, Paulo; Kon, Fabio

Journal of Parallel and Distributed Computing

Jik-Soo Kim; Henrique Andrade; Alan Sussman

Understanding Ethics in Applied Behavior Analysis: Practical Applications

Ann B Beirne;Jacob A Sadavoy

The Structure of CP and IP: The Cartography of Syntactic Structures Volume 2

Luigi Rizzi

Relation of Preferential Motion and of the Spectral-Class and Magnitude Velocity Progressions to Pro

Perrine C. D.

IEEE Transactions on Parallel and Distributed Systems

Gonzalez, T.F.

Particle Astrophysics

D. H. Perkins

Database Systems Concepts with Oracle CD

Abraham Silberschatz,Henry F. Korth,S. Sudarshan

Microsoft Windows Internals

Mark E. Russinovich,David A. Solomon

Introduction to Automata Theory, Languages, and Computation Solutions

John Hopcroft, Rajeev Motwani, Jeffrey Ullman

Information Systems Research

Bai, Xue; Nunez, Manuel; Kalagnanam, Jayant R.

Mapping the Left Periphery: The Cartography of Syntactic Structures, Volume 5

Paola Beninca,Nicola Munaro

Pro .NET Memory Management: For Better Code, Performance, and Scalability

Konrad Kokosa

Digital Logic Design and Computer Organization with Computer Architecture for Security

Nikrouz Faroughi

Linux Kernel Development, 3rd Edition: A thorough guide to the design and implementation of the Linux kernel

Robert Love

Intonation Units in Japanese Conversation: Syntactic, Informational, and Functional Structures (Studies in Language Companion Series)

Kazuko Matsumoto

Elements of the Theory of Computation (2nd Edition)

Harry Lewis,Christos H. Papadimitriou