Saturday, August 17, 2013

Databases & Information Retrieval Books

Concurrency Control and Recovery in Database Systems
by Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman, 1987, 370 pages, 22MB
Data-Intensive Text Processing with MapReduce
by Jimmy Lin, Chris Dyer, 2010, 175 pp, 1.7MB, PDF
Data Mining Algorithms In R
Wikibooks, 2010
Data Modeling Techniques for Data Warehousing
by Chuck Ballard, et al., 1998, 216 pages, 1.3MB, PDF
Data Storage
edited by Florin Balasa, 2010, 240 pages, 5.6MB, PDF
Database Fundamentals
by Neeraj Sharma, at al. 2010, 282 pages, 5.1MB, PDF
Foundations of Databases
by Serge Abiteboul, Richard Hull, Victor Vianu, 1994, 678 pp, 3MB, PDF
Information Retrieval
by C. J. van Rijsbergen, 1979, 224 pages, PDF
Information Retrieval: A Survey
by Ed Greengrass, 2000, 224 pages, 1.1MB, PDF
Information Retrieval Interaction
by Peter Ingwersen, 2002, 256 pages, 3.5MB, PDF
Introduction to Information Retrieval
by C. D. Manning, P. Raghavan, H. Schuetze, 2008, 496 pages, 6.3MB, PDF
An Introduction to Relational Database Theory
by Hugh Darwen, 2009, 231 pages, 4.8MB, PDF
Natural Language Interfaces to Databases: An Introduction
by I. Androutsopoulos, G. D. Ritchie, P. Thanisch, 1995, 50 pages, 450KB, PDF
Theory and Applications for Advanced Text Mining
edited by Shigeaki Sakurai, 2012, 218 pp, 10MB, PDF
The Theory of Relational Databases
by David Maier, 1983, PDF

Concurrent, Parallel & Distributed Systems Books

Applied Parallel Computing
by Alan Edelman, 2005, 187 pages, 4.3MB, PDF
Computer Networks: Performance and Quality of Service
by Ivan Marsic, 2010, 510 pages, 13MB, PDF
Designing and Building Parallel Programs
by Ian Foster, 1995
Distributed Detection and Estimation in Wireless Sensor Networks
by Sergio Barbarossa, Stefania Sardellitti, Paolo Di Lorenzo, 2013, 92 pp, 960KB, PDF
A Framework for Enabling Distributed Applications on the Internet
by Mark Anthony McLaughlin, 2006, 133 pages, 1.1MB, PDF
How to Write Parallel Programs: A First Course
by Nicholas Carriero, David Gelernter, 1992, 97 pp, 18MB, PDF
An introduction to one-way quantum computing in distributed architectures
by Earl T. Campbell, Joseph Fitzsimons, 2009, 42 pages, 840KB, PDF
Introduction to Parallel Computing
by Blaise Barney, 2010
Multiprocessor Scheduling, Theory and Applications
edited by Eugene Levner, 2007, 436 pages, 4.7MB, PDF
Parallel Computing: Architectures, Algorithms and Applications
edited by C. Bischof, at al. 2007
Parallel Programming with Microsoft Visual C++
by Colin Campbell, Ade Miller, 2011
Petri Net, Theory and Applications
edited by Vedran Kordic, 2008, 534 pages, 9.2MB, PDF
Parallel and Distributed Computation: Numerical Methods
by Dimitri P. Bertsekas, John Tsitsiklis, PDF
Parallel Complexity Theory
by Ian Parberry, 1987, 212 pp, 8.6MB, PDF
Parallel Computing Works!
by G.C. Fox, R.D. Williams, P.C. Messina, 1994
Petri Nets: Manufacturing and Computer Science
edited by Pawel Pawlewski, 2012, 492 pp, 8.8MB, PDF
Programming on Parallel Machines
by Norm Matloff, 2012, 410 pp, 2.5MB, PDF
PVM: Parallel Virtual Machine
by Al Geist, at al. 1994
Vector Models for Data-Parallel Computing
by Guy Blelloch, 1990, 268 pages, 1.3MB, PDF

Thursday, August 15, 2013

Programming Language Theory Books

Applicative Computing: Its quarks, atoms and molecules
by V. E. Wolfengagen, 2010
The Art of Computer Programming, Volume 4
by Donald E. Knuth, 2006, PDF/PS
Category Theory and Functional Programming
by Mikael Vejdemo-Johansson, 2012, 99 pp, 410KB, PDF
Certified Programming with Dependent Types
by Adam Chlipala, 2011, 371 pp, 3.9MB, PDF
Common LISP: A Gentle Introduction to Symbolic Computation
by David S. Touretzky, 1990, 587 pages, 1.1MB, PDF
Comparative Studies of Programming Languages
by Joey Paquet, Serguei A. Mokhov, 2010, 66 pages, 1.2MB, PDF
Compiler Construction
Wikibooks, 2011
Compiler Design: Theory, Tools, and Examples
by Seth D. Bergmann, 2010, 284 pp, 880KB, PDF
Compilers and Compiler Generators
by P.D. Terry, 1996
Computational Category Theory
by D.E. Rydeheard, R.M. Burstall, 2001, 263 pages, 0.9MB, PDF
Concrete Abstractions: An Introduction to Computer Science Using Scheme
by Max Hailperin, Barbara Kaiser, Karl Knight, 1998, 670 pages, 2.5MB, PDF
The Design of Functional Programs - A Calculational Approach
by Dr. Robert Richard Hoogerwoord, 1989, 228 pages, 4.4MB, PDF
Formal Language Theory for Natural Language Processing
by Shuly Wintner, 2001, 52 pp, 320KB, PDF
Formal Languages
by Keijo Ruohonen, 2009, 98 pp, 1MB, PDF
Foundations of Computer Science
by Lawrence C Paulson, 2000, 155 pages, 0.5MB, PDF
Galois Connections and Fixed Point Calculus
by Roland Backhouse, 2001, 105 pages, 0.5MB, PDF
Homotopy Type Theory
by Peter Aczel, et al., 2013, 599 pp, 3.2MB, PDF
How to think like a Computer Scientist (C++ Version)
by Allen B. Downey, 1999, 189 pages, 800KB, PDF
Implementing Functional Languages: a tutorial
by Simon Peyton Jones, David Lester, 2000, 296 pages
Implementing Programming Languages
by Aarne Ranta, 2012, 133 pp, 710KB, PDF
Inductive Logic Programming: Techniques and Applications
by Nada Lavrac, Saso Dzeroski, 1994, 400 pages, 1.1MB, ZIP/PDF
Introduction to Computing: Explorations in Language, Logic, and Machines
by David Evans, 2009, 298 pages, 35MB, PDF
Introduction to Type Theory
by Herman Geuvers, 2011, 57 pages, 350KB, PDF
Languages and Machines
by C. D. H. Cooper, 2008, PDF
Lectures on the Curry-Howard Isomorphism
by Morten Heine B. Sorensen, Pawel Urzyczyn, 2006, 273 pages, 1.3MB, PDF
Linkers and Loaders
by John R. Levine, 1999, 256 pp, multiple formats
Logic and Proof
by Lawrence C Paulson, 2002, 79 pages, 290KB, PDF
Logic, Programming and Prolog
by Ulf Nilsson, Jan Mauszynski, 1995, 296 pages, 1.9MB, PDF
Natural Language Interfaces to Databases: An Introduction
by I. Androutsopoulos, G. D. Ritchie, P. Thanisch, 1995, 50 pages, 450KB, PDF
Natural Language Processing in Prolog
by Gerald Gazdar and Chris Mellish, 1989
Notes on Computational Linguistics
by Edward Stabler, 2003, PDF
Partial Evaluation and Automatic Program Generation
by Neil D. Jones, Carsten K. Gomard, Peter Sestoft, 1993, 400 pages, 1.7MB, PDF
Proofs and Types
by Jean-Yves Girard, Yves Lafont, Paul Taylor, 1989
Semantics: Advances in Theories and Mathematical Models
by Muhammad Tanvir Afzal (ed.), 2012, 284 pp, 4.6MB, PDF
Semantics of Programming Languages
by Andrew M. Pitts, 2002, 97 pp, 480KB, PDF
Semantics With Applications: A Formal Introduction
by Hanne Riis Nielson, Flemming Nielson, 1992, 250 pages, 1.2MB, PDF
The Theory of Languages and Computation
by Jean Gallier, Andrew Hicks, 2006, 109 pp, 950KB, PDF
Universal Algebra for Computer Science
by Eric G. Wagner, 2006

Algorithms & Data Structures Books

Advances in Evolutionary Algorithms
by Witold Kosinski, 2008, 284 pages, 40MB, PDF
Advances in Genetic Programming, Vol. 3
edited by L. Spector, W.B. Langdon, U. O'Reilly, P.J. Angeline, 1999, PDF
Algorithmic Algebra
by Bhubaneswar Mishra, 1993, 425 pages, 2.3MB, PDF
Algorithmic Graph Theory
by David Joyner, Minh Van Nguyen, Nathann Cohen, 2010, 105 pages, 760KB, PDF
Algorithmic Information Theory
by Gregory. J. Chaitin, 2003, 236 pages, 0.9MB, PDF
Algorithmic Mathematics
by Leonard Soicher, Franco Vivaldi, 2004, 94 pages, 0.5MB, PDF/PS
Algorithmic Number Theory
by J.P. Buhler, P. Stevenhagen, 2008, 662 pages, PDF
Algorithms
by Robert Sedgewick, Kevin Wayne, 2011
Algorithms
by S. Dasgupta, C. H. Papadimitriou, and U. V. Vazirani, 2006, 336 pages, 2MB, PDF
Algorithms and Data Structures
by Niklaus Wirth, 1985, 179 pages, 1.2MB, PDF
by Jeffrey Scott Vitter, 2008, 191 pages, 1.1MB, PDF
Algorithms and Data Structures: The Basic Toolbox
by K. Mehlhorn, P. Sanders, 2008, PDF
Algorithms for Clustering Data
by Anil K. Jain, Richard C. Dubes, 1988, 334 pages, 39MB, PDF
Algorithms for Modular Elliptic Curves
by J. E. Cremona, 1992, 351 pages, PDF
Algorithms: Fundamental Techniques
by Macneil Shonle, Matthew Wilson, Martin Krischik, 2006, 68 pages, 1.2MB, PDF
Art Gallery Theorems and Algorithms
by Joseph O'Rourke, 1987, 296 pages, 11MB, PDF
Average Case Analysis of Algorithms on Sequences
by Wojciech Szpankowski, 2000, PS
Behavior of Algorithms
by Daniel Spielman, 2002, PDF
Categories, Types, and Structures
by Andrea Asperti, Giuseppe Longo, 1991, 300 pages, PDF
Clever Algorithms: Nature-Inspired Programming Recipes
by Jason Brownlee, 2011, 436 pages, 3MB, PDF
Combinatorial Algorithms
by Albert Nijenhuis, Herbert S. Wilf, 1978, 316 pages, 5.5MB, PDF
Combinatorial Algorithms
by Jeff Erickson, 2003, 197 pages, 1.9MB, PDF
Computational Geometry: Methods and Applications
by Jianer Chen, 1996, 227 pages, 1.3MB, PDF
Data Structures
by Dave Mount, 2001, 123 pages, 730 KB, PDF
Data Structures and Algorithm Analysis
by Clifford A. Shaffer, 2012, 613 pp, 2.6MB, PDF
Data Structures and Algorithms
by John Morris, 1998
Design and Analysis of Computer Algorithms
by David M. Mount, 2003, 135 pages, 0.8MB, PDF
The Design of Approximation Algorithms
by D. P. Williamson, D. B. Shmoys, 2010, 496 pages, 2.3MB, PDF
Efficient Algorithms for Sorting and Synchronization
by Andrew Tridgell, 1999, 115 pages, 410KB, PDF
Essentials of Metaheuristics
by Sean Luke, 2009, 233 pages, 5.3MB, PDF
Evolutionary Algorithms
edited by Eisuke Kita, 2011, 584 pages, 30MB, PDF
Evolved to Win
by Moshe Sipper, 2011, 193 pp, 1.9MB, PDF
Genetic Programming: New Approaches and Successful Applications
edited by Sebastian Ventura, 2012, 284 pp, 6.5MB, PDF
Greedy Algorithms
by Witold Bednorz, 2008, 586 pages, 47MB, PDF
Introduction to Algorithms
by Erik Demaine, Srinivas Devadas, Ronald Rivest, 2008, PDF
Knapsack Problems: Algorithms and Computer Implementations
by Silvano Martello, Paolo Toth, 1990, 308 pages, 23MB, PDF
Lecture Notes on Bucket Algorithms
by Luc Devroye, 1986, 142 pages, 4MB, PDF
Mathematics for Algorithm and Systems Analysis
by Edward A. Bender, S. Gill Williamson, 2005, 256 pages, PDF
Modern Computer Arithmetic
by Richard P. Brent, Paul Zimmermann, 2009, 239 pages, 1.9MB, PDF
Optimization Algorithms on Matrix Manifolds
by P.-A. Absil, R. Mahony, R. Sepulchre, 2007, 240 pages, PDF
Planning Algorithms
by Steven M. LaValle, 2006, 842 pages, 13.2MB, PDF
Problems on Algorithms, 2nd edition
by Ian Parberry, William Gasarch, 2002, 268 pages, 2.4MB, PDF
Quantum Algorithms
by Michele Mosca, 2008, 71 pages, PDF/PS
Quantum algorithms for algebraic problems
by Andrew M. Childs, Wim van Dam, 2008, 52 pages, PDF/PS
Randomized Algorithms
by Wolfgang Merkle, 2001, 46 pp, 370KB, PDF
Search Algorithms and Applications
edited by Nashat Mansour, 2011, 494 pages, 18MB, PDF
Sorting and Searching Algorithms: A Cookbook
by Thomas Niemann, 2008, 36 pages, 150KB, PDF

Theory of Computation Books

Advanced Complexity Theory
by Daniel Spielman, 2001, PDF
Algorithmic Randomness and Complexity
by R. G. Downey, D. R. Hirschfeldt, 2010, 629 pages, 4MB, PDF
Bayesian Computational Methods
by Christian P. Robert, 2010, 59 pp, 3.7MB, PDF
Cellular Automata
edited by S. Bandini, B. Chopard, M. Tomassini, 2002, 379 pp, 8.3MB, PDF
Cellular Automata
Wikibooks, 2010
Cellular Automata: Simplicity Behind Complexity
edited by Alejandro Salcido, 2011, 566 pages, 31MB, PDF
Combinatorial Optimization: Exact and Approximate Algorithms
by Luca Trevisan, 2011, 139 pages, 830KB, PDF
Communication Complexity
by Domotor Palvolgyi, 2005, 39 pages, 380KB, PDF
Complexity
by Rajesh R. Parwani, 2002
Complexity Theory by Johan Hastad, 2008, 130 pages, 0.7MB, PDF
Computability and Complexity from a Programming Perspective
by Neil D. Jones, 1997, 485 pages, 1.7MB, PDF
Computability and Randomness
by Andre Nies, 2008, 447 pages, 2.6MB, PDF
Computability Theory
by Wilfried Sieg, 2006, 125 pp, 1.9MB, PDF
Computational Complexity: A Modern Approach
by Sanjeev Arora, Boaz Barak, 2008, 489 pages, 4.4MB, PDF
Computational Modeling and Complexity Science
by Allen Downey, 2008, 97 pages, 1.4MB, PDF
From Complexity to Creativity
by Ben Goertzel, 1996
From Philosophy to Program Size
by G. J. Chaitin, 2003, 54 pages, PS/PDF
Handbook of Quantum Information
Quantiki, 2013, online html
Introduction to Complexity Theory
by Oded Goldreich, 1999, 375 pages, 2.3MB, PDF
Introduction to Computational Complexity
by Martin Tompa, 1991, 85 pages, 1MB, PDF
Introduction to Quantum Algorithms for Physics and Chemistry
by Man-Hong Yung, et al. 2012, 44 pp, 2MB, PDF
Introduction to Quantum Cellular Automata
by B. Aoun, M. Tarifi, 2004, 46 pages, 330KB, PDF
An Introduction to Quantum Computing using Cavity QED concepts
by Zachary Burell, 2012, 53 pp, 260KB, PDF
An Introduction to the Theory of Computation
by Eitan Gurari, 1989, 314 pages, 3.2MB, ZIP/HTML
Lecture Notes on Computational Complexity
by Luca Trevisan, 2004, 171 pages, 0.9MB, PDF
Logic for Computer Scientists
by Uli Furbach, 2010
Mathematical Foundations of Automata Theory
by Jean-Eric Pin, 2012, 310 pp, 1.9MB, PDF
Notes on Automata, Logics, Games and Algebra
by K Narayan Kumar, 2007, PDF
P, NP, and NP-Completeness: The Basics of Complexity Theory
by Oded Goldreich, 2010, 190pp, 1.9MB, PS
Physics, Topology, Logic and Computation: A Rosetta Stone
by John C. Baez, Mike Stay, 2009, 73 pages, 780KB, PDF
Quantum Computation
by John Watrous, 2006, 139 pages, 660KB, PDF
Quantum Walks: A Comprehensive Review
by Salvador E. Venegas-Andraca, 2012, 88 pp, 1.5MB, PDF
Recursion Theory
by Frank Stephan, 2009, 125 pp, 610KB, PDF
Rule-based Computation and Deduction
by Helene Kirchner, Pierre-Etienne Moreau, 2001, 100 pp, 870KB, PDF
Think Complexity: Complexity Science and Computational Modeling
by Allen B. Downey, 2012, 146 pp, 1.2MB, PDF
Tree Automata Techniques and Applications
by H. Comon, M. Dauchet, R. Gilleron, 2008, 262 pages, 2MB, PDF