This is the updated list of Computer Science books available for free download or online reading.
These books, papers and lecture notes cover theory of computation, algorithms, data structures, artificial intelligence, databases, information retrieval, coding theory, information science, programming language theory, cryptography, and much more.
The books are made available free of charge to the reader by their authors or publishers.
Here is a categorized directory of Computer Science books. This page is updated daily.
-
Compiler Design: Theory, Tools, and Examples
Seth D. Bergmann | Rowan University, Published in 2010, 284 pages
-
Algorithms for Clustering Data
Anil K. Jain, Richard C. Dubes | Prentice Hall, Published in 1988, 334 pages
-
Introduction to Imaging
Howard Besser | Getty Research Institute, Published in 2003, 97 pages
-
Planning Algorithms
Steven M. LaValle | Cambridge University Press, Published in 2006, 842 pages
-
Rethinking Public Key Infrastructures and Digital Certificates
Stefan A. Brands | The MIT Press, Published in 2000, 356 pages
-
Object Detection in Real Images
Dilip K. Prasad | arXiv, Published in 2013, 123 pages
-
Database Explorations
C.J. Date, Hugh Darwen | , Published in 2013, 544 pages
-
Database Systems and Structures
Osmar R. Zaiane | Simon Fraser University, Published in 1998
-
Data Mining and Knowledge Discovery in Real Life Applications
Julio Ponce, Adem Karahoca | InTech, Published in 2009, 464 pages
-
Computability Theory
Wilfried Sieg | Carnegie Mellon University, Published in 2006, 125 pages
-
Concurrent Programming in Erlang
Robert Virding, Claes Wikstrom, Mike Williams | Prentice Hall PTR, Published in 1996, 205 pages
-
Intelligent Vision Systems for Industry
Bruce G. Batchelor | Springer-Verlag, Published in 2002, 473 pages
-
Dictionary of Programming Languages
Neal Ziring | , Published in 1998
-
Human Robot Interaction
Nilanjan Sarkar | InTech, Published in 2007, 522 pages
-
Introduction to Computing: Explorations in Language, Logic, and Machines
David Evans | University of Virginia, Published in 2009, 298 pages
-
A primer on information theory, with applications to neuroscience
Felix Effenberger | arXiv, Published in 2013, 58 pages
-
Measures and Applications of Quantum Correlations
G. Adesso, T.R. Bromley, M. Cianciaruso | arXiv, Published in 2016, 75 pages
-
Logic and Information
Keith Devlin | ESSLLI, Published in 2001
-
Handbook of Information Security Management
Micki Krause, Harold F. Tipton | Auerbach Publications, Published in 1997, 752 pages
-
Language Translation Using PCCTS and C++
Terence John Parr | Automata Publishing Company, Published in 1993, 310 pages
-
Programming Languages: Theory and Practice
Robert Harper | Carnegie Mellon University, Published in 2005, 277 pages
-
Artificial Neural Networks: Architectures and Applications
Kenji Suzuki (ed.) | InTech, Published in 2013, 256 pages
-
The Design of Approximation Algorithms
D. P. Williamson, D. B. Shmoys | Cambridge University Press, Published in 2010, 496 pages
-
Information Theory, Inference, and Learning Algorithms
David J. C. MacKay | Cambridge University Press, Published in 2003, 640 pages
-
An introduction to Cryptography
Phil Zimmermann | , Published in 1998, 80 pages
-
Computability, Unsolvability, Randomness
Stephen G. Simpson | The Pennsylvania State University, Published in 2009, 151 pages
-
Semantics With Applications: A Formal Introduction
Hanne Riis Nielson, Flemming Nielson | John Wiley & Sons, Published in 1992, 250 pages
-
Best of Both Worlds: Museums, Libraries, and Archives in a Digital Age
G. Wayne Clough | Smithsonian Books, Published in 2013, 77 pages
-
Linked Data: Evolving the Web into a Global Data Space
Tom Heath, Christian Bizer | Morgan & Claypool, Published in 2011
-
Nature of Geographic Information
David DiBiase | BCcampus, Published in 2014, 261 pages
-
Motion Planning
Xing-Jian Jing | InTech, Published in 2008, 598 pages
-
Let's Build a Compiler
Jack Crenshaw | , Published in 1995, 277 pages
-
Quantum Information and Computation
John Preskill | California Institute of Technology, Published in 1998, 481 pages
-
Introduction to Parallel Computing
Blaise Barney | Lawrence Livermore National Laboratory, Published in 2010, 187 pages
-
Professor Frisby's Mostly Adequate Guide to Functional Programming
| GitBook, Published in 2015, 70 pages
-
Lecture Notes on Bucket Algorithms
Luc Devroye | Birkhauser, Published in 1986, 142 pages
-
Case Studies in Systematic Software Development
Cliff B. Jones and Robert C. F. Shaw | Prentice Hall, Published in 1990, 405 pages
-
Introduction to Type Theory
Herman Geuvers | Radboud University Nijmegen, Published in 2011, 57 pages
-
Speech Technologies
Ivo Ipsic | InTech, Published in 2011, 432 pages
-
Data Science at the Command Line
Jeroen Janssens | O'Reilly Media, Published in 2018, 219 pages
-
Algorithms for Modular Elliptic Curves
J. E. Cremona | Cambridge University Press, Published in 1992, 351 pages
-
Data Mining Desktop Survival Guide
Graham Williams | Togaware Pty Ltd, Published in 2004
-
An Introduction to Quantum Computing using Cavity QED concepts
Zachary Burell | arXiv, Published in 2012, 53 pages
-
The Nature of Code: Simulating Natural Systems with Processing
Daniel Shiffman | The Nature of Code, Published in 2012, 520 pages
-
Neural Networks and Deep Learning
Michael Nielsen | , Published in 2014, 235 pages
-
Foundations of Computer Science
Lawrence C Paulson | University of Cambridge, Published in 2000, 155 pages
-
Reinforcement Learning and Optimal Control
Dimitri P. Bertsekas | Athena Scientific, Published in 2019, 276 pages
-
Probabilistic Models in the Study of Language
Roger Levy | University of California, San Diego, Published in 2012, 274 pages
-
Machine Learning for Designers
Patrick Hebron | O'Reilly Media, Published in 2016, 79 pages
-
Write You a Haskell: Building a modern functional compiler from first principles
Stephen Diehl | StephenDiehl.com, Published in 2015, 246 pages
-
Swarm Robotics: From Biology to Robotics
Ester Martinez Martin | InTech, Published in 2010, 110 pages
-
An Introduction to Computer Security: The NIST Handbook
National Institute of Standards and Technology | , Published in 2006, 296 pages
-
Cryptography and Data Security
Dorothy Elizabeth Robling Denning | Addison-Wesley, Published in 1982, 419 pages
-
Intuitionistic Type Theory
Per Martin-Loef | , Published in 1980, 57 pages
-
Information Systems Foundations: Constructing and Criticising
Dennis Hart, Shirley Gregor | ANU E Press, Published in 2005, 234 pages
-
Digital Image Processing
Stefan G. Stanciu | InTech, Published in 2012, 200 pages
-
Image Segmentation
Pei-Gee Ho | InTech, Published in 2011, 538 pages
-
Introduction to Reverse Engineering Software
Mike Perry, Nasko Oskov | UIUC, Published in 2004, 211 pages
-
Machine Learning
Abdelhamid Mellouk, Abdennacer Chebira | InTech, Published in 2009, 450 pages
-
Quantum Cryptography
N. Gisin, G. Ribordy, W. Tittel, H. Zbinden | arXiv, Published in 2001, 57 pages
-
Is Parallel Programming Hard, And, If So, What Can You Do About It?
Paul E. McKenney | , Published in 2011, 413 pages
-
Foundations of Computation
Carol Critchlow, David Eck | Hobart and William Smith Colleges, Published in 2011, 256 pages
-
Introduction to Modern Cryptography
Mihir Bellare, Phillip Rogaway | University of California at Davis, Published in 2005, 283 pages
-
JPEG: Idea and Practice
| Wikibooks, Published in 2011
-
How to think like a Computer Scientist (C++ Version)
Allen B. Downey | , Published in 1999, 189 pages
-
SOA eBook: Patterns, Mashups, Governance, Service Modeling, and More
| Pearson e ducation, Inc., Published in 2009, 280 pages
-
Lecture Notes on Computational Complexity
Luca Trevisan | , Published in 2004, 171 pages
-
Artificial Neural Networks
B. Mehlig | arXiv.org, Published in 2019, 206 pages
-
Introduction to Data Science
Jeffrey Stanton | , Published in 2013, 196 pages
-
Invent with Python
Al Sweigart | inventwithpython.com, Published in 2011, 165 pages
-
Elasticsearch: The Definitive Guide
Clinton Gormley, Zachary Tong | O'Reilly, Published in 2015, 724 pages
-
Implementing Programming Languages
Aarne Ranta | , Published in 2012, 133 pages
-
Robust Speech Recognition and Understanding
M. Grimm, K. Kroschel | InTech, Published in 2007, 460 pages
-
Open Data Structures: An Introduction
Pat Morin | AU Press, Published in 2013, 336 pages
-
A Balanced Introduction to Computer Science
David Reed | Prentice Hall, Published in 2004, 400 pages
-
Complexity Theory
Johan Håstad | , Published in 2008, 130 pages
-
Machine Learning for Data Streams
Albert Bifet, et al. | The MIT Press, Published in 2017, 288 pages
-
Cryptography, A Study on Secret Writings
Andre Langie | Aegean Park Press, Published in 1922, 238 pages
-
Cryptography and Security in Computing
Jaydip Sen (ed.) | InTech, Published in 2012, 242 pages
-
Internet Advertising
S. Yuan, A.Z. Abidin, M. Sloan, J. Wang | arXiv, Published in 2012, 44 pages
-
Effective Video Coding for Multimedia Applications
Sudhakar Radhakrishnan | InTech, Published in 2011, 292 pages
-
Software Fault Tolerance
Michael R. Lyu | John Wiley & Sons Ltd., Published in 1995, 354 pages
-
Information Retrieval Interaction
Peter Ingwersen | Taylor Graham Publishing, Published in 2002, 256 pages
-
Managing the Digital Library
Roy Tennant | Reed Press, Published in 2004, 297 pages
-
An Introduction to Many Worlds in Quantum Computation
Clare Hewitt-Horsman | arXiv, Published in 2009, 38 pages
-
Programming Neural Networks with Encog3 in Java
Jeff Heaton | Heaton Research, Published in 2011, 242 pages
-
A Framework for Enabling Distributed Applications on the Internet
Mark Anthony McLaughlin | arXiv, Published in 2006, 133 pages
-
Programming in Standard ML
Robert Harper | Carnegie Mellon University, Published in 2011, 297 pages
-
Deep Learning
Yoshua Bengio, Ian Goodfellow, Aaron Courville | MIT Press, Published in 2014, 274 pages
-
Image Fusion and Its Applications
Yufeng Zheng | InTech, Published in 2011, 242 pages
-
Semantics of Programming Languages
Andrew M. Pitts | University of Cambridge, Published in 2002, 97 pages
-
Jumpstart to Software Quality Assurance
Vishnuvarthanan Moorthy | Smashwords, Published in 2013, 177 pages
-
An Introduction to the Theory of Computation
Eitan Gurari | Computer Science Pr, Published in 1989, 600 pages
-
Semantic Web And Ontology
Dhana Nandini | Bookboon, Published in 2014, 107 pages
-
Computational Linguistics
Igor Boshakov, Alexander Gelbukh | , Published in 2004, 198 pages
-
Deep Learning Tutorial
LISA lab | University of Montreal, Published in 2015, 173 pages
-
Distributed Detection and Estimation in Wireless Sensor Networks
Sergio Barbarossa, Stefania Sardellitti, Paolo Di Lorenzo | arXiv, Published in 2013, 92 pages
-
Introduction to Controlled Vocabularies: Terminologies for Art, Architecture, and Other Cultural Works
Patricia Harpring | Getty Research Institute, Published in 2010, 259 pages
-
Cellular Automata: Simplicity Behind Complexity
Alejandro Salcido | InTech, Published in 2011, 566 pages
-
Digital Image Processing
Huiyu Zhou, Jiahua Wu, Jianguo Zhang | BookBoon, Published in 2010, 424 pages
-
Principles of Geographic Information Systems
O. Huisman, R.A. de By (ed.) | ITC, Published in 2009, 540 pages
-
Complexity Theory: A Modern Approach
Sanjeev Arora, Boaz Barak | Cambridge University Press, Published in 2008, 489 pages
-
Foundations of Cryptography
Oded Goldreich | Cambridge University Press, Published in 2007, 396 pages
-
Security Enhanced Applications for Information Systems
Christos Kalloniatis | InTech, Published in 2012, 224 pages
-
Information Theory, Excess Entropy and Statistical Complexity
David Feldman | College of the Atlantic, Published in 2002, 49 pages
-
The Boundaries of Humanity: Humans, Animals, Machines
J. Sheehan, M. Sosna | University of California Press, Published in 1991, 264 pages
-
Logic and Proof
Lawrence C Paulson | University of Cambridge, Published in 2002, 79 pages
-
Foundations of Databases
Serge Abiteboul, Richard Hull, Victor Vianu | Addison Wesley, Published in 1994, 678 pages
-
Artificial Intelligence and Responsive Optimization
M. Khoshnevisan, S. Bhattacharya, F. Smarandache | Xiquan, Published in 2003, 87 pages
-
The Practice of Parallel Programming
Sergey A. Babkin | CreateSpace, Published in 2010, 422 pages
-
Computational Complexity: A Conceptual Perspective
Oded Goldreich | Cambridge University Press, Published in 2008, 632 pages
-
Topics in History and Comparing Programming Languages
Dennie Van Tassel | Gavilan College, Published in 2014, 203 pages
-
Reinforcement Learning: An Introduction
Richard S. Sutton, Andrew G. Barto | The MIT Press, Published in 2017, 445 pages
-
Data Structures and Algorithms
John Morris | , Published in 1998, 218 pages
-
Natural Language Processing with Python
Steven Bird, Ewan Klein, Edward Loper | O'Reilly Media, Published in 2009, 512 pages
-
A Field Guide to Genetic Programming
R. Poli, W. B. Langdon, N. F. McPhee | Lulu.com, Published in 2008, 252 pages
-
Neural Networks: A Systematic Introduction
Raul Rojas | Springer, Published in 1996, 530 pages
-
Algorithms
Jeff Erickson | University of Illinois at Urbana-Champaign, Published in 2009, 765 pages
-
Programming Languages: Application and Interpretation
Shriram Krishnamurthi | Lulu.com, Published in 2007, 376 pages
-
Machine Interpretation of Line Drawings
Kokichi Sugihara | The MIT Press, Published in 1986, 236 pages
-
Data Structures and Algorithm Analysis in Java
Clifford A. Shaffer | Dover Publications, Published in 2012, 601 pages
-
Problems on Algorithms, 2nd edition
Ian Parberry, William Gasarch | Prentice Hall, Published in 2002, 268 pages
-
Data Structures and Algorithms: Annotated Reference with Examples
Granville Barnett, Luca Del Tongo | DotNetSlackers, Published in 2008, 112 pages
-
Designing and Building Parallel Programs
Ian Foster | Addison Wesley, Published in 1995, 430 pages
-
Swarm Intelligence: Focus on Ant and Particle Swarm Optimization
Felix T.S. Chan, Manoj K. Tiwari | InTech, Published in 2007, 532 pages
-
An Introductory Study on Time Series Modeling and Forecasting
Ratnadip Adhikari, R. K. Agrawal | arXiv, Published in 2013, 67 pages
-
Temporal Database Management
Christian S. Jensen | Aalborg University, Published in 2000, 1323 pages
-
An Introduction to Neural Networks
Ben Krose, Patrick van der Smagt | , Published in 1996, 135 pages
-
Modern Robotics with OpenCV
Widodo Budiharto | Science Publishing Group, Published in 2014, 224 pages
-
Elementary Algorithms
Larry LIU Xinyu | Github, Published in 2016, 622 pages
-
Artificial Neural Networks: Methodological Advances and Biomedical Applications
Kenji Suzuki | InTech, Published in 2011, 362 pages
-
Image Processing in C: Analyzing and Enhancing Digital Images
Dwayne Philipps | R & D Books, Published in 1997, 816 pages
-
Artificial Intelligence and Cognition
Antonio Lieto, Marco Cruciani (eds) | University of Torino, Published in 2013, 145 pages
-
Information and Coding
Karl Petersen | AMS, Published in 2018, 63 pages
-
GRE Computer Science Test Practice Book
| Educational Testing Service, Published in 2001, 54 pages
-
Linkers and Loaders
John R. Levine | Morgan Kaufmann, Published in 1999, 256 pages
-
A Survey of Statistical Network Models
A. Goldenberg, A.X. Zheng, S.E. Fienberg, E.M. Airoldi | arXiv, Published in 2009, 96 pages
-
Simulation with AnyLogic
| Wikibooks, Published in 2010
-
Natural Language Processing for the Working Programmer
Daniël de Kok, Harm Brouwer | , Published in 2011, 78 pages
-
Natural Image Statistics
Aapo Hyvarinen, Jarmo Hurri, Patrik O. Hoyer | Springer, Published in 2009, 487 pages
-
Introduction to Metadata
Tony Gill, at al. | Getty Publications, Published in 2008
-
Inductive Logic Programming: Theory and Methods
Stephen Muggleton, Luc de Raedt | ScienceDirect, Published in 1994, 51 pages
-
Information Systems
Richard T. Watson | Global Text Project, Published in 2007, 308 pages
-
Artificial Intelligence - Agents and Environments
William John Teahan | BookBoon, Published in 2010, 154 pages
-
The Theory of Languages and Computation
Jean Gallier, Andrew Hicks | University of Pennsylvania, Published in 2006, 109 pages
-
Type Theory and Functional Programming
Simon Thompson | Addison-Wesley, Published in 1999, 378 pages
-
Good Digital Hygiene: A guide to staying secure in cyberspace
Ed Gelbstein | Bookboon, Published in 2013, 86 pages
-
Recurrent Neural Networks
Xiaolin Hu, P. Balasubramaniam | InTech, Published in 2008, 400 pages
-
How to Write Parallel Programs: A First Course
Nicholas Carriero, David Gelernter | MIT Press, Published in 1992, 246 pages
-
Fault Detection
Wei Zhang | InTech, Published in 2010, 512 pages
-
Greedy Algorithms
Witold Bednorz | InTech, Published in 2008, 586 pages
-
Understanding Machine Learning: From Theory to Algorithms
Shai Shalev-Shwartz, Shai Ben-David | Cambridge University Press, Published in 2014, 449 pages
-
Computer Vision Metrics: Survey, Taxonomy, and Analysis
Scott Krig | Springer, Published in 2014, 498 pages
-
Mathematical Foundations of Computer Science
Susan Rodger | Duke University, Published in 1998
-
Notes on Computational Linguistics
Edward Stabler | UCLA, Published in 2003
-
Visual Cryptography and Its Applications
Jonathan Weir, WeiQi Yan | BookBoon, Published in 2012, 144 pages
-
Of the Evolution of the Brain
Allessandro Treves, Yasser Roudi | SISSA, Published in 2010, 50 pages
-
A Course in Machine Learning
Hal Daumé III | ciml.info, Published in 2012, 189 pages
-
Software Update as a Mechanism for Resilience and Security
| The National Academies Press, Published in 2017, 97 pages
-
Basic Concepts in Quantum Information
S. M. Girvin | arXiv, Published in 2013, 52 pages
-
Mining of Massive Datasets
Anand Rajaraman, Jeffrey D. Ullman | Stanford University, Published in 2010, 340 pages
-
PVM: Parallel Virtual Machine
Al Geist, at al. | The MIT Press, Published in 1994, 299 pages
-
Internet Informed: Guidance for the Dedicated Searcher
David Novak | The Spire Project, Published in 2007, 334 pages
-
Generalized Information Measures and Their Applications
Inder Jeet Taneja | Universidade Federal de Santa Catarina, Published in 2001
-
Language, Proof and Logic
Jon Barwise, John Etchemendy | Center for the Study of Language, Published in 2011, 620 pages
-
Global Library and Information Science
Ismail Abdullahi (ed.) | De Gruyter Open Ltd, Published in 2009, 592 pages
-
Parallel and Distributed Computation: Numerical Methods
Dimitri P. Bertsekas, John Tsitsiklis | Athena Scientific, Published in 2003
-
A Short Course in Information Theory
David J. C. MacKay | University of Cambridge, Published in 1995
-
Compiler Construction
William M. Waite, Gerhard Goos | Springer, Published in 1996, 372 pages
-
P, NP, and NP-Completeness: The Basics of Complexity Theory
Oded Goldreich | Cambridge University Press, Published in 2010, 190 pages
-
A Rosetta Stone for Quantum Mechanics with an Introduction to Quantum Computation
Samuel J. Lomonaco, jr | arXiv, Published in 2000, 97 pages
-
Introduction to Archival Organization and Description
Susanne R. Warren (ed.) | Oxford University Press, Published in 1998, 68 pages
-
Lectures on the Curry-Howard Isomorphism
Morten Heine B. Sorensen, Pawel Urzyczyn | Elsevier Science, Published in 2006, 273 pages
-
Mathematics for Classical Information Retrieval
Dariush Alimohammadi, Mary K. Bolin | Zea E-Books, Published in 2010, 89 pages
-
Introduction To Machine Learning
Nils J Nilsson | , Published in 1997, 209 pages
-
Deep Learning: Technical Introduction
Thomas Epelbaum | arXiv.org, Published in 2017, 106 pages
-
Natural Language Processing Succinctly
Joseph D. Booth | Syncfusion, Inc., Published in 2018, 93 pages
-
Quantum Information Meets Quantum Matter
Bei Zeng, et al. | Springer, Published in 2015, 349 pages
-
A Gentle Guide to Constraint Logic Programming via ECLiPSe
Antoni Niederlinski | , Published in 2014, 545 pages
-
The Design and Implementation of Probabilistic Programming Languages
Noah D. Goodman, Andreas Stuhlmüller | dippl.org, Published in 2016, 215 pages
-
Artificial Intelligence: Foundations of Computational Agents
David Poole, Alan Mackworth | Cambridge University Press, Published in 2010
-
Communicating Sequential Processes
C.A.R. Hoare | Prentice Hall, Published in 2004, 260 pages
-
The Elements of Statistical Learning: Data Mining, Inference, and Prediction
T. Hastie, R. Tibshirani, J. Friedman | Springer, Published in 2009, 764 pages
-
SOA Source Book
| Van Haren Publishing, Published in 2009
-
Passwords: Guised Indispensable's or Liabilities?
Kelvin Karanja | , Published in 2017, 168 pages
-
Introduction to Software Engineering
| Wikibooks, Published in 2013, 451 pages
-
Deep Learning in Neural Networks: An Overview
Juergen Schmidhuber | arXiv, Published in 2014, 88 pages
-
Face Recognition
Kresimir Delac, Mislav Grgic | InTech, Published in 2007, 558 pages
-
Mathematical Linguistics
Andras Kornai | , Published in 2002, 90 pages
-
Simulated Annealing
Cher Ming Tan | IN-TECH, Published in 2008, 420 pages
-
ROSE Compiler Framework
| Wikibooks, Published in 2014, 226 pages
-
Implementing Functional Languages: a tutorial
Simon Peyton Jones, David Lester | Prentice Hall, Published in 1992, 296 pages
-
Cyber Infrastructure Protection
Tarek N. Saadawi, Louis H. Jordan Jr. | Strategic Studies Institute, Published in 2011, 324 pages
-
Machine Perception
Ramakant Nevatia | Prentice-Hall, Published in 1982, 224 pages
-
Learning Deep Architectures for AI
Yoshua Bengio | Now Publishers, Published in 2009, 130 pages
-
Prolog and Natural-Language Analysis
F. C. N. Pereira, S. M. Shieber | Center for the Study of Language, Published in 2002, 204 pages
-
Information Systems Foundations: The Role of Design Science
Dennis Hart, Shirley Gregor | ANU Press, Published in 2010, 318 pages
-
Readings in Database Systems
J. M. Hellerstein, M. Stonebraker | UC Berkeley, Published in 1999
-
Computer Science from the Bottom Up
Ian Wienand | bottomupcs.com, Published in 2013
-
Galois Connections and Fixed Point Calculus
Roland Backhouse | , Published in 2001, 105 pages
-
Algorithms: Fundamental Techniques
Macneil Shonle, Matthew Wilson, Martin Krischik | Wikibooks, Published in 2006, 68 pages
-
Introduction to Autonomous Robots
Nikolaus Correl | Magellan Scientific, Published in 2016, 226 pages
-
Introduction to Distributed Systems
Sabu M. Thampi | arXiv, Published in 2009, 23 pages
-
Elements of Relational Database Theory
Paris C. Kanellakis | Brown University Providence, Published in 1989, 79 pages
-
Recommended Approach to Software Development
Linda Landis, et al. | NASA, Published in 1992, 228 pages
-
Notes on Automata, Logics, Games and Algebra
K Narayan Kumar | Chennai Mathematical Institute, Published in 2007
-
Notes on Data Structures and Programming Techniques
James Aspnes | Yale University, Published in 2015, 530 pages
-
Neural Networks
Ivan F Wilde | King's College London, Published in 2009, 126 pages
-
Forensic Discovery
Dan Farmer, Wietse Venema | Addison-Wesley Professional, Published in 2005, 240 pages
-
Crafting Interpreters: A handbook for making programming languages
Robert Nystrom | craftinginterpreters.com, Published in 2015, 195 pages
-
Quantum Hamiltonian Complexity
S. Gharibian, Y. Huang, Z. Landau, S. W. Shin | arXiv, Published in 2014, 58 pages
-
The Hundred-Page Machine Learning Book
Andriy Burkov | , Published in 2019, 160 pages
-
Concrete Semantics: With Isabelle/HOL
Tobias Nipkow, Gerwin Klein | Springer, Published in 2016, 308 pages
-
An Introduction to Quantum Computing for Non-Physicists
Eleanor G. Rieffel, Wolfgang Polak | arXiv, Published in 2000, 45 pages
-
Lecture Notes on Cryptography
Shafi Goldwasser, Mihir Bellare | , Published in 2008, 289 pages
-
BIG CPU, BIG DATA: Solving the World's Toughest Problems with Parallel Computing
Alan Kaminsky | Rochester Institute of Technology, Published in 2015, 424 pages
-
Lecture Notes on Static Analysis
Michael I. Schwartzbach | IT University of Copenhagen, Published in 2010, 58 pages
-
Modeling Agents with Probabilistic Programs
Owain Evans, et al. | AgentModels.org, Published in 2017, 345 pages
-
Encyclopedia of Computational Neuroscience
Eugene M. Izhikevich, at al. | Scholarpedia, Published in 2009
-
Ontology in Information Science
Ciza Thomas (ed.) | InTech, Published in 2018, 310 pages
-
Image Processing and Data Analysis: The Multiscale Approach
J. Starck, F.D. Murtagh, A. Bijaoui | Cambridge University Press, Published in 1998, 315 pages
-
Parallel Computing Works!
G.C. Fox, R.D. Williams, P.C. Messina | Morgan Kaufmann Publishers, Published in 1994
-
Modelling and Simulation
Giuseppe Petrone, Giuliano Cammarata | InTech, Published in 2008, 688 pages
-
Essentials of Metaheuristics
Sean Luke | , Published in 2009, 233 pages
-
Ethical Artificial Intelligence
Bill Hibbard | arXiv, Published in 2014, 168 pages
-
A Gentle Introduction to GIS
T. Sutton, O. Dassau, M. Sutton | , Published in 2009, 113 pages
-
Brief Primer on the Fundaments of Quantum Computing
Richard L Amoroso | viXra.org, Published in 2018, 140 pages
-
Memristor and Memristive Neural Networks
Alex Pappachen James (ed.) | InTech, Published in 2018, 324 pages
-
Human Computer Interaction
Ioannis Pavlidis | InTech, Published in 2008, 370 pages
-
Think Complexity: Complexity Science and Computational Modeling
Allen B. Downey | Green Tea Press, Published in 2012, 146 pages
-
Algorithmic Randomness and Complexity
R. G. Downey, D. R. Hirschfeldt | Springer, Published in 2010, 629 pages
-
The New Software Engineering
Sue Conger | Global Text Project, Published in 2008, 403 pages
-
From Bricks to Brains: The Embodied Cognitive Science of LEGO
M. Dawson, B. Dupuis, M. Wilson | AU Press, Published in 2010, 354 pages
-
A Graduate Course in Applied Cryptography
Dan Boneh, Victor Shoup | cryptobook.us, Published in 2017, 818 pages
-
An introduction to one-way quantum computing in distributed architectures
Earl T. Campbell, Joseph Fitzsimons | arXiv, Published in 2009, 42 pages
-
Thinking About the Brain
William Bialek | arXiv, Published in 2002, 85 pages
-
Practical Semantic Web and Linked Data Applications
Mark Watson | , Published in 2010, 180 pages
-
Around Kolmogorov Complexity: Basic Notions and Results
Alexander Shen | arXiv.org, Published in 2015, 51 pages
-
Foundations of Machine Learning
M. Mohri, A. Rostamizadeh, A. Talwalkar | The MIT Press, Published in 2018, 504 pages
-
A New Kind of Science
Stephen Wolfram | Wolfram Media, Published in 2002, 1192 pages
-
Image Processing in Optical Coherence Tomography using Matlab
Robert Koprowski, Zygmunt Wrobel | University of Silesia, Published in 2011, 175 pages
-
Face Recognition
Milos Oravec | InTech, Published in 2010, 412 pages
-
The Guide to the Software Engineering Body of Knowledge
P. Bourque, R. Dupuis, A. Abran, J. W. Moore, and L. L. Tripp | IEEE, Published in 2004, 204 pages
-
Bisociative Knowledge Discovery
Michael R. Berthold (ed.) | Springer, Published in 2012, 492 pages
-
Advances in Genetic Programming, Vol. 3
L. Spector, W.B. Langdon, U. O'Reilly, P.J. Angeline | The MIT Press, Published in 1999, 488 pages
-
Cracking Codes with Python
Al Sweigart | inventwithpython.com, Published in 2018, 420 pages
-
Quantum Information Theory
Renato Renner | ETH Zurich, Published in 2015, 187 pages
-
Handbook of Applied Cryptography
Alfred Menezes, Paul van Oorschot, Scott Vanstone | CRC-Press, Published in 1996, 816 pages
-
Vector Models for Data-Parallel Computing
Guy Blelloch | The MIT Press, Published in 1990, 268 pages
-
Virtual Reality: Human Computer Interaction
Xin-Xing Tang (ed.) | InTech, Published in 2012, 306 pages
-
Frontiers in Evolutionary Robotics
Hitoshi Iba | InTech, Published in 2008, 596 pages
-
Practical Artificial Intelligence Programming in Java
Mark Watson | Lulu.com, Published in 2008, 222 pages
-
The Open-source PKI Book
Symeon Xenitellis | OpenCA Team, Published in 2000, 98 pages
-
Prolog Experiments in Discrete Mathematics, Logic, and Computability
James Hein | Portland State University, Published in 2009, 158 pages
-
Human Computer Interaction: New Developments
Kikuo Asai | InTech, Published in 2008, 382 pages
-
Neural Fuzzy Systems
Robert Fuller | Abo Akademi University, Published in 1995, 348 pages
-
Introduction to Machine Learning
Amnon Shashua | arXiv, Published in 2009, 109 pages
-
Forensic Analysis of Database Tampering
Kyriacos E. Pavlou, Richard T. Snodgrass | University of Arizona, Published in 2008, 47 pages
-
Data Modeling Techniques for Data Warehousing
Chuck Ballard, et al. | IBM Redbooks, Published in 1998, 216 pages
-
Advances in Knowledge Representation
Carlos Ramírez Gutiérrez | InTech, Published in 2012, 272 pages
-
Ambient Intelligence
Felix Jesus Villanueva Molina | InTech, Published in 2010, 152 pages
-
Parsing Techniques: A Practical Guide
Dick Grune, Ceriel J. H. Jacobs | Ellis Horwood Ltd, Published in 1998, 318 pages
-
Distributed Systems for Fun and Profit
Mikito Takada | mixu.net, Published in 2013
-
Using and Porting the GNU Compiler Collection (GCC)
Vincent Chung | Free Software Foundation, Inc., Published in 2001
-
Scientific Programming and Computer Architecture
Divakar Viswanath | The MIT Press, Published in 2017, 624 pages
-
Software Architecture
A. Bijlsma, B.J. Heeren, E.E. Roubtsova, S. Stuurman | FTA, Published in 2011, 162 pages
-
Function Points Analysis Training Course
David Longstreet | SoftwareMetrics.Com, Published in 2008, 111 pages
-
A brief introduction of quantum cryptography for engineers
Bing Qi, Li Qian, Hoi-Kwong Lo | arXiv, Published in 2010, 36 pages
-
Interacting with Presence
Giuseppe Riva | De Gruyter Open, Published in 2014, 188 pages
-
Visual Reconstruction
Andrew Blake, Andrew Zisserman | The MIT Press, Published in 1987, 232 pages
-
Computer Vision: Models, Learning, and Inference
Simon J.D. Prince | Cambridge University Press, Published in 2012, 665 pages
-
Computational Intelligence and Modern Heuristics
Al-Dahoud Ali | InTech, Published in 2010, 356 pages
-
Logic and Automata: History and Perspectives
Jorg Flum (ed) | Amsterdam University Press, Published in 2007, 737 pages
-
Software Product Line: Advanced Topic
Abdelrahman Osman Elfaki | InTech, Published in 2012, 122 pages
-
A Mathematical Theory of Communication
Claude Shannon | , Published in 1948, 79 pages
-
Advances in Stereo Vision
Jose R.A. Torreao | InTech, Published in 2011, 120 pages
-
The Laws of Cryptography with Java Code
Neal R. Wagner | Univ. of Texas San Antonio, Published in 2003, 334 pages
-
Parallel Algorithms
Henri Casanova, et al. | CRC Press, Published in 2008, 348 pages
-
What does the honeybee see? And how do we know?
Adrian Horridge | ANU E Press, Published in 2009
-
The Thousand Faces of Virtual Reality
Cecilia Sik Lanyi (ed.) | InTech, Published in 2014, 170 pages
-
Linux Parallel Processing HOWTO
Hank Dietz | The Aggregate, Published in 1998, 63 pages
-
A Quantum Engineer's Guide to Superconducting Qubits
Philip Krantz, et al. | arXiv.org, Published in 2019, 66 pages
-
Introduction to Complexity Theory
Oded Goldreich | , Published in 1999, 375 pages
-
Lecture Notes in Machine Learning
Zdravko Markov | Central Connecticut State University, Published in 2003, 65 pages
-
Brief Introduction to Educational Implications of Artificial Intelligence
David Moursund | University of Oregon, Published in 2006, 75 pages
-
Computer Vision
Dana H. Ballard, Christopher M. Brown | Prentice Hall, Published in 1982, 539 pages
-
Automata Theory: An Algorithmic Approach
Javier Esparza | , Published in 2017, 321 pages
-
Document Image Analysis
Lawrence O'Gorman, Rangachar Kasturi | , Published in 1997, 125 pages
-
Database Fundamentals
Neeraj Sharma, at al. | IBM Corporation, Published in 2010, 282 pages
-
Fundamentals of Media Security
WeiQi Yan, Jonathan Weir | BookBoon, Published in 2010, 110 pages
-
Data Structures and Algorithm Analysis in C++
Clifford A. Shaffer | Dover Publications, Published in 2012, 613 pages
-
Optimal and Learning Control for Autonomous Robots
Jonas Buchli, et al. | arXiv.org, Published in 2017, 101 pages
-
Computer Vision: Algorithms and Applications
Richard Szeliski | Springer, Published in 2010, 655 pages
-
An Introduction to Data Mining
Saed Sayad | University of Toronto, Published in 2011, 248 pages
-
Insight into Theoretical and Applied Informatics
Andrzej Yatsko, Walery Suslow | De Gruyter Open, Published in 2016, 117 pages
-
Handbook of Knowledge Representation
Frank van Harmelen, Vladimir Lifschitz, Bruce Porter | Elsevier Science, Published in 2008, 1035 pages
-
Database design with UML and SQL
Tom Jewett | , Published in 2006, 218 pages
-
Evolved to Win
Moshe Sipper | Lulu.com, Published in 2011, 193 pages
-
The Power PC Compiler Writer's Guide
Steve Hoxey, at al. | Warthman Associates, Published in 1996, 264 pages
-
Design: Creation of Artifacts in Society
Karl T. Ulrich | University of Pennsylvania, Published in 2011, 145 pages
-
Formal Syntax and Semantics of Programming Languages
Kenneth Slonneger, Barry L. Kurtz | Addison Wesley Longman, Published in 1994, 637 pages
-
Data Structures and Algorithms
Catherine Leung | GitBook, Published in 2017, 126 pages
-
Autonomous Agents
Vedran Kordic | InTech, Published in 2010, 138 pages
-
Bison: The Yacc-compatible Parser Generator
Charles Donnelly, Richard Stallman | Free Software Foundation, Published in 2009, 176 pages
-
GIS Commons: An Introductory Textbook on Geographic Information Systems
Michael Schmandt | giscommons.org, Published in 2017, 232 pages
-
Compiler Design in C
Allen I. Holub | Prentice-Hall, Published in 1990, 986 pages
-
The GENTLE Compiler Construction System
Friedrich Wilhelm Schröer | R. Oldenbourg Verlag, Published in 2005, 143 pages
-
Elements of Programming
Alexander Stepanov, Paul McJones | Semigroup Press, Published in 2019, 279 pages
-
Stereo Vision
Asim Bhatti | InTech, Published in 2008, 372 pages
-
Mobile Robots: Perception and Navigation
Sascha Kolski | InTech, Published in 2007, 704 pages
-
Acceptance Test Engineering Guide
Grigori Melnik, Gerard Meszaros, Jon Bach | Microsoft, Published in 2009, 251 pages
-
Self-Organizing Maps
George K Matsopoulos | InTech, Published in 2010, 430 pages
-
Proofs and Types
J. Girard, Y. Lafont, P. Taylor | Cambridge University Press, Published in 1989, 183 pages
-
Languages and Machines
C. D. H. Cooper | Macquarie University, Published in 2008
-
Global Optimization Algorithms: Theory and Application
Thomas Weise | , Published in 2008, 842 pages
-
A Practical Introduction to Data Structures and Algorithm Analysis
Clifford A. Shaffer | Virginia Tech, Published in 2010, 638 pages
-
Information Retrieval: A Survey
Ed Greengrass | University of Maryland, Published in 2000, 224 pages
-
Human Computer Confluence
Andrea Gaggioli, et al. | De Gruyter Open Ltd, Published in 2016, 330 pages
-
Concurrency Control and Recovery in Database Systems
P. A. Bernstein, V. Hadzilacos, N. Goodman | Addison Wesley, Published in 1987, 58 pages
-
The Relational Model for Database Management
E. F. Codd | Addison-Wesley, Published in 1990, 567 pages
-
Application of Geographic Information Systems
Bhuiyan Monwar Alam | InTech, Published in 2012, 372 pages
-
Combinatorial Algorithms
Albert Nijenhuis, Herbert S. Wilf | Academic Press Inc, Published in 1978, 316 pages
-
Speech Recognition
France Mihelic, Janez Zibert | InTech, Published in 2008, 550 pages
-
Introduction to Machine Learning
Alex Smola, S.V.N. Vishwanathan | Cambridge University Press, Published in 2008, 234 pages
-
The Protection of Information in Computer Systems
J.H. Saltzer, M.D. Schroeder | MIT, Published in 1975
-
Think Data Structures
Allen B. Downey | Green Tea Press, Published in 2016, 187 pages
-
Introduction to Vocabularies: Enhancing Access to Cultural Heritage Information
Elisa Lanzi | Oxford University Press, Published in 1998, 72 pages
-
Theory and Applications for Advanced Text Mining
Shigeaki Sakurai (ed.) | InTech, Published in 2012, 218 pages
-
Average Case Analysis of Algorithms on Sequences
Wojciech Szpankowski | Wiley-Interscience, Published in 2001, 576 pages
-
Quantum Walks: A Comprehensive Review
Salvador E. Venegas-Andraca | arXiv, Published in 2012, 88 pages
-
Theory of Quantum Information
John Watrous | University of Calgary, Published in 2004, 125 pages
-
Computer Arithmetic of Geometrical Figures: Algorithms and Hardware Design
Solomon I. Khmelnik | MiC, Published in 2013, 150 pages
-
Machine Learning and Data Mining: Lecture Notes
Aaron Hertzmann | University of Toronto, Published in 2010, 134 pages
-
Modeling, Simulation and Optimization: Tolerance and Optimal Control
Shkelzen Cakaj | InTech, Published in 2010, 312 pages
-
Introduction to Computability Theory
Dag Normann | The University of Oslo, Published in 2010, 95 pages
-
Modern Speech Recognition Approaches with Case Studies
S. Ramakrishnan (ed.) | InTech, Published in 2012, 326 pages
-
Quantum Computing Since Democritus
Scott Aaronson | University of Waterloo, Published in 2006, 398 pages
-
Formal Language Theory for Natural Language Processing
Shuly Wintner | ESSLLI, Published in 2001, 52 pages
-
Foundations of Computer Science: C Edition
Al Aho, Jeff Ullman | W. H. Freeman, Published in 1994, 786 pages
-
Randomized Algorithms
Wolfgang Merkle | ESSLLI, Published in 2001, 46 pages
-
Building the Second Mind: 1956 and the Origins of Artificial Intelligence Computing
Rebecca E. Skinner | UC Berkeley, Published in 2012, 214 pages
-
Encyclopedia of Computational Intelligence
Eugene M. Izhikevich, at al. | Scholarpedia, Published in 2009
-
Models of Computation: Exploring the Power of Computing
John E. Savage | Addison-Wesley, Published in 1998, 698 pages
-
An Introduction to Ontology Engineering
Maria Keet | , Published in 2018, 270 pages
-
Knapsack Problems: Algorithms and Computer Implementations
Silvano Martello, Paolo Toth | John Wiley & Sons, Published in 1990, 308 pages
-
Robot Vision
Ales Ude | InTech, Published in 2010, 624 pages
-
Concrete Abstractions: An Introduction to Computer Science Using Scheme
Max Hailperin, Barbara Kaiser, Karl Knight | Course Technology, Published in 1998, 670 pages
-
Artificial Intelligence and Molecular Biology
Lawrence Hunter | AAAI Press, Published in 1993, 467 pages
-
Exploring ReasonML and Functional Programming
Axel Rauschmayer | ReasonML Hub, Published in 2018, 485 pages
-
Practical Foundations for Programming Languages
Robert Harper | Carnegie Mellon University, Published in 2016, 580 pages
-
Semantic Web
Gang Wu | InTech, Published in 2010, 310 pages
-
Computers and Thought: A practical Introduction to Artificial Intelligence
Mike Sharples, et al. | A Bradford Book, Published in 1989, 401 pages
-
Recursion Theory
Frank Stephan | National University of Singapore, Published in 2009, 125 pages
-
GNU Compiler Collection (GCC) Internals
| Free Software Foundation, Published in 2008
-
Category Theory and Functional Programming
Mikael Vejdemo-Johansson | University of St. Andrews, Published in 2012, 99 pages
-
Quantum Algorithms
Michele Mosca | arXiv, Published in 2008, 71 pages
-
Computational Geometry: Methods and Applications
Jianer Chen | , Published in 1996, 227 pages
-
Network Coding Theory
Raymond Yeung, S-Y Li, N Cai | Now Publishers Inc, Published in 2006, 154 pages
-
Bayesian Network
Ahmed Rebai (ed.) | InTech, Published in 2010, 442 pages
-
Physical Modeling in MATLAB
Allen Downey | Green Tea Press, Published in 2014, 155 pages
-
Public-Key Cryptography: Theory and Practice
Bodo Moeller | TU Darmstadt, Published in 2003, 117 pages
-
Design and Analysis of Computer Algorithms
David M. Mount | University of Maryland, Published in 2003, 135 pages
-
Formal Languages
Keijo Ruohonen | Tampere University of Technology, Published in 2009, 98 pages
-
Search Algorithms and Applications
Nashat Mansour | InTech, Published in 2011, 494 pages
-
Common LISP: A Gentle Introduction to Symbolic Computation
David S. Touretzky | Benjamin-Cummings Pub Co, Published in 1990, 587 pages
-
Algorithms and Data Structures: The Basic Toolbox
K. Mehlhorn, P. Sanders | Springer, Published in 2008, 300 pages
-
An Introduction to Probabilistic Programming
Jan-Willem van de Meent, et al. | arXiv.org, Published in 2018, 218 pages
-
Usage Bibliometrics
Michael J. Kurtz, Johan Bollen | arXiv, Published in 2011, 64 pages
-
Software Engineering for Internet Applications
Eve Andersson, Philip Greenspun, Andrew Grumet | The MIT Press, Published in 2006, 409 pages
-
Evolution of Parallel Cellular Machines: The Cellular Programming Approach
Moshe Sipper | Springer, Published in 1997, 213 pages
-
Measure-Preserving Systems
Karl Petersen | University of North Carolina, Published in 2008, 65 pages
-
Concepts, Techniques, and Models of Computer Programming
Peter Van Roy, Seif Haridi | The MIT Press, Published in 2004, 939 pages
-
Security and Privacy in Wireless and Mobile Networks
Georgios Kambourakis, et al. | MDPI AG, Published in 2018, 174 pages
-
Compositional Semantics
Gary Hardegree | UMass Amherst, Published in 2009, 350 pages
-
A First Encounter with Machine Learning
Max Welling | University of California Irvine, Published in 2011, 93 pages
-
Parallel Programming with Microsoft .NET
Colin Campbell, Ralph Johnson, Stephen Toub | Microsoft Press, Published in 2010, 217 pages
-
Modeling Simulation and Optimization: Focus on Applications
Shkelzen Cakaj | InTech, Published in 2010, 320 pages
-
Partial Evaluation and Automatic Program Generation
Neil D. Jones, Carsten K. Gomard, Peter Sestoft | Prentice Hall, Published in 1993, 400 pages
-
Computer Vision
Xiong Zhihui | InTech, Published in 2008, 538 pages
-
Computational Category Theory
D.E. Rydeheard, R.M. Burstall | , Published in 2001, 263 pages
-
Knowware: the third star after Hardware and Software
Ruqian Lu | Polimetrica, Published in 2007, 109 pages
-
Quantum Computation
John Watrous | University of Calgary, Published in 2006, 139 pages
-
Python Scripting for Spatial Data Processing
Pete Bunting, Daniel Clewley | Aberystwyth University, Published in 2013, 194 pages
-
Introduction to Coherent States and Quantum Information Theory
Kazuyuki Fujii | arXiv, Published in 2002, 72 pages
-
Superconducting Qubits and Circuits
Steven M. Girvin | Yale University, Published in 2011, 132 pages
-
A Practical Theory of Programming
Eric C.R. Hehner | Springer, Published in 2006, 243 pages
-
Current Advancements in Stereo Vision
Asim Bhatti (ed.) | InTech, Published in 2012, 224 pages
-
Introduction to Soft Computing
Eva Volna | Bookboon, Published in 2013, 137 pages
-
Brain, Vision and AI
Cesare Rossi | InTech, Published in 2008, 284 pages
-
Quantum Computing: Progress and Prospects
Emily Grumbling, Mark Horowitz | National Academies Press, Published in 2018, 206 pages
-
Multi-Relational Data Mining
Arno Jan Knobbe | IOS Press, Published in 2006, 130 pages
-
Mathematics and Computation
Avi Wigderson | Princeton University Press, Published in 2019, 340 pages
-
Applicative Computing: Its quarks, atoms and molecules
V. E. Wolfengagen | JurInfoR, Published in 2010, 66 pages
-
Introduction to Programming for Image Analysis with VTK
Xenophon Papademetris | Image Processing and Analysis Group, Published in 2006, 238 pages
-
Introduction to Quantum Cellular Automata
B. Aoun, M. Tarifi | arXiv, Published in 2004, 46 pages
-
Functional Programming in Python
David Mertz | O'Reilly Media, Published in 2015, 49 pages
-
Security+ Essentials
| Techotopia, Published in 2008
-
Artificial Neural Networks
| Wikibooks, Published in 2010
-
Automatic Speech Recognition
Andre Gustavo Adami | Universidade de Caxias do Sul, Published in 2010, 73 pages
-
Introduction to Machine Learning for the Sciences
Titus Neupert, et al. | arXiv.org, Published in 2021, 80 pages
-
The Z Notation: A Reference Manual
J. M. Spivey | Prentice Hall, Published in 1992, 168 pages
-
Provable Security of Networks
Angsheng Li, Yicheng Pan, Wei Zhang | arXiv, Published in 2013, 81 pages
-
Algorithms and Data Structures for External Memory
Jeffrey Scott Vitter | Now Publishers, Published in 2008, 191 pages
-
Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
Yoav Shoham, Kevin Leyton-Brown | Cambridge University Press, Published in 2008, 532 pages
-
Natural Language Interfaces to Databases: An Introduction
I. Androutsopoulos, G. D. Ritchie, P. Thanisch | arXiv, Published in 1995, 50 pages
-
Computability and Complexity
| Wikibooks, Published in 2010
-
Exploring Programming Language Architecture in Perl
Bill Hails | , Published in 2010, 368 pages
-
Structure and Interpretation of Computer Programs
Harold Abelson, Gerald Jay Sussman, Julie Sussman | McGraw-Hill, Published in 1996, 588 pages
-
A=B
Marko Petkovsek, Herbert S. Wilf, Doron Zeilberger | AK Peters, Ltd., Published in 1996, 217 pages
-
Introduction to Theory of Computation
Anil Maheshwari, Michiel Smid | Carleton University, Published in 2012, 246 pages
-
Let Over Lambda: 50 Years of Lisp
Doug Hoyte | Lulu.com, Published in 2008, 384 pages
-
Computer Simulation Techniques - The Definitive Introduction
Harry Perros | NC State University, Published in 2008, 187 pages
-
Programming in Martin-Lof's Type Theory: An Introduction
Bengt Nordstrom, Kent Petersson, Jan M. Smith | Oxford University Press, Published in 1990, 211 pages
-
The Grand Unified Theory of Software Engineering
Mathias Ekstedt | Industrial Info Systems, Published in 2005, 235 pages
-
Natural Language Processing for Prolog Programmers
Michael A. Covington | Prentice-Hall, Published in 1994, 361 pages
-
The Elements of Computing Systems
Noam Nisan, Shimon Schocken | MIT Press, Published in 2005, 410 pages
-
Efficient Algorithms for Sorting and Synchronization
Andrew Tridgell | samba.org, Published in 1999, 115 pages
-
Machine Vision
R. Jain, R. Kasturi, B. G. Schunck | McGraw-Hill, Published in 1995, 549 pages
-
Compiler Construction
Niklaus Wirth | Addison-Wesley Pub, Published in 1996, 131 pages
-
Picture Interpretation: A Symbolic Approach
S. Dance, Z.Q. Liu, T.M. Caelli | World Scientific, Published in 1995
-
An Introduction to Computational Neuroscience
Todd Troyer | University of Texas at San Antonio, Published in 2005, 181 pages
-
Shape Interrogation for Computer Aided Design and Manufacturing
Nicholas M. Patrikalakis, Takashi Maekawa | Springer, Published in 2009, 408 pages
-
The Security Development Lifecycle
Michael Howard, Steve Lipner | Microsoft Press, Published in 2006, 352 pages
-
Advances in Human Computer Interaction
Shane Pinder | InTech, Published in 2008, 600 pages
-
Introduction to Information Retrieval
Manning, Raghavan, Schütze | Cambridge University Press, Published in 2008, 496 pages
-
Automata and Rational Expressions
Jacques Sakarovitch | arXiv.org, Published in 2015, 49 pages
-
Search Engines: Information Retrieval in Practice
W.B. Croft, D. Metzler, T. Strohman | Pearson Education, Published in 2015, 542 pages
-
The Antivirus Defense-in-Depth Guide
| Microsoft Corporation, Published in 2004, 98 pages
-
Mathematical Cryptology
Keijo Ruohonen | Tampere University of Technology, Published in 2010, 136 pages
-
Programming and Programming Languages
Shriram Krishnamurthi | Brown University, Published in 2014, 262 pages
-
From Classical to Quantum Shannon Theory
Mark M. Wilde | arXiv, Published in 2012, 663 pages
-
Introduction to High-Performance Scientific Computing
Victor Eijkhout | University of Texas, Published in 2014, 535 pages
-
Specifying Systems
Leslie Lamport | Addison-Wesley Professional, Published in 2002, 382 pages
-
Statistical Foundations of Machine Learning
Gianluca Bontempi, Souhaib Ben Taieb | , Published in 2017, 269 pages
-
Introduction to Quantum Algorithms for Physics and Chemistry
Man-Hong Yung, et al. | arXiv, Published in 2012, 44 pages
-
Security Concepts
Travis H. | subspacefield.org, Published in 2010, 244 pages
-
Data Mining Algorithms In R
| Wikibooks, Published in 2010
-
Satellite Positioning: Methods, Models and Applications
Shuanggen Jin (ed.) | InTech, Published in 2015, 212 pages
-
Project Oberon - The Design of an Operating System and Compiler
Niklaus Wirth, Jürg Gutknecht | , Published in 2005, 441 pages
-
Distributed Control of Robotic Networks
Francesco Bullo, Jorge Cortes, Sonia Martinez | Princeton University Press, Published in 2009, 323 pages
-
Mastering the Information Age: Solving Problems With Visual Analytics
Daniel Keim, et al. | Eurographics Association, Published in 2010, 182 pages
-
The Matrix Calculus You Need For Deep Learning
Terence Parr, Jeremy Howard | arXiv.org, Published in 2018, 33 pages
-
A Brief Introduction to Neural Networks
David Kriesel | dkriesel.com, Published in 2011, 244 pages
-
Anisotropic Diffusion in Image Processing
Joachim Weickert | Teubner, Published in 1998, 184 pages
-
The LION Way: Machine Learning plus Intelligent Optimization
Roberto Battiti, Mauro Brunato | Lionsolver, Inc., Published in 2013, 202 pages
-
Essential Coding Theory
Venkatesan Guruswami, Atri Rudra, Madhu Sudan | University at Buffalo, Published in 2014, 266 pages
-
Semantics: Advances in Theories and Mathematical Models
Muhammad Tanvir Afzal (ed.) | InTech, Published in 2012, 284 pages
-
The Theory of Relational Databases
David Maier | Computer Science Press, Published in 1983, 656 pages
-
Introduction to Computer Science using Java
Bradley Kjell | Central Connecticut State University, Published in 2006
-
Lecture Notes on the Lambda Calculus
Peter Selinger | Dalhousie University, Published in 2007, 106 pages
-
Information, Entropy and Their Geometric Structures
Frederic Barbaresco, Ali Mohammad-Djafari | MDPI AG, Published in 2015, 554 pages
-
Essentials of Geographic Information Systems
Jonathan Campbell, Michael Shin | Saylor Foundation, Published in 2011, 259 pages
-
Building Blocks for Theoretical Computer Science
Margaret M. Fleck | University of Illinois, Urbana-Champaign, Published in 2013, 271 pages
-
Fundamentals of Image Processing
I. Young, J. Gerbrands, L. van Vliet | Delft University of Technology, Published in 2009, 112 pages
-
Security Engineering: A Guide to Building Dependable Distributed Systems
Ross J. Anderson, Ross Anderson | Wiley, Published in 2001, 640 pages
-
Basic Concepts in Quantum Computation
Artur Ekert, Patrick Hayden, Hitoshi Inamori | arXiv, Published in 2000, 37 pages
-
Genetic Programming: New Approaches and Successful Applications
Sebastian Ventura (ed.) | InTech, Published in 2012, 284 pages
-
Scene Reconstruction Pose Estimation and Tracking
Rustam Stolkin | InTech, Published in 2007, 530 pages
-
Conditional Rate Distortion Theory
Robert M. Gray | Information Systems Laboratory, Published in 1972, 22 pages
-
How Mobile Robots Can Self-organise a Vocabulary
Paul Vogt | Language Science Press, Published in 2015, 286 pages
-
Affective Computing
Jimmy Or | IN-TECH, Published in 2008, 284 pages
-
Databases, Types, and The Relational Model: The Third Manifesto
C.J. Date, Hugh Darwen | Addison Wesley, Published in 2014, 604 pages
-
Human and Machine Consciousness
David Gamez | Open Book Publishers, Published in 2018, 222 pages
-
Stochastic Attribute-Value Grammars
Rob Malouf, Miles Osborne | ESSLLI, Published in 2001, 159 pages
-
Rough set data analysis: A road to non-invasive knowledge discovery
Ivo Düntsch, Günther Gediga | Methodos Publishers (UK), Published in 2000, 108 pages
-
Handbook of Quantum Information
| Quantiki, Published in 2013, 516 pages
-
Let's Build a Scripting Engine-Compiler
S. Arbayo | , Published in 2010, 647 pages
-
Applications of ICT in Libraries
| Wikibooks, Published in 2015, 268 pages
-
Mobile Robotics, Moving Intelligence
Jonas Buchli | InTech, Published in 2006, 586 pages
-
A Guide to Documentary Editing
Mary-Jo Kline, Susan Holbrook Perdue | University of Virginia Press, Published in 2008, 352 pages
-
Knowledge Technologies
Nick Milton | Polimetrica, Published in 2008, 141 pages
-
Strategies for Sustaining Digital Libraries
K. Skinner, M. Halbert | Emory University Digital Library, Published in 2008, 123 pages
-
Practical Cryptography With Go
Kyle Isom | Leanpub, Published in 2014, 226 pages
-
Computational and Inferential Thinking: The Foundations of Data Science
Ani Adhikari, John DeNero | , Published in 2017, 646 pages
-
Recent Advances in Face Recognition
Kresimir Delac, Mislav Grgic, Marian Stewart Bartlett | IN-TECH, Published in 2008, 236 pages
-
Big Data on Real-World Applications
S. Ventura Soto, Jose M. Luna, Alberto Cano (eds) | InTech, Published in 2016, 122 pages
-
Cellular Automata And Complexity: Collected Papers
Stephen Wolfram | Westview Press, Published in 1994, 608 pages
-
Mathematics of Human Motion: from Animation towards Simulation
A.I. Zhmakin | arXiv, Published in 2011, 91 pages
-
Delftse Foundations of Computation
Stefan Hugtenburg, Neil Yorke-Smith | TU Delft Open, Published in 2018, 176 pages
-
Getting Started with MakerBot
Bre Pettis, Jay Shergill | O'Reilly Media, Published in 2011
-
Quantum Information Theory
Robert H. Schumann | arXiv, Published in 2000, 88 pages
-
Robotic Soccer
Pedro Lima | InTech, Published in 2007, 598 pages
-
Software Engineering with Reusable Components
Johannes Sametinger | Springer, Published in 2001, 285 pages
-
A Mathematical Introduction to Robotic Manipulation
Richard M. Murray, Zexiang Li, S. Shankar Sastry | CRC Press, Published in 1994, 474 pages
-
Reasoned Programming
Krysia Broda et al | Prentice Hall Trade, Published in 1994, 311 pages
-
3D Video Processing and Transmission Fundamentals
Chaminda Hewage | Bookboon, Published in 2014, 102 pages
-
The Limits of Mathematics
Gregory J. Chaitin | Springer, Published in 2003, 270 pages
-
Artificial Intelligence - Agent Behaviour
William John Teahan | BookBoon, Published in 2010, 240 pages
-
Categories, Types, and Structures
Andrea Asperti, Giuseppe Longo | MIT Press, Published in 1991, 300 pages
-
Algorithms and Data Structures: With Applications to Graphics and Geometry
Jurg Nievergelt, Klaus Hinrichs | Prentice Hall, Published in 2011, 299 pages
-
Data-Intensive Text Processing with MapReduce
Jimmy Lin, Chris Dyer | Morgan & Claypool Publishers, Published in 2010, 175 pages
-
Basic Cryptanalysis
| United States Department of the Army, Published in 1990
-
Lightweight Compiler Techniques
Nils M Holm | Lulu Press, Published in 2006, 262 pages
-
An Introduction to Statistical Learning
G. James, D. Witten, T. Hastie, R. Tibshirani | Springer, Published in 2013, 440 pages
-
Dynamic Modelling
Alisson V. Brito | InTech, Published in 2010, 300 pages
-
Quantum Information: primitive notions and quantum correlations
Valerio Scarani | arXiv, Published in 2009, 74 pages
-
Security and Privacy for Microsoft Office 2010 Users
Mitch Tulloch | Microsoft Press, Published in 2012, 98 pages
-
Fundamentals of Image Processing
Hany Farid | Dartmouth College, Published in 2010, 72 pages
-
Communication Complexity (for Algorithm Designers)
Tim Roughgarden | Stanford University, Published in 2015, 150 pages
-
Foundations of Computer Science
Hans-Peter Bischof | , Published in 1998