Free Computer Science Books

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.

1. Logic and Information
   Keith Devlin | ESSLLI, Published in 2001
2. Distributed Systems for Fun and Profit
   Mikito Takada | mixu.net, Published in 2013
3. Algorithmic Mathematics
   Leonard Soicher, Franco Vivaldi | Queen Mary University of London, Published in 2004, 94 pages
4. What does the honeybee see? And how do we know?
   Adrian Horridge | ANU E Press, Published in 2009
5. Category Theory and Functional Programming
   Mikael Vejdemo-Johansson | University of St. Andrews, Published in 2012, 99 pages
6. Knowware: the third star after Hardware and Software
   Ruqian Lu | Polimetrica, Published in 2007, 109 pages
7. Foundations of Computation
   Carol Critchlow, David Eck | Hobart and William Smith Colleges, Published in 2011, 256 pages
8. Speech Recognition
   France Mihelic, Janez Zibert | InTech, Published in 2008, 550 pages
9. Gaussian Processes for Machine Learning
   Carl E. Rasmussen, Christopher K. I. Williams | The MIT Press, Published in 2005, 266 pages
10. Denotational Semantics: A Methodology for Language Development
    David Schmidt | Kansas State University, Published in 2009, 304 pages
11. Algorithms
    Robert Sedgewick, Kevin Wayne | Addison-Wesley Professional, Published in 2011, 976 pages
12. Notes on Data Structures and Programming Techniques
    James Aspnes | Yale University, Published in 2015, 530 pages
13. Active Contours
    Andrew Blake, Michael Isard | Springer, Published in 2000, 312 pages
14. Software Architecture
    A. Bijlsma, B.J. Heeren, E.E. Roubtsova, S. Stuurman | FTA, Published in 2011, 162 pages
15. 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
16. Practical Semantic Web and Linked Data Applications
    Mark Watson | , Published in 2010, 180 pages
17. Models and Theories in Human-Computer Interaction
    | Wikibooks, Published in 2015, 164 pages
18. Data Compression
    | Wikibooks, Published in 2011
19. Human Computer Interaction
    Ioannis Pavlidis | InTech, Published in 2008, 370 pages
20. Communicating Sequential Processes
    C.A.R. Hoare | Prentice Hall, Published in 2004, 260 pages
21. The Age of Intelligent Machines
    Ray Kurzweil | The MIT Press, Published in 1992
22. Artificial Intelligence: Foundations of Computational Agents
    David Poole, Alan Mackworth | Cambridge University Press, Published in 2010
23. Physical Modeling in MATLAB
    Allen Downey | Green Tea Press, Published in 2014, 155 pages
24. Artificial Intelligence - Agents and Environments
    William John Teahan | BookBoon, Published in 2010, 154 pages
25. Fundamentals of Media Security
    WeiQi Yan, Jonathan Weir | BookBoon, Published in 2010, 110 pages
26. Passwords: Guised Indispensable's or Liabilities?
    Kelvin Karanja | , Published in 2017, 168 pages
27. From Classical to Quantum Shannon Theory
    Mark M. Wilde | arXiv, Published in 2012, 663 pages
28. An Introduction to Relational Database Theory
    Hugh Darwen | BookBoon, Published in 2009, 231 pages
29. Introduction to Soft Computing
    Eva Volna | Bookboon, Published in 2013, 137 pages
30. Bisociative Knowledge Discovery
    Michael R. Berthold (ed.) | Springer, Published in 2012, 492 pages
31. Temporal Database Management
    Christian S. Jensen | Aalborg University, Published in 2000, 1323 pages
32. Reinforcement Learning
    C. Weber, M. Elshaw, N. M. Mayer | InTech, Published in 2008, 424 pages
33. Software Engineering for Internet Applications
    Eve Andersson, Philip Greenspun, Andrew Grumet | The MIT Press, Published in 2006, 409 pages
34. Provable Security of Networks
    Angsheng Li, Yicheng Pan, Wei Zhang | arXiv, Published in 2013, 81 pages
35. Data Mining Algorithms In R
    | Wikibooks, Published in 2010
36. Knowledge Technologies
    Nick Milton | Polimetrica, Published in 2008, 141 pages
37. Software Update as a Mechanism for Resilience and Security
    | The National Academies Press, Published in 2017, 97 pages
38. Speech Technologies
    Ivo Ipsic | InTech, Published in 2011, 432 pages
39. Natural Language Processing for the Working Programmer
    Daniël de Kok, Harm Brouwer | , Published in 2011, 78 pages
40. Parallel Programming with Microsoft .NET
    Colin Campbell, Ralph Johnson, Stephen Toub | Microsoft Press, Published in 2010, 217 pages
41. Computer Vision: Models, Learning, and Inference
    Simon J.D. Prince | Cambridge University Press, Published in 2012, 665 pages
42. Modeling Agents with Probabilistic Programs
    Owain Evans, et al. | AgentModels.org, Published in 2017, 345 pages
43. Evolution of Parallel Cellular Machines: The Cellular Programming Approach
    Moshe Sipper | Springer, Published in 1997, 213 pages
44. Getting Started with MakerBot
    Bre Pettis, Jay Shergill | O'Reilly Media, Published in 2011
45. Computer Arithmetic of Geometrical Figures: Algorithms and Hardware Design
    Solomon I. Khmelnik | MiC, Published in 2013, 150 pages
46. Computer Vision
    Dana H. Ballard, Christopher M. Brown | Prentice Hall, Published in 1982, 539 pages
47. A Course in Machine Learning
    Hal Daumé III | ciml.info, Published in 2012, 189 pages
48. Advances in Knowledge Representation
    Carlos Ramírez Gutiérrez | InTech, Published in 2012, 272 pages
49. A Quantum Engineer's Guide to Superconducting Qubits
    Philip Krantz, et al. | arXiv.org, Published in 2019, 66 pages
50. Ethical Artificial Intelligence
    Bill Hibbard | arXiv, Published in 2014, 168 pages
51. Semantic Web
    Gang Wu | InTech, Published in 2010, 310 pages
52. Good Digital Hygiene: A guide to staying secure in cyberspace
    Ed Gelbstein | Bookboon, Published in 2013, 86 pages
53. Acceptance Test Engineering Guide
    Grigori Melnik, Gerard Meszaros, Jon Bach | Microsoft, Published in 2009, 251 pages
54. Algorithms for Clustering Data
    Anil K. Jain, Richard C. Dubes | Prentice Hall, Published in 1988, 334 pages
55. Mobile Robotics, Moving Intelligence
    Jonas Buchli | InTech, Published in 2006, 586 pages
56. Introduction to Type Theory
    Herman Geuvers | Radboud University Nijmegen, Published in 2011, 57 pages
57. The Design of Approximation Algorithms
    D. P. Williamson, D. B. Shmoys | Cambridge University Press, Published in 2010, 496 pages
58. Automata and Rational Expressions
    Jacques Sakarovitch | arXiv.org, Published in 2015, 49 pages
59. Concepts, Techniques, and Models of Computer Programming
    Peter Van Roy, Seif Haridi | The MIT Press, Published in 2004, 939 pages
60. Natural Language Interfaces to Databases: An Introduction
    I. Androutsopoulos, G. D. Ritchie, P. Thanisch | arXiv, Published in 1995, 50 pages
61. Designing and Building Parallel Programs
    Ian Foster | Addison Wesley, Published in 1995, 430 pages
62. Brain, Vision and AI
    Cesare Rossi | InTech, Published in 2008, 284 pages
63. Mobile Robots: Perception and Navigation
    Sascha Kolski | InTech, Published in 2007, 704 pages
64. Introduction to Distributed Systems
    Sabu M. Thampi | arXiv, Published in 2009, 23 pages
65. Compilers and Compiler Generators
    P.D. Terry | Rhodes University, Published in 1996, 427 pages
66. Computational Category Theory
    D.E. Rydeheard, R.M. Burstall | , Published in 2001, 263 pages
67. State of the Art in Face Recognition
    Julio Ponce, Adem Karahoca | IN-TECH, Published in 2009, 436 pages
68. Rule-based Computation and Deduction
    Helene Kirchner, Pierre-Etienne Moreau | ESSLLI, Published in 2001, 100 pages
69. Compiler Construction
    William M. Waite, Gerhard Goos | Springer, Published in 1996, 372 pages
70. Theory of Quantum Information
    John Watrous | University of Calgary, Published in 2004, 125 pages
71. Real World Functional Programming
    Tomas Petricek, Jon Skeet, Yin Zhu | Manning Publications, Published in 2010, 500 pages
72. The World and Mind of Computation and Complexity
    Gregg Schaffter | , Published in 2013, 78 pages
73. Cryptography: An Introduction
    N.P. Smart | McGraw-Hill, Published in 2004, 436 pages
74. Readings in Database Systems
    J. M. Hellerstein, M. Stonebraker | UC Berkeley, Published in 1999
75. Elements of Programming
    Alexander Stepanov, Paul McJones | Semigroup Press, Published in 2019, 279 pages
76. Quantum Information and Computation
    John Preskill | California Institute of Technology, Published in 1998, 481 pages
77. Quantum Information Theory
    Robert H. Schumann | arXiv, Published in 2000, 88 pages
78. Building the Second Mind: 1956 and the Origins of Artificial Intelligence Computing
    Rebecca E. Skinner | UC Berkeley, Published in 2012, 214 pages
79. Big Data on Real-World Applications
    S. Ventura Soto, Jose M. Luna, Alberto Cano (eds) | InTech, Published in 2016, 122 pages
80. Programming Computer Vision with Python
    Jan Erik Solem | O'Reilly Media, Published in 2012, 300 pages
81. Computability and Complexity from a Programming Perspective
    Neil D. Jones | The MIT Press, Published in 1997, 485 pages
82. Jumpstart to Software Quality Assurance
    Vishnuvarthanan Moorthy | Smashwords, Published in 2013, 177 pages
83. Elements of Relational Database Theory
    Paris C. Kanellakis | Brown University Providence, Published in 1989, 79 pages
84. Quantum Cryptography
    N. Gisin, G. Ribordy, W. Tittel, H. Zbinden | arXiv, Published in 2001, 57 pages
85. Functional Programming and Parallel Graph Rewriting
    Rinus Plasmeijer, Marko van Eekelen | Addison-Wesley, Published in 1993, 592 pages
86. Exploring Programming Language Architecture in Perl
    Bill Hails | , Published in 2010, 368 pages
87. Complexity Theory
    Johan Håstad | , Published in 2008, 130 pages
88. Introduction to Autonomous Robots
    Nikolaus Correl | Magellan Scientific, Published in 2016, 226 pages
89. Functional Programming in Python
    David Mertz | O'Reilly Media, Published in 2015, 49 pages
90. Database design with UML and SQL
    Tom Jewett | , Published in 2006, 218 pages
91. An Introduction to Computer Security: The NIST Handbook
    National Institute of Standards and Technology | , Published in 2006, 296 pages
92. Data Science at the Command Line
    Jeroen Janssens | O'Reilly Media, Published in 2018, 219 pages
93. Cellular Automata And Complexity: Collected Papers
    Stephen Wolfram | Westview Press, Published in 1994, 608 pages
94. How to Write Parallel Programs: A First Course
    Nicholas Carriero, David Gelernter | MIT Press, Published in 1992, 246 pages
95. The Theory of Languages and Computation
    Jean Gallier, Andrew Hicks | University of Pennsylvania, Published in 2006, 109 pages
96. Quantum Hamiltonian Complexity
    S. Gharibian, Y. Huang, Z. Landau, S. W. Shin | arXiv, Published in 2014, 58 pages
97. Deep Learning: Technical Introduction
    Thomas Epelbaum | arXiv.org, Published in 2017, 106 pages
98. Deep Learning
    Yoshua Bengio, Ian Goodfellow, Aaron Courville | MIT Press, Published in 2014, 274 pages
99. Modern Information Systems
    Christos Kalloniatis | InTech, Published in 2012, 166 pages
100. Security Engineering: A Guide to Building Dependable Distributed Systems
     Ross J. Anderson, Ross Anderson | Wiley, Published in 2001, 640 pages
101. Project Oberon - The Design of an Operating System and Compiler
     Niklaus Wirth, Jürg Gutknecht | , Published in 2005, 441 pages
102. Foundations of Computer Science: C Edition
     Al Aho, Jeff Ullman | W. H. Freeman, Published in 1994, 786 pages
103. Network Coding Theory
     Raymond Yeung, S-Y Li, N Cai | Now Publishers Inc, Published in 2006, 154 pages
104. Quantum Walks: A Comprehensive Review
     Salvador E. Venegas-Andraca | arXiv, Published in 2012, 88 pages
105. Image Segmentation
     Pei-Gee Ho | InTech, Published in 2011, 538 pages
106. Elements of Robotics
     Mordechai Ben-Ari and Francesco Mondada | Springer, Published in 2018, 308 pages
107. Complexity and Computation
     Allen Downey | Green Tea Press, Published in 2011, 104 pages
108. Evolutionary Algorithms
     Eisuke Kita | InTech, Published in 2011, 584 pages
109. Machine Learning for Data Streams
     Albert Bifet, et al. | The MIT Press, Published in 2017, 288 pages
110. Compiler Design in C
     Allen I. Holub | Prentice-Hall, Published in 1990, 986 pages
111. Data Structures and Algorithm Analysis in Java
     Clifford A. Shaffer | Dover Publications, Published in 2012, 601 pages
112. Artificial Intelligence - Agent Behaviour
     William John Teahan | BookBoon, Published in 2010, 240 pages
113. Simulated Annealing
     Cher Ming Tan | IN-TECH, Published in 2008, 420 pages
114. A Graduate Course in Applied Cryptography
     Dan Boneh, Victor Shoup | cryptobook.us, Published in 2017, 818 pages
115. Theory and Applications for Advanced Text Mining
     Shigeaki Sakurai (ed.) | InTech, Published in 2012, 218 pages
116. Validating RDF Data
     Jose E. Labra Gayo, et al. | Morgan & Claypool, Published in 2018, 330 pages
117. Lecture Notes on Bucket Algorithms
     Luc Devroye | Birkhauser, Published in 1986, 142 pages
118. Knapsack Problems: Algorithms and Computer Implementations
     Silvano Martello, Paolo Toth | John Wiley & Sons, Published in 1990, 308 pages
119. Object Detection in Real Images
     Dilip K. Prasad | arXiv, Published in 2013, 123 pages
120. Cellular Automata
     | Wikibooks, Published in 2010
121. Practical Artificial Intelligence Programming in Java
     Mark Watson | Lulu.com, Published in 2008, 222 pages
122. Algorithms and Data Structures: With Applications to Graphics and Geometry
     Jurg Nievergelt, Klaus Hinrichs | Prentice Hall, Published in 2011, 299 pages
123. Think Complexity: Complexity Science and Computational Modeling
     Allen B. Downey | Green Tea Press, Published in 2012, 146 pages
124. Superconducting Qubits and Circuits
     Steven M. Girvin | Yale University, Published in 2011, 132 pages
125. Scientific Programming and Computer Architecture
     Divakar Viswanath | The MIT Press, Published in 2017, 624 pages
126. Forensic Discovery
     Dan Farmer, Wietse Venema | Addison-Wesley Professional, Published in 2005, 240 pages
127. Pattern Recognition
     Peng-Yeng Yin | IN-TECH, Published in 2008, 626 pages
128. A Mathematical Introduction to Robotic Manipulation
     Richard M. Murray, Zexiang Li, S. Shankar Sastry | CRC Press, Published in 1994, 474 pages
129. Applicative Computing: Its quarks, atoms and molecules
     V. E. Wolfengagen | JurInfoR, Published in 2010, 66 pages
130. Face Recognition
     Kresimir Delac, Mislav Grgic | InTech, Published in 2007, 558 pages
131. From Algorithms to Z-Scores: Probabilistic and Statistical Modeling in Computer Science
     Norm Matloff | University of California, Davis, Published in 2013, 486 pages
132. Design: Creation of Artifacts in Society
     Karl T. Ulrich | University of Pennsylvania, Published in 2011, 145 pages
133. Computer Science Concepts in Scratch
     Michal Armoni, Moti Ben-Ari | Weizmann Institute of Science, Published in 2013, 230 pages
134. Linkers and Loaders
     John R. Levine | Morgan Kaufmann, Published in 1999, 256 pages
135. Machine Vision: Automated Visual Inspection and Robot Vision
     David Vernon | Prentice Hall, Published in 1991, 260 pages
136. The Boundaries of Humanity: Humans, Animals, Machines
     J. Sheehan, M. Sosna | University of California Press, Published in 1991, 264 pages
137. GNU Compiler Collection (GCC) Internals
     | Free Software Foundation, Published in 2008
138. Security and Privacy for Microsoft Office 2010 Users
     Mitch Tulloch | Microsoft Press, Published in 2012, 98 pages
139. Randomized Algorithms
     Wolfgang Merkle | ESSLLI, Published in 2001, 46 pages
140. Human Robot Interaction
     Nilanjan Sarkar | InTech, Published in 2007, 522 pages
141. Practical Tips for Software-Intensive Student Projects
     Damith C. Rajapakse | , Published in 2008
142. Modeling with Data: Tools and Techniques for Scientific Computing
     Ben Klemens | Princeton University Press, Published in 2009, 470 pages
143. Programming on Parallel Machines
     Norm Matloff | University of California, Davis, Published in 2012, 410 pages
144. Semantics of Programming Languages
     Andrew M. Pitts | University of Cambridge, Published in 2002, 97 pages
145. Measures and Applications of Quantum Correlations
     G. Adesso, T.R. Bromley, M. Cianciaruso | arXiv, Published in 2016, 75 pages
146. Spatial Thinking in Planning Practice: An Introduction to GIS
     Y. Fang, V. Shandas, E. Arriaga Cordero | Portland State University, Published in 2014, 59 pages
147. Nature of Geographic Information
     David DiBiase | BCcampus, Published in 2014, 261 pages
148. The Developer Highway Code
     Paul Maher, Alex Mackman | Microsoft Press, Published in 2006, 163 pages
149. GIS Commons: An Introductory Textbook on Geographic Information Systems
     Michael Schmandt | giscommons.org, Published in 2017, 232 pages
150. Conditional Rate Distortion Theory
     Robert M. Gray | Information Systems Laboratory, Published in 1972, 22 pages
151. Introduction to Information Retrieval
     Manning, Raghavan, Schütze | Cambridge University Press, Published in 2008, 496 pages
152. Cryptography, A Study on Secret Writings
     Andre Langie | Aegean Park Press, Published in 1922, 238 pages
153. The Playful Machine
     Ralf Der, Georg Martius | Springer, Published in 2011, 353 pages
154. Artificial Neural Networks
     | Wikibooks, Published in 2010
155. Mathematics for Classical Information Retrieval
     Dariush Alimohammadi, Mary K. Bolin | Zea E-Books, Published in 2010, 89 pages
156. Elasticsearch: The Definitive Guide
     Clinton Gormley, Zachary Tong | O'Reilly, Published in 2015, 724 pages
157. Evolved to Win
     Moshe Sipper | Lulu.com, Published in 2011, 193 pages
158. Computability, Unsolvability, Randomness
     Stephen G. Simpson | The Pennsylvania State University, Published in 2009, 151 pages
159. Understanding Machine Learning: From Theory to Algorithms
     Shai Shalev-Shwartz, Shai Ben-David | Cambridge University Press, Published in 2014, 449 pages
160. The Design of Functional Programs - A Calculational Approach
     Dr. Robert Richard Hoogerwoord | Technische Universiteit Eindhoven, Published in 1989, 228 pages
161. Inductive Logic Programming: Theory and Methods
     Stephen Muggleton, Luc de Raedt | ScienceDirect, Published in 1994, 51 pages
162. An Introduction to Compilers
     Dirk Vermeir | Vrije Universiteit Brussel, Published in 2009, 191 pages
163. Information Systems Foundations: The Role of Design Science
     Dennis Hart, Shirley Gregor | ANU Press, Published in 2010, 318 pages
164. A Computer Science Tapestry: Exploring Computer Science with C++
     Owen L. Astrachan | McGraw - Hill, Published in 1999, 879 pages
165. Essential Coding Theory
     Venkatesan Guruswami, Atri Rudra, Madhu Sudan | University at Buffalo, Published in 2014, 266 pages
166. Strategies for Sustaining Digital Libraries
     K. Skinner, M. Halbert | Emory University Digital Library, Published in 2008, 123 pages
167. Write You a Haskell: Building a modern functional compiler from first principles
     Stephen Diehl | StephenDiehl.com, Published in 2015, 246 pages
168. A Framework for Enabling Distributed Applications on the Internet
     Mark Anthony McLaughlin | arXiv, Published in 2006, 133 pages
169. Information-Theoretic Incompleteness
     Gregory J. Chaitin | World Scientific, Published in 1992, 238 pages
170. Statistical Foundations of Machine Learning
     Gianluca Bontempi, Souhaib Ben Taieb | , Published in 2017, 269 pages
171. Human and Machine Consciousness
     David Gamez | Open Book Publishers, Published in 2018, 222 pages
172. Cellular Automata: Simplicity Behind Complexity
     Alejandro Salcido | InTech, Published in 2011, 566 pages
173. Algorithmic Randomness and Complexity
     R. G. Downey, D. R. Hirschfeldt | Springer, Published in 2010, 629 pages
174. An Introductory Study on Time Series Modeling and Forecasting
     Ratnadip Adhikari, R. K. Agrawal | arXiv, Published in 2013, 67 pages
175. Formal Languages
     Keijo Ruohonen | Tampere University of Technology, Published in 2009, 98 pages
176. Introduction To Machine Learning
     Nils J Nilsson | , Published in 1997, 209 pages
177. Data Mining and Knowledge Discovery in Real Life Applications
     Julio Ponce, Adem Karahoca | InTech, Published in 2009, 464 pages
178. Software Engineering with Reusable Components
     Johannes Sametinger | Springer, Published in 2001, 285 pages
179. Semantics: Advances in Theories and Mathematical Models
     Muhammad Tanvir Afzal (ed.) | InTech, Published in 2012, 284 pages
180. Modelling and Simulation
     Giuseppe Petrone, Giuliano Cammarata | InTech, Published in 2008, 688 pages
181. Introduction to Quantum Algorithms for Physics and Chemistry
     Man-Hong Yung, et al. | arXiv, Published in 2012, 44 pages
182. Introduction to Parallel Computing
     Blaise Barney | Lawrence Livermore National Laboratory, Published in 2010, 187 pages
183. Brief Primer on the Fundaments of Quantum Computing
     Richard L Amoroso | viXra.org, Published in 2018, 140 pages
184. Crafting Interpreters: A handbook for making programming languages
     Robert Nystrom | craftinginterpreters.com, Published in 2015, 195 pages
185. Stereo Vision
     Asim Bhatti | InTech, Published in 2008, 372 pages
186. Handbook of Information Security Management
     Micki Krause, Harold F. Tipton | Auerbach Publications, Published in 1997, 752 pages
187. An Introduction to the Theory of Computation
     Eitan Gurari | Computer Science Pr, Published in 1989, 600 pages
188. Programming in Martin-Lof's Type Theory: An Introduction
     Bengt Nordstrom, Kent Petersson, Jan M. Smith | Oxford University Press, Published in 1990, 211 pages
189. Professor Frisby's Mostly Adequate Guide to Functional Programming
     | GitBook, Published in 2015, 70 pages
190. Handbook of Knowledge Representation
     Frank van Harmelen, Vladimir Lifschitz, Bruce Porter | Elsevier Science, Published in 2008, 1035 pages
191. Mapping and the Citizen Sensor
     Giles Foody, et al. | Ubiquity Press, Published in 2017, 400 pages
192. Mathematics and Computation
     Avi Wigderson | Princeton University Press, Published in 2019, 340 pages
193. Planning Algorithms
     Steven M. LaValle | Cambridge University Press, Published in 2006, 842 pages
194. Common LISP: A Gentle Introduction to Symbolic Computation
     David S. Touretzky | Benjamin-Cummings Pub Co, Published in 1990, 587 pages
195. An introduction to Cryptography
     Phil Zimmermann | , Published in 1998, 80 pages
196. Exploring Discrete Dynamics
     Andrew Wuensche | Luniver Press, Published in 2011, 536 pages
197. Computational Linguistics
     Igor Boshakov, Alexander Gelbukh | , Published in 2004, 198 pages
198. Data Structures and Algorithms
     John Morris | , Published in 1998, 218 pages
199. The Laws of Cryptography with Java Code
     Neal R. Wagner | Univ. of Texas San Antonio, Published in 2003, 334 pages
200. Algorithms for Modular Elliptic Curves
     J. E. Cremona | Cambridge University Press, Published in 1992, 351 pages
201. A Brief Introduction to Machine Learning for Engineers
     Osvaldo Simeone | arXiv.org, Published in 2017, 237 pages
202. Computability Theory
     Wilfried Sieg | Carnegie Mellon University, Published in 2006, 125 pages
203. How to think like a Computer Scientist (C++ Version)
     Allen B. Downey | , Published in 1999, 189 pages
204. ROSE Compiler Framework
     | Wikibooks, Published in 2014, 226 pages
205. Cracking Codes with Python
     Al Sweigart | inventwithpython.com, Published in 2018, 420 pages
206. The Open-source PKI Book
     Symeon Xenitellis | OpenCA Team, Published in 2000, 98 pages
207. The Temple of Quantum Computing
     Riley T. Perry | , Published in 2004, 250 pages
208. Dynamic Modelling
     Alisson V. Brito | InTech, Published in 2010, 300 pages
209. Bayesian Reasoning and Machine Learning
     David Barber | Cambridge University Press, Published in 2011, 644 pages
210. Information and Coding
     Karl Petersen | AMS, Published in 2018, 63 pages
211. Compiler Construction
     Niklaus Wirth | Addison-Wesley Pub, Published in 1996, 131 pages
212. Introduction to Computer Science using Java
     Bradley Kjell | Central Connecticut State University, Published in 2006
213. Search Algorithms and Applications
     Nashat Mansour | InTech, Published in 2011, 494 pages
214. Military Cryptanalysis
     William F. Friedman | NSA, Published in 1936, 984 pages
215. Logic and Automata: History and Perspectives
     Jorg Flum (ed) | Amsterdam University Press, Published in 2007, 737 pages
216. Internet Informed: Guidance for the Dedicated Searcher
     David Novak | The Spire Project, Published in 2007, 334 pages
217. Introduction to Controlled Vocabularies: Terminologies for Art, Architecture, and Other Cultural Works
     Patricia Harpring | Getty Research Institute, Published in 2010, 259 pages
218. A Quick and Gentle Guide to Constraint Logic Programming via ECLiPSe
     Antoni Niederlinski | , Published in 2011, 454 pages
219. Recent Advances in Face Recognition
     Kresimir Delac, Mislav Grgic, Marian Stewart Bartlett | IN-TECH, Published in 2008, 236 pages
220. Around Kolmogorov Complexity: Basic Notions and Results
     Alexander Shen | arXiv.org, Published in 2015, 51 pages
221. The Functional Analysis of Quantum Information Theory
     Ved Prakash Gupta, Prabha Mandayam, V. S. Sunder | arXiv, Published in 2014, 123 pages
222. Introduction to Data Science
     Jeffrey Stanton | , Published in 2013, 196 pages
223. Data Structures and Algorithm Analysis in C++
     Clifford A. Shaffer | Dover Publications, Published in 2012, 613 pages
224. Genetic Programming: New Approaches and Successful Applications
     Sebastian Ventura (ed.) | InTech, Published in 2012, 284 pages
225. Robot Motion Planning and Control
     Jean-Paul Laumond | Springer, Published in 1998
226. Voice Communication with Computers: Conversational Systems
     C. Schmandt | Van Nostrand Reinhold, Published in 1993, 319 pages
227. Homotopy Type Theory
     Peter Aczel, et al. | Institute for Advanced Study, Published in 2013, 599 pages
228. Modern Robotics with OpenCV
     Widodo Budiharto | Science Publishing Group, Published in 2014, 224 pages
229. Image Processing in C: Analyzing and Enhancing Digital Images
     Dwayne Philipps | R & D Books, Published in 1997, 816 pages
230. The Quest for Artificial Intelligence
     Nils J. Nilsson | Cambridge University Press, Published in 2009, 707 pages
231. Algorithms and Data Structures for External Memory
     Jeffrey Scott Vitter | Now Publishers, Published in 2008, 191 pages
232. Learning Deep Architectures for AI
     Yoshua Bengio | Now Publishers, Published in 2009, 130 pages
233. Advances in Stereo Vision
     Jose R.A. Torreao | InTech, Published in 2011, 120 pages
234. Introduction to Programming for Image Analysis with VTK
     Xenophon Papademetris | Image Processing and Analysis Group, Published in 2006, 238 pages
235. An Introduction to Quantum Computing using Cavity QED concepts
     Zachary Burell | arXiv, Published in 2012, 53 pages
236. Basic Concepts in Quantum Computation
     Artur Ekert, Patrick Hayden, Hitoshi Inamori | arXiv, Published in 2000, 37 pages
237. Deep Learning Tutorial
     LISA lab | University of Montreal, Published in 2015, 173 pages
238. Entropy and Information Theory
     Robert M. Gray | Springer, Published in 2008, 313 pages
239. Linked Data: Evolving the Web into a Global Data Space
     Tom Heath, Christian Bizer | Morgan & Claypool, Published in 2011
240. Building Blocks for Theoretical Computer Science
     Margaret M. Fleck | University of Illinois, Urbana-Champaign, Published in 2013, 271 pages
241. Image Fusion and Its Applications
     Yufeng Zheng | InTech, Published in 2011, 242 pages
242. Policing Cyber Crime
     Petter Gottschalk | BookBoon, Published in 2010, 150 pages
243. Natural Language Processing for Prolog Programmers
     Michael A. Covington | Prentice-Hall, Published in 1994, 361 pages
244. Data Structures and Algorithms
     Catherine Leung | GitBook, Published in 2017, 126 pages
245. Document Image Analysis
     Lawrence O'Gorman, Rangachar Kasturi | , Published in 1997, 125 pages
246. Foundations of Computer Science
     Lawrence C Paulson | University of Cambridge, Published in 2000, 155 pages
247. A Practical Theory of Programming
     Eric C.R. Hehner | Springer, Published in 2006, 243 pages
248. Purely Functional Data Structures
     Chris Okasaki | Carnegie Mellon University, Published in 1996, 162 pages
249. A Gentle Introduction to GIS
     T. Sutton, O. Dassau, M. Sutton | , Published in 2009, 113 pages
250. An Introduction to Quantum Computing for Non-Physicists
     Eleanor G. Rieffel, Wolfgang Polak | arXiv, Published in 2000, 45 pages
251. Elementary Algorithms
     Larry LIU Xinyu | Github, Published in 2016, 622 pages
252. Cryptography and Data Security
     Dorothy Elizabeth Robling Denning | Addison-Wesley, Published in 1982, 419 pages
253. The Theory of Relational Databases
     David Maier | Computer Science Press, Published in 1983, 656 pages
254. Mastering the Information Age: Solving Problems With Visual Analytics
     Daniel Keim, et al. | Eurographics Association, Published in 2010, 182 pages
255. Artificial Neural Networks: Methodological Advances and Biomedical Applications
     Kenji Suzuki | InTech, Published in 2011, 362 pages
256. Computability and Complexity
     | Wikibooks, Published in 2010
257. Information Theory and Coding
     John Daugman | University of Cambridge, Published in 2009, 75 pages
258. P, NP, and NP-Completeness: The Basics of Complexity Theory
     Oded Goldreich | Cambridge University Press, Published in 2010, 190 pages
259. An Introduction to Ontology Engineering
     Maria Keet | , Published in 2018, 270 pages
260. Swarm Robotics: From Biology to Robotics
     Ester Martinez Martin | InTech, Published in 2010, 110 pages
261. Basics of Compiler Design
     Torben Mogensen | Lulu.com, Published in 2007, 277 pages
262. The Conception, Evolution, and Application of Functional Programming Languages
     Paul Hudak | Yale University, Published in 1989, 53 pages
263. An Introduction to Many Worlds in Quantum Computation
     Clare Hewitt-Horsman | arXiv, Published in 2009, 38 pages
264. Quantum Information Meets Quantum Matter
     Bei Zeng, et al. | Springer, Published in 2015, 349 pages
265. The Design and Implementation of Probabilistic Programming Languages
     Noah D. Goodman, Andreas Stuhlmüller | dippl.org, Published in 2016, 215 pages
266. Introduction to Computational Complexity
     Martin Tompa | , Published in 1991, 85 pages
267. Type Systems for Programming Languages
     Robert Harper | , Published in 2000, 199 pages
268. Computer Vision Metrics: Survey, Taxonomy, and Analysis
     Scott Krig | Springer, Published in 2014, 498 pages
269. Handbook of Software Reliability Engineering
     Michael R. Lyu | McGraw-Hill, Published in 1996, 850 pages
270. Distributed Detection and Estimation in Wireless Sensor Networks
     Sergio Barbarossa, Stefania Sardellitti, Paolo Di Lorenzo | arXiv, Published in 2013, 92 pages
271. Implementing Programming Languages
     Aarne Ranta | , Published in 2012, 133 pages
272. The Nature of Code: Simulating Natural Systems with Processing
     Daniel Shiffman | The Nature of Code, Published in 2012, 520 pages
273. Using and Porting the GNU Compiler Collection (GCC)
     Vincent Chung | Free Software Foundation, Inc., Published in 2001
274. Introduction to Machine Learning
     Alex Smola, S.V.N. Vishwanathan | Cambridge University Press, Published in 2008, 234 pages
275. Programming Languages: Theory and Practice
     Robert Harper | Carnegie Mellon University, Published in 2005, 277 pages
276. Problems on Algorithms, 2nd edition
     Ian Parberry, William Gasarch | Prentice Hall, Published in 2002, 268 pages
277. Safeguarding Your Technology
     Tom Szuba | NCES, Published in 1998
278. Computer Science: Abstraction to Implementation
     Robert M. Keller | Harvey Mudd College, Published in 2001, 627 pages
279. A New Kind of Science
     Stephen Wolfram | Wolfram Media, Published in 2002, 1192 pages
280. Compiler Construction using Flex and Bison
     Anthony A. Aaby | Walla Walla College, Published in 2004, 102 pages
281. Concurrent Programming in Erlang
     Robert Virding, Claes Wikstrom, Mike Williams | Prentice Hall PTR, Published in 1996, 205 pages
282. Machine Learning, Neural and Statistical Classification
     D. Michie, D. J. Spiegelhalter | Ellis Horwood, Published in 1994, 298 pages
283. Practical Foundations for Programming Languages
     Robert Harper | Carnegie Mellon University, Published in 2016, 580 pages
284. Understanding Programming Languages
     Monti Ben-Ari | John Wiley & Sons, Published in 1996, 322 pages
285. A Programmer's Guide to Data Mining
     Ron Zacharski | GuideToDatamining.com, Published in 2014
286. Human Computer Interaction: New Developments
     Kikuo Asai | InTech, Published in 2008, 382 pages
287. Delftse Foundations of Computation
     Stefan Hugtenburg, Neil Yorke-Smith | TU Delft Open, Published in 2018, 176 pages
288. Parallel and Distributed Computation: Numerical Methods
     Dimitri P. Bertsekas, John Tsitsiklis | Athena Scientific, Published in 2003
289. Introduction to Vocabularies: Enhancing Access to Cultural Heritage Information
     Elisa Lanzi | Oxford University Press, Published in 1998, 72 pages
290. What If Crime Were Impossible?
     N. Richard Wagner | Univ. of Texas San Antonio, Published in 2002, 303 pages
291. A Guide to Documentary Editing
     Mary-Jo Kline, Susan Holbrook Perdue | University of Virginia Press, Published in 2008, 352 pages
292. Recursion Theory
     Frank Stephan | National University of Singapore, Published in 2009, 125 pages
293. Petri Nets: Manufacturing and Computer Science
     Pawel Pawlewski (ed.) | InTech, Published in 2012, 492 pages
294. Foundations of Machine Learning
     M. Mohri, A. Rostamizadeh, A. Talwalkar | The MIT Press, Published in 2018, 504 pages
295. Introduction to Metadata
     Tony Gill, at al. | Getty Publications, Published in 2008
296. Motion Planning
     Xing-Jian Jing | InTech, Published in 2008, 598 pages
297. Program Analysis (an Appetizer)
     Flemming Nielson, Hanne Riis Nielson | arXiv.org, Published in 2020, 208 pages
298. Understanding and Writing Compilers
     Richard Bornat | Middlesex University, Published in 2008, 435 pages
299. Case Studies in Systematic Software Development
     Cliff B. Jones and Robert C. F. Shaw | Prentice Hall, Published in 1990, 405 pages
300. Database Design - 2nd Edition
     Adrienne Watt | BCcampus, Published in 2014, 358 pages
301. Global Optimization Algorithms: Theory and Application
     Thomas Weise | , Published in 2008, 842 pages
302. Internet Advertising
     S. Yuan, A.Z. Abidin, M. Sloan, J. Wang | arXiv, Published in 2012, 44 pages
303. Anisotropic Diffusion in Image Processing
     Joachim Weickert | Teubner, Published in 1998, 184 pages
304. Compiler Design: Theory, Tools, and Examples
     Seth D. Bergmann | Rowan University, Published in 2010, 284 pages
305. Frontiers in Evolutionary Robotics
     Hitoshi Iba | InTech, Published in 2008, 596 pages
306. Problem Solving with Algorithms and Data Structures Using Python
     Brad Miller, David Ranum | Franklin, Beedle & Associates, Published in 2011, 438 pages
307. Software Engineering
     Ivan Marsic | Rutgers University, Published in 2008, 389 pages
308. Machine Perception
     Ramakant Nevatia | Prentice-Hall, Published in 1982, 224 pages
309. Function Points Analysis Training Course
     David Longstreet | SoftwareMetrics.Com, Published in 2008, 111 pages
310. Introduction to Modern Cryptography
     Mihir Bellare, Phillip Rogaway | University of California at Davis, Published in 2005, 283 pages
311. A primer on information theory, with applications to neuroscience
     Felix Effenberger | arXiv, Published in 2013, 58 pages
312. From Bricks to Brains: The Embodied Cognitive Science of LEGO
     M. Dawson, B. Dupuis, M. Wilson | AU Press, Published in 2010, 354 pages
313. Memristor and Memristive Neural Networks
     Alex Pappachen James (ed.) | InTech, Published in 2018, 324 pages
314. JPEG: Idea and Practice
     | Wikibooks, Published in 2011
315. Essentials of Geographic Information Systems
     Jonathan Campbell, Michael Shin | Saylor Foundation, Published in 2011, 259 pages
316. Prolog Experiments in Discrete Mathematics, Logic, and Computability
     James Hein | Portland State University, Published in 2009, 158 pages
317. Data Structures and Algorithms: Annotated Reference with Examples
     Granville Barnett, Luca Del Tongo | DotNetSlackers, Published in 2008, 112 pages
318. Let Over Lambda: 50 Years of Lisp
     Doug Hoyte | Lulu.com, Published in 2008, 384 pages
319. Data Compression Explained
     Matt Mahoney | mattmahoney.net, Published in 2013
320. Visual Reconstruction
     Andrew Blake, Andrew Zisserman | The MIT Press, Published in 1987, 232 pages
321. Notes on Automata, Logics, Games and Algebra
     K Narayan Kumar | Chennai Mathematical Institute, Published in 2007
322. Robot Vision
     Ales Ude | InTech, Published in 2010, 624 pages
323. Modeling Simulation and Optimization: Focus on Applications
     Shkelzen Cakaj | InTech, Published in 2010, 320 pages
324. Bayesian Network
     Ahmed Rebai (ed.) | InTech, Published in 2010, 442 pages
325. Probabilistic Models in the Study of Language
     Roger Levy | University of California, San Diego, Published in 2012, 274 pages
326. Mathematics of Human Motion: from Animation towards Simulation
     A.I. Zhmakin | arXiv, Published in 2011, 91 pages
327. Speech and Language Processing
     Dan Jurafsky, James H. Martin | Stanford University, Published in 2017, 499 pages
328. Essentials of Theoretical Computer Science
     F. D. Lewis | University of Kentucky, Published in 2001, 287 pages
329. Dictionary of Programming Languages
     Neal Ziring | , Published in 1998
330. Exploring ReasonML and Functional Programming
     Axel Rauschmayer | ReasonML Hub, Published in 2018, 485 pages
331. Cyberbotics' Robot Curriculum
     Olivier Michel, Fabien Rohrer, Nicolas Heiniger | Wikibooks, Published in 2010, 121 pages
332. Average Case Analysis of Algorithms on Sequences
     Wojciech Szpankowski | Wiley-Interscience, Published in 2001, 576 pages
333. Interacting with Presence
     Giuseppe Riva | De Gruyter Open, Published in 2014, 188 pages
334. Computational Intelligence and Modern Heuristics
     Al-Dahoud Ali | InTech, Published in 2010, 356 pages
335. Information Theory and Statistical Physics
     Neri Merhav | arXiv, Published in 2010, 176 pages
336. Think Data Structures
     Allen B. Downey | Green Tea Press, Published in 2016, 187 pages
337. Self-Organizing Maps
     George K Matsopoulos | InTech, Published in 2010, 430 pages
338. Encyclopedia of Computational Intelligence
     Eugene M. Izhikevich, at al. | Scholarpedia, Published in 2009
339. The Thousand Faces of Virtual Reality
     Cecilia Sik Lanyi (ed.) | InTech, Published in 2014, 170 pages
340. Comparative Studies of Programming Languages
     Joey Paquet, Serguei A. Mokhov | arXiv, Published in 2010, 66 pages
341. Algorithms for Reinforcement Learning
     Csaba Szepesvari | Morgan and Claypool Publishers, Published in 2009, 98 pages
342. The Fourth Paradigm: Data-Intensive Scientific Discovery
     Tony Hey, Stewart Tansley, Kristin Tolle | Microsoft Research, Published in 2009, 287 pages
343. Fundamentals of Cryptology: A Professional Reference and Interactive Tutorial
     Henk C. A. van Tilborg | Springer, Published in 1999, 503 pages
344. Bibliometrics as a Research Field
     W. Glänzel | , Published in 2003, 115 pages
345. Swarm Intelligence: Focus on Ant and Particle Swarm Optimization
     Felix T.S. Chan, Manoj K. Tiwari | InTech, Published in 2007, 532 pages
346. Advances in Human Computer Interaction
     Shane Pinder | InTech, Published in 2008, 600 pages
347. IT Security Cookbook
     Sean Boran | Boran Consulting, Published in 2003
348. Security+ Essentials
     | Techotopia, Published in 2008
349. Bison: The Yacc-compatible Parser Generator
     Charles Donnelly, Richard Stallman | Free Software Foundation, Published in 2009, 176 pages
350. Scene Reconstruction Pose Estimation and Tracking
     Rustam Stolkin | InTech, Published in 2007, 530 pages
351. Markets for Cybercrime Tools and Stolen Data: Hackers' Bazaar
     Lillian Ablon, Martin C. Libicki, Andrea A. Golay | RAND Corporation, Published in 2014, 83 pages
352. Reinforcement Learning: An Introduction
     Richard S. Sutton, Andrew G. Barto | The MIT Press, Published in 2017, 445 pages
353. A Machine Made this Book: Ten Sketches of Computer Science
     John Whitington | Coherent Press, Published in 2016, 201 pages
354. Information Systems
     Richard T. Watson | Global Text Project, Published in 2007, 308 pages
355. The New Software Engineering
     Sue Conger | Global Text Project, Published in 2008, 403 pages
356. Picture Interpretation: A Symbolic Approach
     S. Dance, Z.Q. Liu, T.M. Caelli | World Scientific, Published in 1995
357. Machine Learning: A Probabilistic Perspective
     Kevin Patrick Murphy | The MIT Press, Published in 2012, 1098 pages
358. A Short Course in Information Theory
     David J. C. MacKay | University of Cambridge, Published in 1995
359. Quantum Computer Science
     David Mermin | Cambridge University Press, Published in 2007, 236 pages
360. Boosting: Foundations and Algorithms
     Robert E. Schapire, Yoav Freund | The MIT Press, Published in 2014, 544 pages
361. Natural Language Processing Succinctly
     Joseph D. Booth | Syncfusion, Inc., Published in 2018, 93 pages
362. Lecture Notes on Cryptography
     Shafi Goldwasser, Mihir Bellare | , Published in 2008, 289 pages
363. Lecture Notes on the Lambda Calculus
     Peter Selinger | Dalhousie University, Published in 2007, 106 pages
364. Optimal and Learning Control for Autonomous Robots
     Jonas Buchli, et al. | arXiv.org, Published in 2017, 101 pages
365. The Practice of Parallel Programming
     Sergey A. Babkin | CreateSpace, Published in 2010, 422 pages
366. Insight into Theoretical and Applied Informatics
     Andrzej Yatsko, Walery Suslow | De Gruyter Open, Published in 2016, 117 pages
367. Computers and Thought: A practical Introduction to Artificial Intelligence
     Mike Sharples, et al. | A Bradford Book, Published in 1989, 401 pages
368. Python Scripting for Spatial Data Processing
     Pete Bunting, Daniel Clewley | Aberystwyth University, Published in 2013, 194 pages
369. Efficient Algorithms for Sorting and Synchronization
     Andrew Tridgell | samba.org, Published in 1999, 115 pages
370. Programming in Standard ML
     Robert Harper | Carnegie Mellon University, Published in 2011, 297 pages
371. Satellite Positioning: Methods, Models and Applications
     Shuanggen Jin (ed.) | InTech, Published in 2015, 212 pages
372. Introduction to Complexity Theory
     Oded Goldreich | , Published in 1999, 375 pages
373. Databases, Types, and The Relational Model: The Third Manifesto
     C.J. Date, Hugh Darwen | Addison Wesley, Published in 2014, 604 pages
374. Computer Science from the Bottom Up
     Ian Wienand | bottomupcs.com, Published in 2013
375. XML and Databases
     Ronald Bourret | , Published in 2005
376. A Maximum Entropy Approach to Natural Language Processing
     A. L. Berger, S. A. Della Pietra, V. J. Della Pietra | Association for Computational Linguistics, Published in 1996, 36 pages
377. Data Modeling Techniques for Data Warehousing
     Chuck Ballard, et al. | IBM Redbooks, Published in 1998, 216 pages
378. Parallel Algorithms
     Henri Casanova, et al. | CRC Press, Published in 2008, 348 pages
379. Compositional Semantics
     Gary Hardegree | UMass Amherst, Published in 2009, 350 pages
380. Statistical Learning and Sequential Prediction
     Alexander Rakhlin, Karthik Sridharan | University of Pennsylvania, Published in 2014, 261 pages
381. Neural Network Design
     Martin T. Hagan, et al. | , Published in 2014, 1012 pages
382. Parsing Techniques: A Practical Guide
     Dick Grune, Ceriel J. H. Jacobs | Ellis Horwood Ltd, Published in 1998, 318 pages
383. Lectures on the Curry-Howard Isomorphism
     Morten Heine B. Sorensen, Pawel Urzyczyn | Elsevier Science, Published in 2006, 273 pages
384. A Balanced Introduction to Computer Science
     David Reed | Prentice Hall, Published in 2004, 400 pages
385. Language, Proof and Logic
     Jon Barwise, John Etchemendy | Center for the Study of Language, Published in 2011, 620 pages
386. Principles of Geographic Information Systems
     O. Huisman, R.A. de By (ed.) | ITC, Published in 2009, 540 pages
387. Introduction to Theory of Computation
     Anil Maheshwari, Michiel Smid | Carleton University, Published in 2012, 246 pages
388. Natural Language Processing with Python
     Steven Bird, Ewan Klein, Edward Loper | O'Reilly Media, Published in 2009, 512 pages
389. Discovering Information Systems
     Jean-Paul Van Belle, Jane Nash, Mike Eccles | Global Text Project, Published in 2003, 175 pages
390. Algorithms
     Ian Craw, John Pulham | University of Aberdeen, Published in 1999, 120 pages
391. Lecture Notes on Network Information Theory
     Abbas El Gamal, Young-Han Kim | arXiv, Published in 2010, 640 pages
392. Computer Simulation Techniques - The Definitive Introduction
     Harry Perros | NC State University, Published in 2008, 187 pages
393. CS for All
     Christine Alvarado, et al. | Harvey Mudd College, Published in 2013, 311 pages
394. Concrete Abstractions: An Introduction to Computer Science Using Scheme
     Max Hailperin, Barbara Kaiser, Karl Knight | Course Technology, Published in 1998, 670 pages
395. Security Concepts
     Travis H. | subspacefield.org, Published in 2010, 244 pages
396. An introduction to one-way quantum computing in distributed architectures
     Earl T. Campbell, Joseph Fitzsimons | arXiv, Published in 2009, 42 pages
397. Mathematical Foundations of Automata Theory
     Jean-Eric Pin | , Published in 2012, 310 pages
398. Image Processing in Optical Coherence Tomography using Matlab
     Robert Koprowski, Zygmunt Wrobel | University of Silesia,, Published in 2011, 175 pages
399. Certified Programming with Dependent Types
     Adam Chlipala | , Published in 2011, 371 pages
400. Machine Learning for Designers
     Patrick Hebron | O'Reilly Media, Published in 2016, 79 pages
401. Autonomous Agents
     Vedran Kordic | InTech, Published in 2010, 138 pages
402. Introduction to Machine Learning for the Sciences
     Titus Neupert, et al. | arXiv.org, Published in 2021, 80 pages
403. Partial Evaluation and Automatic Program Generation
     Neil D. Jones, Carsten K. Gomard, Peter Sestoft | Prentice Hall, Published in 1993, 400 pages
404. Artificial Intelligence through Prolog
     Neil C. Rowe | Prentice-Hall, Published in 1988, 481 pages
405. Models of Computation: Exploring the Power of Computing
     John E. Savage | Addison-Wesley, Published in 1998, 698 pages
406. Quantum Information: primitive notions and quantum correlations
     Valerio Scarani | arXiv, Published in 2009, 74 pages
407. Communication Complexity (for Algorithm Designers)
     Tim Roughgarden | Stanford University, Published in 2015, 150 pages
408. Quantum Algorithms
     Michele Mosca | arXiv, Published in 2008, 71 pages
409. Vision Systems
     David Marshall | Cardiff School of Computer Science, Published in 1997
410. Programming Languages: Application and Interpretation
     Shriram Krishnamurthi | Lulu.com, Published in 2007, 376 pages
411. Computer Science I
     Chris Bourke | University of Nebraska - Lincoln, Published in 2017, 643 pages
412. The GENTLE Compiler Construction System
     Friedrich Wilhelm Schröer | R. Oldenbourg Verlag, Published in 2005, 143 pages
413. Algorithms and Data Structures
     Niklaus Wirth | Prentice Hall, Published in 1985, 212 pages
414. The Z Notation: A Reference Manual
     J. M. Spivey | Prentice Hall, Published in 1992, 168 pages
415. An Introduction to Statistical Learning
     G. James, D. Witten, T. Hastie, R. Tibshirani | Springer, Published in 2013, 440 pages
416. A Rosetta Stone for Quantum Mechanics with an Introduction to Quantum Computation
     Samuel J. Lomonaco, jr | arXiv, Published in 2000, 97 pages
417. Information Systems Foundations: Constructing and Criticising
     Dennis Hart, Shirley Gregor | ANU E Press, Published in 2005, 234 pages
418. Tree Automata Techniques and Applications
     H. Comon, M. Dauchet, R. Gilleron | , Published in 2008, 262 pages
419. Fault Detection
     Wei Zhang | InTech, Published in 2010, 512 pages
420. Shape Interrogation for Computer Aided Design and Manufacturing
     Nicholas M. Patrikalakis, Takashi Maekawa | Springer, Published in 2009, 408 pages
421. Introduction to High-Performance Scientific Computing
     Victor Eijkhout | University of Texas, Published in 2014, 535 pages
422. Practical Cryptography With Go
     Kyle Isom | Leanpub, Published in 2014, 226 pages
423. Vector Models for Data-Parallel Computing
     Guy Blelloch | The MIT Press, Published in 1990, 268 pages
424. Best of Both Worlds: Museums, Libraries, and Archives in a Digital Age
     G. Wayne Clough | Smithsonian Books, Published in 2013, 77 pages
425. Computational Science Education Project
     | CSEP, Published in 1996
426. Face Recognition
     Milos Oravec | InTech, Published in 2010, 412 pages
427. Virtual Reality: Human Computer Interaction
     Xin-Xing Tang (ed.) | InTech, Published in 2012, 306 pages
428. Database Explorations
     C.J. Date, Hugh Darwen | , Published in 2013, 544 pages
429. Understanding Computer Simulation
     Roger McHaney | BookBoon, Published in 2009, 172 pages
430. Design and Analysis of Computer Algorithms
     David M. Mount | University of Maryland, Published in 2003, 135 pages
431. The Elements of Computing Systems
     Noam Nisan, Shimon Schocken | MIT Press, Published in 2005, 410 pages
432. Formal Syntax and Semantics of Programming Languages
     Kenneth Slonneger, Barry L. Kurtz | Addison Wesley Longman, Published in 1994, 637 pages
433. Of the Evolution of the Brain
     Allessandro Treves, Yasser Roudi | SISSA, Published in 2010, 50 pages
434. Reinforcement Learning and Optimal Control
     Dimitri P. Bertsekas | Athena Scientific, Published in 2019, 276 pages
435. Algorithmic Information Theory
     Peter D. Gruenwald, Paul M.B. Vitanyi | CWI, Published in 2007, 37 pages
436. A Guide to Claims-Based Identity and Access Control
     Dominick Baier, at al. | Microsoft Press, Published in 2010, 148 pages
437. Security and Privacy in Wireless and Mobile Networks
     Georgios Kambourakis, et al. | MDPI AG, Published in 2018, 174 pages
438. Data Mining in Medical and Biological Research
     Eugenia G. Giannopoulou | InTech, Published in 2008, 320 pages
439. Open Data Structures: An Introduction
     Pat Morin | AU Press, Published in 2013, 336 pages
440. Encyclopedia of Computational Neuroscience
     Eugene M. Izhikevich, at al. | Scholarpedia, Published in 2009
441. Quantum Information Theory
     Renato Renner | ETH Zurich, Published in 2015, 187 pages
442. Applications of ICT in Libraries
     | Wikibooks, Published in 2015, 268 pages
443. Computational Complexity: A Conceptual Perspective
     Oded Goldreich | Cambridge University Press, Published in 2008, 632 pages
444. Languages and Machines
     C. D. H. Cooper | Macquarie University, Published in 2008
445. Simulating Humans: Computer Graphics Animation and Control
     N. I. Badler, C. B. Phillips, B. L. Webber | Oxford University Press, USA, Published in 1993, 283 pages
446. Machine Interpretation of Line Drawings
     Kokichi Sugihara | The MIT Press, Published in 1986, 236 pages
447. Public-Key Cryptography: Theory and Practice
     Bodo Moeller | TU Darmstadt, Published in 2003, 117 pages
448. Neural Networks and Deep Learning
     Michael Nielsen | , Published in 2014, 235 pages
449. Mathematical Linguistics
     Andras Kornai | , Published in 2002, 90 pages
450. Java Speech API Programmer's Guide
     | Sun Microsystems, Inc., Published in 1998, 156 pages
451. Forensic Analysis of Database Tampering
     Kyriacos E. Pavlou, Richard T. Snodgrass | University of Arizona, Published in 2008, 71 pages
452. Information Retrieval Interaction
     Peter Ingwersen | Taylor Graham Publishing, Published in 2002, 256 pages
453. Application of Geographic Information Systems
     Bhuiyan Monwar Alam | InTech, Published in 2012, 372 pages
454. The Grand Unified Theory of Software Engineering
     Mathias Ekstedt | Industrial Info Systems, Published in 2005, 235 pages
455. A Survey of Statistical Network Models
     A. Goldenberg, A.X. Zheng, S.E. Fienberg, E.M. Airoldi | arXiv, Published in 2009, 96 pages
456. Language Translation Using PCCTS and C++
     Terence John Parr | Automata Publishing Company, Published in 1993, 310 pages
457. Essentials of Metaheuristics
     Sean Luke | , Published in 2009, 233 pages
458. Information Security in Education
     | Wikibooks, Published in 2010
459. The Protection of Information in Computer Systems
     J.H. Saltzer, M.D. Schroeder | MIT, Published in 1975
460. Handbook of Applied Cryptography
     Alfred Menezes, Paul van Oorschot, Scott Vanstone | CRC-Press, Published in 1996, 816 pages
461. Implementing Functional Languages: a tutorial
     Simon Peyton Jones, David Lester | Prentice Hall, Published in 1992, 296 pages
462. Multi-Relational Data Mining
     Arno Jan Knobbe | IOS Press, Published in 2006, 130 pages
463. Anatomy of Programming Languages
     William R. Cook | UT Austin, Published in 2013, 153 pages
464. Semantic Web And Ontology
     Dhana Nandini | Bookboon, Published in 2014, 107 pages
465. Notes on Elementary Spectral Graph Theory
     Jean Gallier | arXiv, Published in 2013, 76 pages
466. Intelligent Vision Systems for Industry
     Bruce G. Batchelor | Springer-Verlag, Published in 2002, 473 pages
467. Measure-Preserving Systems
     Karl Petersen | University of North Carolina, Published in 2008, 65 pages
468. Software Foundations
     Benjamin C. Pierce | University of Pennsylvania, Published in 2010
469. Data Mining Desktop Survival Guide
     Graham Williams | Togaware Pty Ltd, Published in 2004
470. Current Advancements in Stereo Vision
     Asim Bhatti (ed.) | InTech, Published in 2012, 224 pages
471. Compiler Construction
     | Wikibooks, Published in 2011
472. Data-Intensive Text Processing with MapReduce
     Jimmy Lin, Chris Dyer | Morgan & Claypool Publishers, Published in 2010, 175 pages
473. Introduction to Design Analysis of Algorithms
     K. Raghava Rao | Smashwords, Published in 2013, 142 pages
474. Neural Fuzzy Systems
     Robert Fuller | Abo Akademi University, Published in 1995, 348 pages
475. Machine Translation: an Introductory Guide
     Doug Arnold, at al. | Blackwell Pub, Published in 1994, 200 pages
476. Programming Neural Networks with Encog3 in Java
     Jeff Heaton | Heaton Research, Published in 2011, 242 pages
477. Modern Computer Arithmetic
     Richard P. Brent, Paul Zimmermann | LORIA, Published in 2009, 239 pages
478. Information Retrieval
     C. J. van Rijsbergen | Butterworth-Heinemann, Published in 1979, 224 pages
479. Machine Learning and Data Mining: Lecture Notes
     Aaron Hertzmann | University of Toronto, Published in 2010, 134 pages
480. Prolog and Natural-Language Analysis
     F. C. N. Pereira, S. M. Shieber | Center for the Study of Language, Published in 2002, 204 pages
481. Introduction to Coherent States and Quantum Information Theory
     Kazuyuki Fujii | arXiv, Published in 2002, 72 pages
482. Deep Learning in Neural Networks: An Overview
     Juergen Schmidhuber | arXiv, Published in 2014, 88 pages
483. Algorithms and Complexity
     Herbert S. Wilf | AK Peters, Ltd., Published in 1994, 139 pages
484. Topics in History and Comparing Programming Languages
     Dennie Van Tassel | Gavilan College, Published in 2014, 203 pages
485. Stochastic Attribute-Value Grammars
     Rob Malouf, Miles Osborne | ESSLLI, Published in 2001, 159 pages
486. A=B
     Marko Petkovsek, Herbert S. Wilf, Doron Zeilberger | AK Peters, Ltd., Published in 1996, 217 pages
487. Information Theory, Excess Entropy and Statistical Complexity
     David Feldman | College of the Atlantic, Published in 2002, 49 pages
488. Bayesian Computational Methods
     Christian P. Robert | arXiv, Published in 2010, 59 pages
489. Cryptography and Security in Computing
     Jaydip Sen (ed.) | InTech, Published in 2012, 242 pages
490. Parallel Complexity Theory
     Ian Parberry | Prentice Hall, Published in 1987, 212 pages
491. Fundamentals of Image Processing
     Hany Farid | Dartmouth College, Published in 2010, 72 pages
492. Structure and Interpretation of Computer Programs
     Harold Abelson, Gerald Jay Sussman, Julie Sussman | McGraw-Hill, Published in 1996, 588 pages
493. Programming and Programming Languages
     Shriram Krishnamurthi | Brown University, Published in 2014, 262 pages
494. Introduction to Software Engineering
     | Wikibooks, Published in 2013, 451 pages
495. Specifying Systems
     Leslie Lamport | Addison-Wesley Professional, Published in 2002, 382 pages
496. Computability and Randomness
     Andre Nies | Oxford University Press, Published in 2008, 447 pages
497. Neural Networks
     Rolf Pfeifer, Dana Damian, Rudolf Fuchslin | University of Zurich, Published in 2010, 111 pages
498. Brief Introduction to Educational Implications of Artificial Intelligence
     David Moursund | University of Oregon, Published in 2006, 75 pages
499. A Field Guide to Genetic Programming
     R. Poli, W. B. Langdon, N. F. McPhee | Lulu.com, Published in 2008, 252 pages
500. Thinking About the Brain
     William Bialek | arXiv, Published in 2002, 85 pages