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

Future Generation Computer Systems

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

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

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

Principles Of Modern Operating Systems

Jose M Garrido,Richard Schlesinger,Kenneth Hoganson

Engineering a Compiler (book draft)

Keith Cooper,Linda Torczon

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

Understanding language structure, interaction, and variation: an introduction to applied linguistics and sociolinguistics for nonspecialists

Steven Brown,Salvatore Attardo

Algorithms for Convex Optimization

Nisheeth K. Vishnoi

Modern Operating Systems (2nd Edition) (GOAL Series)

Andrew S. Tanenbaum

Getting Started with LLVM Core Libraries: Get to grips with LLVM essentials and use the core libraries to build advanced tools

Bruno Cardoso Lopes,Rafael Auler

C# 13 and .NET 9 – Modern Cross-Platform Development Fundamentals,9th Edition (Final Release)

Mark J. Price

Second Wave Positive Psychology: Embracing the Dark Side of Life

Itai Ivtzan,Tim Lomas,Kate Hefferon,Piers Worth

Brain-Computer Interfaces 2: Technology and Applications

Maureen Clerc,Laurent Bougrain,Fabien Lotte

Science of Computer Programming

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

Sources and Detection of Dark Matter and Dark Energy in the Universe: Fourth International Symposium Held at Marina del Rey, CA, USA February 23–25, 2000

Joel R. Primack (auth.),David B. Cline (eds.)

Laboratory of Comparative Human Cognition Cognition as Residual Category in Anthropology

Code: The Hidden Language of Computer Hardware and Software

Charles Petzold

The Cluster Active Archive: Studying the Earth's Space Plasma Environment

H. Laakso,C. Perry,S. McCaffrey,D. Herment,A. J. Allen,C. C. Harvey (auth.),Harri Laakso,Matthew Taylor,C. Philippe Escoubet (eds.)

International Encyclopedia of Robotics: Applications and Automation, Volume 3

Information Systems Research

Ramayya Krishnan, James Peters, Rema Padman and David Kaplan

CUDA by Example: An Introduction to General-Purpose GPU Programming

Jason Sanders,Edward Kandrot

IEEE Software

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

Mastering Linux Kernel Development

Raghu Bharadwaj

Modern operating systems

Andrew S. Tanenbaum

Computer Organization and Design, Fifth Edition: The Hardware-Software Interface

David A. Patterson,John L. Hennessy

Python Data Science Handbook. Essential Tools for Working with Data

Jake VanderPlas

Fundamentals of Computation Theory: 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings

Ahmed Bouajjani,Peter Habermehl,Yan Jurski,Mihaela Sighireanu (auth.),Erzsébet Csuhaj-Varjú,Zoltán Ésik (eds.)

Journal of Parallel and Distributed Computing

Jik-Soo Kim; Henrique Andrade; Alan Sussman

Database Systems

Paul Beynon-Davies

Introduction to Reliable and Secure Distributed Programming

Christian Cachin,Rachid Guerraoui,Luís Rodrigues (auth.)

The Open Group Architecture Framework TOGAF: 2007 Edition (Incorporating 8.1.1)

Group,The Open

Modern Operating Systems, 3rd Edition (GOAL Series)

Andrew S. Tanenbaum

Windows Internals, Part 2

Mark E. Russinovich,David A. Solomon,Alex Ionescu

Windows NT File System Internals: A Developer's Guide

Rajeev Nagar

Mapping Spatial PPs: The Cartography of Syntactic Structures, Volume 6 (Oxford Studies in Comparative Syntax)

Guglielmo Cinque,Luigi Rizzi

Topological methods, variational methods and their applications : ICM 2002 Satellite Conference on Nonlinear Functional Analysis, Taiyuan, Shan Xi, P.R. China, August 14 - 18, 2002

Brezis H.,Chang K.C.,Li S.J.,Rabinowitz P. (eds.)

Introduction to Automata Theory, Languages, and Computation Solutions

John Hopcroft, Rajeev Motwani, Jeffrey Ullman

Information Systems Research

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