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. Languages and Machines
   C. D. H. Cooper | Macquarie University, Published in 2008, 339 pages
2. Proofs and Types
   J. Girard, Y. Lafont, P. Taylor | Cambridge University Press, Published in 1989, 183 pages
3. Practical Foundations for Programming Languages
   Robert Harper | Carnegie Mellon University, Published in 2016, 228 pages
4. Public-Key Cryptography: Theory and Practice
   Bodo Moeller | TU Darmstadt, Published in 2003, 117 pages
5. Affective Computing
   Jimmy Or | IN-TECH, Published in 2008, 284 pages
6. Design and Analysis of Computer Algorithms
   David M. Mount | University of Maryland, Published in 2003, 135 pages
7. Notes on Automata, Logics, Games and Algebra
   K Narayan Kumar | Chennai Mathematical Institute, Published in 2007
8. Formal Syntax and Semantics of Programming Languages
   Kenneth Slonneger, Barry L. Kurtz | Addison Wesley Longman, Published in 1994, 637 pages
9. Automata Theory: An Algorithmic Approach
   Javier Esparza | , Published in 2017, 321 pages
10. Greedy Algorithms
    Witold Bednorz | InTech, Published in 2008, 586 pages
11. Machine Interpretation of Line Drawings
    Kokichi Sugihara | The MIT Press, Published in 1986, 236 pages
12. Introduction to Archival Organization and Description
    Susanne R. Warren (ed.) | Oxford University Press, Published in 1998, 68 pages
13. Purely Functional Data Structures
    Chris Okasaki | Carnegie Mellon University, Published in 1996, 162 pages
14. Readings in Database Systems
    J. M. Hellerstein, M. Stonebraker | UC Berkeley, Published in 1999
15. Deep Learning: Technical Introduction
    Thomas Epelbaum | arXiv.org, Published in 2017, 106 pages
16. Software Product Line: Advanced Topic
    Abdelrahman Osman Elfaki | InTech, Published in 2012, 122 pages
17. Insight into Theoretical and Applied Informatics
    Andrzej Yatsko, Walery Suslow | De Gruyter Open, Published in 2016, 117 pages
18. Machine Translation: an Introductory Guide
    Doug Arnold, at al. | Blackwell Pub, Published in 1994, 200 pages
19. Thinking Networks: The Large and Small of it
    Kieran Greer | , Published in 2008, 246 pages
20. Neural Fuzzy Systems
    Robert Fuller | Abo Akademi University, Published in 1995, 348 pages
21. Database Design - 2nd Edition
    Adrienne Watt | BCcampus, Published in 2014, 358 pages
22. Type Systems for Programming Languages
    Robert Harper | , Published in 2000, 199 pages
23. Computer Arithmetic of Geometrical Figures: Algorithms and Hardware Design
    Solomon I. Khmelnik | MiC, Published in 2013, 150 pages
24. Homotopy Type Theory
    Peter Aczel, et al. | Institute for Advanced Study, Published in 2013, 599 pages
25. The Limits of Mathematics
    Gregory J. Chaitin | Springer, Published in 2003, 270 pages
26. Security Concepts
    Travis H. | subspacefield.org, Published in 2010, 244 pages
27. Bayesian Reasoning and Machine Learning
    David Barber | Cambridge University Press, Published in 2011, 644 pages
28. Computational and Inferential Thinking: The Foundations of Data Science
    Ani Adhikari, John DeNero | , Published in 2017, 646 pages
29. Entropy and Information Theory
    Robert M. Gray | Springer, Published in 2008, 313 pages
30. Databases, Types, and The Relational Model: The Third Manifesto
    C.J. Date, Hugh Darwen | Addison Wesley, Published in 2014, 604 pages
31. Learn Functional Programming
    Goran Jovic | learn-functional-programming.com, Published in 2024, 187 pages
32. Distributed Systems for Fun and Profit
    Mikito Takada | mixu.net, Published in 2013
33. Logic and Proof
    Lawrence C Paulson | University of Cambridge, Published in 2002, 79 pages
34. Validating RDF Data
    Jose E. Labra Gayo, et al. | Morgan & Claypool, Published in 2018, 330 pages
35. Crafting Interpreters: A handbook for making programming languages
    Robert Nystrom | craftinginterpreters.com, Published in 2015, 195 pages
36. Big Data on Real-World Applications
    S. Ventura Soto, Jose M. Luna, Alberto Cano (eds) | InTech, Published in 2016, 122 pages
37. Elementary Algorithms
    Larry LIU Xinyu | Github, Published in 2016, 622 pages
38. Genetic Algorithms and Evolutionary Computation
    Adam Marczyk | The TalkOrigins Archive, Published in 2004
39. SOA Source Book
    | Van Haren Publishing, Published in 2009
40. Petri Nets: Manufacturing and Computer Science
    Pawel Pawlewski (ed.) | InTech, Published in 2012, 492 pages
41. Designing and Building Parallel Programs
    Ian Foster | Addison Wesley, Published in 1995, 430 pages
42. Scene Reconstruction Pose Estimation and Tracking
    Rustam Stolkin | InTech, Published in 2007, 530 pages
43. Fundamentals of Image Processing
    Hany Farid | Dartmouth College, Published in 2010, 72 pages
44. Brain, Vision and AI
    Cesare Rossi | InTech, Published in 2008, 284 pages
45. Effective Video Coding for Multimedia Applications
    Sudhakar Radhakrishnan | InTech, Published in 2011, 292 pages
46. Neural Networks: A Systematic Introduction
    Raul Rojas | Springer, Published in 1996, 530 pages
47. Programming Languages: Application and Interpretation
    Shriram Krishnamurthi | Lulu.com, Published in 2007, 376 pages
48. Cryptography: An Introduction
    N.P. Smart | McGraw-Hill, Published in 2004, 436 pages
49. Acceptance Test Engineering Guide
    Grigori Melnik, Gerard Meszaros, Jon Bach | Microsoft, Published in 2009, 251 pages
50. Synchronization and Linearity: An Algebra for Discrete Event Systems
    F. Baccelli, G. Cohen, G. J. Olsder, J. Quadrat | John Wiley & Sons, Published in 1993, 501 pages
51. The Open-source PKI Book
    Symeon Xenitellis | OpenCA Team, Published in 2000, 98 pages
52. Measure-Preserving Systems
    Karl Petersen | University of North Carolina, Published in 2008, 65 pages
53. The GENTLE Compiler Construction System
    Friedrich Wilhelm Schröer | R. Oldenbourg Verlag, Published in 2005, 143 pages
54. Mining of Massive Datasets
    Anand Rajaraman, Jeffrey D. Ullman | Stanford University, Published in 2010, 340 pages
55. Models of Computation: Exploring the Power of Computing
    John E. Savage | Addison-Wesley, Published in 1998, 698 pages
56. Natural Language Processing with Python
    Steven Bird, Ewan Klein, Edward Loper | O'Reilly Media, Published in 2009, 512 pages
57. Lecture Notes on Cryptography
    Shafi Goldwasser, Mihir Bellare | , Published in 2008, 289 pages
58. Mobile Robotics, Moving Intelligence
    Jonas Buchli | InTech, Published in 2006, 586 pages
59. Cryptography and Data Security
    Dorothy Elizabeth Robling Denning | Addison-Wesley, Published in 1982, 419 pages
60. Learning Deep Architectures for AI
    Yoshua Bengio | Now Publishers, Published in 2009, 130 pages
61. Introduction to Parallel Computing
    Blaise Barney | Lawrence Livermore National Laboratory, Published in 2010, 187 pages
62. Theory and Applications for Advanced Text Mining
    Shigeaki Sakurai (ed.) | InTech, Published in 2012, 218 pages
63. Computer Simulation Techniques - The Definitive Introduction
    Harry Perros | NC State University, Published in 2008, 187 pages
64. GIS Commons: An Introductory Textbook on Geographic Information Systems
    Michael Schmandt | giscommons.org, Published in 2017, 232 pages
65. Security Engineering: A Guide to Building Dependable Distributed Systems
    Ross J. Anderson, Ross Anderson | Wiley, Published in 2001, 640 pages
66. Cryptography, A Study on Secret Writings
    Andre Langie | Aegean Park Press, Published in 1922, 238 pages
67. Database design with UML and SQL
    Tom Jewett | , Published in 2006, 218 pages
68. Brief Primer on the Fundaments of Quantum Computing
    Richard L Amoroso | viXra.org, Published in 2018, 140 pages
69. Theory of Quantum Information
    John Watrous | University of Calgary, Published in 2004, 125 pages
70. Building the Second Mind: 1956 and the Origins of Artificial Intelligence Computing
    Rebecca E. Skinner | UC Berkeley, Published in 2012, 214 pages
71. Linkers and Loaders
    John R. Levine | Morgan Kaufmann, Published in 1999, 256 pages
72. Algorithms and Data Structures
    Niklaus Wirth | Prentice Hall, Published in 1985, 212 pages
73. Tree Automata Techniques and Applications
    H. Comon, M. Dauchet, R. Gilleron | , Published in 2008, 262 pages
74. Elasticsearch: The Definitive Guide
    Clinton Gormley, Zachary Tong | O'Reilly, Published in 2015, 724 pages
75. Computer Vision
    Dana H. Ballard, Christopher M. Brown | Prentice Hall, Published in 1982, 539 pages
76. Jumpstart to Software Quality Assurance
    Vishnuvarthanan Moorthy | Smashwords, Published in 2013, 177 pages
77. Computational Category Theory
    D.E. Rydeheard, R.M. Burstall | , Published in 2001, 263 pages
78. Artificial Neural Networks
    | Wikibooks, Published in 2010
79. Intelligent Vision Systems for Industry
    Bruce G. Batchelor | Springer-Verlag, Published in 2002, 473 pages
80. Search Algorithms and Applications
    Nashat Mansour | InTech, Published in 2011, 494 pages
81. Design: Creation of Artifacts in Society
    Karl T. Ulrich | University of Pennsylvania, Published in 2011, 145 pages
82. Advances in Stereo Vision
    Jose R.A. Torreao | InTech, Published in 2011, 120 pages
83. GRE Computer Science Test Practice Book
    | Educational Testing Service, Published in 2001, 54 pages
84. A Field Guide to Genetic Programming
    R. Poli, W. B. Langdon, N. F. McPhee | Lulu.com, Published in 2008, 252 pages
85. A=B
    Marko Petkovsek, Herbert S. Wilf, Doron Zeilberger | AK Peters, Ltd., Published in 1996, 217 pages
86. Cellular Automata
    | Wikibooks, Published in 2010
87. Pattern Recognition
    Peng-Yeng Yin | IN-TECH, Published in 2008, 626 pages
88. XML and Databases
    Ronald Bourret | , Published in 2005
89. Computer Vision: Algorithms and Applications
    Richard Szeliski | Springer, Published in 2010, 655 pages
90. A Mathematical Theory of Communication
    Claude Shannon | , Published in 1948, 79 pages
91. Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations
    Yoav Shoham, Kevin Leyton-Brown | Cambridge University Press, Published in 2008, 532 pages
92. Data Mining and Knowledge Discovery in Real Life Applications
    Julio Ponce, Adem Karahoca | InTech, Published in 2009, 464 pages
93. Picture Interpretation: A Symbolic Approach
    S. Dance, Z.Q. Liu, T.M. Caelli | World Scientific, Published in 1995
94. Natural Image Statistics
    Aapo Hyvarinen, Jarmo Hurri, Patrik O. Hoyer | Springer, Published in 2009, 487 pages
95. Image Fusion and Its Applications
    Yufeng Zheng | InTech, Published in 2011, 242 pages
96. Concrete Semantics: With Isabelle/HOL
    Tobias Nipkow, Gerwin Klein | Springer, Published in 2016, 308 pages
97. Natural Language Interfaces to Databases: An Introduction
    I. Androutsopoulos, G. D. Ritchie, P. Thanisch | arXiv, Published in 1995, 50 pages
98. 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
99. Compiler Design in C
    Allen I. Holub | Prentice-Hall, Published in 1990, 986 pages
100. Introduction to Programming Languages
     | Wikibooks, Published in 2013
101. Reinforcement Learning
     C. Weber, M. Elshaw, N. M. Mayer | InTech, Published in 2008, 424 pages
102. Introduction to Type Theory
     Herman Geuvers | Radboud University Nijmegen, Published in 2011, 57 pages
103. Modelling and Simulation
     Giuseppe Petrone, Giuliano Cammarata | InTech, Published in 2008, 688 pages
104. Recent Advances in Face Recognition
     Kresimir Delac, Mislav Grgic, Marian Stewart Bartlett | IN-TECH, Published in 2008, 236 pages
105. Neural Networks
     Rolf Pfeifer, Dana Damian, Rudolf Fuchslin | University of Zurich, Published in 2010, 111 pages
106. Certified Programming with Dependent Types
     Adam Chlipala | , Published in 2011, 371 pages
107. Introduction to Controlled Vocabularies: Terminologies for Art, Architecture, and Other Cultural Works
     Patricia Harpring | Getty Research Institute, Published in 2010, 259 pages
108. Efficient Algorithms for Sorting and Synchronization
     Andrew Tridgell | samba.org, Published in 1999, 115 pages
109. Lecture Notes on the Lambda Calculus
     Peter Selinger | Dalhousie University, Published in 2007, 106 pages
110. Compiler Construction
     Niklaus Wirth | Addison-Wesley Pub, Published in 1996, 131 pages
111. Data-Intensive Text Processing with MapReduce
     Jimmy Lin, Chris Dyer | Morgan & Claypool Publishers, Published in 2010, 175 pages
112. Introduction to Machine Learning
     Alex Smola, S.V.N. Vishwanathan | Cambridge University Press, Published in 2008, 234 pages
113. Denotational Semantics: A Methodology for Language Development
     David Schmidt | Kansas State University, Published in 2009, 304 pages
114. Computability, Unsolvability, Randomness
     Stephen G. Simpson | The Pennsylvania State University, Published in 2009, 151 pages
115. Artificial Intelligence: Foundations of Computational Agents
     David Poole, Alan Mackworth | Cambridge University Press, Published in 2010
116. Military Cryptanalysis
     William F. Friedman | NSA, Published in 1936, 649 pages
117. Robotic Soccer
     Pedro Lima | InTech, Published in 2007, 598 pages
118. Software Update as a Mechanism for Resilience and Security
     | The National Academies Press, Published in 2017, 97 pages
119. An Introduction to Compilers
     Dirk Vermeir | Vrije Universiteit Brussel, Published in 2009, 191 pages
120. Cellular Automata And Complexity: Collected Papers
     Stephen Wolfram | Westview Press, Published in 1994, 608 pages
121. Principles of Geographic Information Systems
     O. Huisman, R.A. de By (ed.) | ITC, Published in 2009, 540 pages
122. Programming in Standard ML
     Robert Harper | Carnegie Mellon University, Published in 2011, 297 pages
123. Markets for Cybercrime Tools and Stolen Data: Hackers' Bazaar
     Lillian Ablon, Martin C. Libicki, Andrea A. Golay | RAND Corporation, Published in 2014, 83 pages
124. Compositional Semantics
     Gary Hardegree | UMass Amherst, Published in 2009, 350 pages
125. Generalized Information Measures and Their Applications
     Inder Jeet Taneja | Universidade Federal de Santa Catarina, Published in 2001
126. Network Coding Theory
     Raymond Yeung, S-Y Li, N Cai | Now Publishers Inc, Published in 2006, 154 pages
127. Algorithms
     Robert Sedgewick, Kevin Wayne | Addison-Wesley Professional, Published in 2011, 976 pages
128. Forensic Analysis of Database Tampering
     Kyriacos E. Pavlou, Richard T. Snodgrass | University of Arizona, Published in 2008, 47 pages
129. Cellular Automata: Simplicity Behind Complexity
     Alejandro Salcido | InTech, Published in 2011, 566 pages
130. Best of Both Worlds: Museums, Libraries, and Archives in a Digital Age
     G. Wayne Clough | Smithsonian Books, Published in 2013, 77 pages
131. Of the Evolution of the Brain
     Allessandro Treves, Yasser Roudi | SISSA, Published in 2010, 50 pages
132. Basic Concepts in Quantum Computation
     Artur Ekert, Patrick Hayden, Hitoshi Inamori | arXiv, Published in 2000, 37 pages
133. Simulation with AnyLogic
     | Wikibooks, Published in 2010
134. AI Demystified
     Alex David Pratt | The Scribe Press, Published in 2024, 70 pages
135. State of the Art in Face Recognition
     Julio Ponce, Adem Karahoca | IN-TECH, Published in 2009, 436 pages
136. Around Kolmogorov Complexity: Basic Notions and Results
     Alexander Shen | arXiv.org, Published in 2015, 51 pages
137. Average Case Analysis of Algorithms on Sequences
     Wojciech Szpankowski | Wiley-Interscience, Published in 2001, 576 pages
138. Language, Proof and Logic
     Jon Barwise, John Etchemendy | Center for the Study of Language, Published in 2011, 620 pages
139. Introduction to Complexity Theory
     Oded Goldreich | , Published in 1999, 375 pages
140. Automata and Rational Expressions
     Jacques Sakarovitch | arXiv.org, Published in 2015, 49 pages
141. The Z Notation: A Reference Manual
     J. M. Spivey | Prentice Hall, Published in 1992, 168 pages
142. Anatomy of Programming Languages
     William R. Cook | UT Austin, Published in 2013, 153 pages
143. Delftse Foundations of Computation
     Stefan Hugtenburg, Neil Yorke-Smith | TU Delft Open, Published in 2018, 176 pages
144. Computational Linguistics
     Igor Boshakov, Alexander Gelbukh | , Published in 2004, 198 pages
145. Information Systems Foundations: The Role of Design Science
     Dennis Hart, Shirley Gregor | ANU Press, Published in 2010, 318 pages
146. Information Theory and Statistical Physics
     Neri Merhav | arXiv, Published in 2010, 176 pages
147. An Introduction to Quantum Computing using Cavity QED concepts
     Zachary Burell | arXiv, Published in 2012, 53 pages
148. The Thousand Faces of Virtual Reality
     Cecilia Sik Lanyi (ed.) | InTech, Published in 2014, 170 pages
149. Categories, Types, and Structures
     Andrea Asperti, Giuseppe Longo | MIT Press, Published in 1991, 300 pages
150. Quantum Information Meets Quantum Matter
     Bei Zeng, et al. | Springer, Published in 2015, 349 pages
151. Cryptography and Security in Computing
     Jaydip Sen (ed.) | InTech, Published in 2012, 242 pages
152. Communicating Sequential Processes
     C.A.R. Hoare | Prentice Hall, Published in 2004, 260 pages
153. Understanding Programming Languages
     Monti Ben-Ari | John Wiley & Sons, Published in 1996, 322 pages
154. Planning Algorithms
     Steven M. LaValle | Cambridge University Press, Published in 2006, 842 pages
155. Search Engines: Information Retrieval in Practice
     W.B. Croft, D. Metzler, T. Strohman | Pearson Education, Published in 2015, 542 pages
156. Probabilistic Models in the Study of Language
     Roger Levy | University of California, San Diego, Published in 2012, 274 pages
157. Data Compression
     | Wikibooks, Published in 2011
158. The Protection of Information in Computer Systems
     J.H. Saltzer, M.D. Schroeder | MIT, Published in 1975
159. Swarm Intelligence: Focus on Ant and Particle Swarm Optimization
     Felix T.S. Chan, Manoj K. Tiwari | InTech, Published in 2007, 532 pages
160. A Brief Introduction to Machine Learning for Engineers
     Osvaldo Simeone | arXiv.org, Published in 2017, 237 pages
161. Introduction To Machine Learning
     Nils J Nilsson | , Published in 1997, 209 pages
162. An Introduction to Relational Database Theory
     Hugh Darwen | BookBoon, Published in 2009, 231 pages
163. Using and Porting the GNU Compiler Collection (GCC)
     Vincent Chung | Free Software Foundation, Inc., Published in 2001
164. Foundations of Computer Science
     Lawrence C Paulson | University of Cambridge, Published in 2000, 155 pages
165. The New Software Engineering
     Sue Conger | Global Text Project, Published in 2008, 403 pages
166. Introduction to Programming for Image Analysis with VTK
     Xenophon Papademetris | Image Processing and Analysis Group, Published in 2009, 283 pages
167. Swarm Robotics: From Biology to Robotics
     Ester Martinez Martin | InTech, Published in 2010, 110 pages
168. Global Library and Information Science
     Ismail Abdullahi (ed.) | De Gruyter Open Ltd, Published in 2009, 592 pages
169. Mathematical Linguistics
     Andras Kornai | , Published in 2007, 300 pages
170. Evolutionary Algorithms
     Eisuke Kita | InTech, Published in 2011, 584 pages
171. Computer Vision Metrics: Survey, Taxonomy, and Analysis
     Scott Krig | Springer, Published in 2014, 498 pages
172. Global Optimization Algorithms: Theory and Application
     Thomas Weise | , Published in 2008, 842 pages
173. Nature of Geographic Information
     David DiBiase | BCcampus, Published in 2014, 261 pages
174. Practical Cryptography With Go
     Kyle Isom | Leanpub, Published in 2014, 226 pages
175. Parsing Techniques: A Practical Guide
     Dick Grune, Ceriel J. H. Jacobs | Ellis Horwood Ltd, Published in 1998, 318 pages
176. Reinforcement Learning and Optimal Control
     Dimitri P. Bertsekas | Athena Scientific, Published in 2019, 276 pages
177. Knapsack Problems: Algorithms and Computer Implementations
     Silvano Martello, Paolo Toth | John Wiley & Sons, Published in 1990, 308 pages
178. Modeling Simulation and Optimization: Focus on Applications
     Shkelzen Cakaj | InTech, Published in 2010, 320 pages
179. Computer Science: Abstraction to Implementation
     Robert M. Keller | Harvey Mudd College, Published in 2001, 627 pages
180. Fuzzy Systems
     Ahmad Taher Azar | InTech, Published in 2010, 226 pages
181. The Temple of Quantum Computing
     Riley T. Perry | , Published in 2004, 250 pages
182. Data Mining in Medical and Biological Research
     Eugenia G. Giannopoulou | InTech, Published in 2008, 320 pages
183. An Introduction to Neural Networks
     Ben Krose, Patrick van der Smagt | , Published in 1996, 135 pages
184. From Complexity to Creativity
     Ben Goertzel | Plenum Press, Published in 1996, 402 pages
185. Deep Learning Tutorial
     LISA lab | University of Montreal, Published in 2015, 173 pages
186. Advances in Evolutionary Algorithms
     Witold Kosinski | InTech, Published in 2008, 284 pages
187. Lectures on the Curry-Howard Isomorphism
     Morten Heine B. Sorensen, Pawel Urzyczyn | Elsevier Science, Published in 2006, 273 pages
188. A Survey of Statistical Network Models
     A. Goldenberg, A.X. Zheng, S.E. Fienberg, E.M. Airoldi | arXiv, Published in 2009, 96 pages
189. Introduction to Quantum Cellular Automata
     B. Aoun, M. Tarifi | arXiv, Published in 2004, 46 pages
190. Application of Geographic Information Systems
     Bhuiyan Monwar Alam | InTech, Published in 2012, 372 pages
191. Self-Organizing Maps
     George K Matsopoulos | InTech, Published in 2010, 430 pages
192. Introduction to Metadata
     Tony Gill, at al. | Getty Publications, Published in 2008
193. PVM: Parallel Virtual Machine
     Al Geist, at al. | The MIT Press, Published in 1994, 299 pages
194. The Power PC Compiler Writer's Guide
     Steve Hoxey, at al. | Warthman Associates, Published in 1996, 264 pages
195. Problem Solving with Algorithms and Data Structures Using Python
     Brad Miller, David Ranum | Franklin, Beedle & Associates, Published in 2011, 438 pages
196. Exploring Programming Language Architecture in Perl
     Bill Hails | , Published in 2010, 368 pages
197. Rethinking Public Key Infrastructures and Digital Certificates
     Stefan A. Brands | The MIT Press, Published in 2000, 356 pages
198. The Design of Approximation Algorithms
     D. P. Williamson, D. B. Shmoys | Cambridge University Press, Published in 2010, 496 pages
199. Computers and Thought: A practical Introduction to Artificial Intelligence
     Mike Sharples, et al. | A Bradford Book, Published in 1989, 401 pages
200. Ontology in Information Science
     Ciza Thomas (ed.) | InTech, Published in 2018, 310 pages
201. Semantics With Applications: A Formal Introduction
     Hanne Riis Nielson, Flemming Nielson | John Wiley & Sons, Published in 1992, 250 pages
202. Policing Cyber Crime
     Petter Gottschalk | BookBoon, Published in 2010, 150 pages
203. Common LISP: A Gentle Introduction to Symbolic Computation
     David S. Touretzky | Benjamin-Cummings Pub Co, Published in 1990, 587 pages
204. Project Oberon - The Design of an Operating System and Compiler
     Niklaus Wirth, Jürg Gutknecht | , Published in 2005, 441 pages
205. Security and Privacy for Microsoft Office 2010 Users
     Mitch Tulloch | Microsoft Press, Published in 2012, 98 pages
206. Elements of Relational Database Theory
     Paris C. Kanellakis | Brown University Providence, Published in 1989, 79 pages
207. Fundamentals of Image Processing
     I. Young, J. Gerbrands, L. van Vliet | Delft University of Technology, Published in 2009, 112 pages
208. A Brief Introduction to Neural Networks
     David Kriesel | dkriesel.com, Published in 2011, 244 pages
209. Data Compression Explained
     Matt Mahoney | mattmahoney.net, Published in 2013
210. Basics of Compiler Design
     Torben Mogensen | Lulu.com, Published in 2007, 277 pages
211. Machine Learning and Data Mining: Lecture Notes
     Aaron Hertzmann | University of Toronto, Published in 2010, 134 pages
212. Provable Security of Networks
     Angsheng Li, Yicheng Pan, Wei Zhang | arXiv, Published in 2013, 81 pages
213. Computational Geometry: Methods and Applications
     Jianer Chen | , Published in 1996, 227 pages
214. Reasoned Programming
     Krysia Broda et al | Prentice Hall Trade, Published in 1994, 311 pages
215. 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
216. Type Theory and Functional Programming
     Simon Thompson | Addison-Wesley, Published in 1999, 378 pages
217. A Guide to Claims-Based Identity and Access Control
     Dominick Baier, at al. | Microsoft Press, Published in 2010, 148 pages
218. Software Architecture
     A. Bijlsma, B.J. Heeren, E.E. Roubtsova, S. Stuurman | FTA, Published in 2011, 162 pages
219. Elements of Programming
     Alexander Stepanov, Paul McJones | Semigroup Press, Published in 2019, 279 pages
220. Algorithms and Data Structures: With Applications to Graphics and Geometry
     Jurg Nievergelt, Klaus Hinrichs | Prentice Hall, Published in 2011, 299 pages
221. A brief introduction of quantum cryptography for engineers
     Bing Qi, Li Qian, Hoi-Kwong Lo | arXiv, Published in 2010, 36 pages
222. Safeguarding Your Technology
     Tom Szuba | NCES, Published in 1998
223. Introduction to Quantum Algorithms for Physics and Chemistry
     Man-Hong Yung, et al. | arXiv, Published in 2012, 44 pages
224. Measures and Applications of Quantum Correlations
     G. Adesso, T.R. Bromley, M. Cianciaruso | arXiv, Published in 2016, 75 pages
225. A Practical Introduction to Data Structures and Algorithm Analysis
     Clifford A. Shaffer | Virginia Tech, Published in 2010, 638 pages
226. Recommended Approach to Software Development
     Linda Landis, et al. | NASA, Published in 1992, 228 pages
227. Foundations of Machine Learning
     M. Mohri, A. Rostamizadeh, A. Talwalkar | The MIT Press, Published in 2018, 504 pages
228. Understanding Machine Learning: From Theory to Algorithms
     Shai Shalev-Shwartz, Shai Ben-David | Cambridge University Press, Published in 2014, 449 pages
229. Lightweight Compiler Techniques
     Nils M Holm | Lulu Press, Published in 2006, 262 pages
230. 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
231. Speech Recognition
     France Mihelic, Janez Zibert | InTech, Published in 2008, 550 pages
232. A Practical Theory of Programming
     Eric C.R. Hehner | Springer, Published in 2006, 243 pages
233. Natural Language Processing for the Working Programmer
     Daniël de Kok, Harm Brouwer | , Published in 2011, 78 pages
234. Boosting: Foundations and Algorithms
     Robert E. Schapire, Yoav Freund | The MIT Press, Published in 2014, 544 pages
235. Introduction to Software Engineering
     | Wikibooks, Published in 2013, 451 pages
236. Parallel Algorithms
     Henri Casanova, et al. | CRC Press, Published in 2008, 348 pages
237. Dynamic Modelling
     Alisson V. Brito | InTech, Published in 2010, 300 pages
238. Software Fault Tolerance
     Michael R. Lyu | John Wiley & Sons Ltd., Published in 1995, 354 pages
239. Real World Functional Programming
     Tomas Petricek, Jon Skeet, Yin Zhu | Manning Publications, Published in 2010, 500 pages
240. A Course in Machine Learning
     Hal Daumé III | ciml.info, Published in 2012, 189 pages
241. Simulated Annealing
     Cher Ming Tan | IN-TECH, Published in 2008, 420 pages
242. Programming Computer Vision with Python
     Jan Erik Solem | O'Reilly Media, Published in 2012, 300 pages
243. Introduction to Machine Learning for the Sciences
     Titus Neupert, et al. | arXiv.org, Published in 2021, 80 pages
244. Interacting with Presence
     Giuseppe Riva | De Gruyter Open, Published in 2014, 188 pages
245. Machine Learning
     Abdelhamid Mellouk, Abdennacer Chebira | InTech, Published in 2009, 450 pages
246. Linked Data: Evolving the Web into a Global Data Space
     Tom Heath, Christian Bizer | Morgan & Claypool, Published in 2011
247. Computational Intelligence and Modern Heuristics
     Al-Dahoud Ali | InTech, Published in 2010, 356 pages
248. A Gentle Introduction to GIS
     T. Sutton, O. Dassau, M. Sutton | , Published in 2009, 113 pages
249. Optimal and Learning Control for Autonomous Robots
     Jonas Buchli, et al. | arXiv.org, Published in 2017, 101 pages
250. An introduction to Cryptography
     Phil Zimmermann | , Published in 1998, 80 pages
251. Mathematical Foundations of Computer Science
     Susan Rodger | Duke University, Published in 1998
252. Forensic Discovery
     Dan Farmer, Wietse Venema | Addison-Wesley Professional, Published in 2005, 240 pages
253. Image Segmentation
     Pei-Gee Ho | InTech, Published in 2011, 538 pages
254. The Playful Machine
     Ralf Der, Georg Martius | Springer, Published in 2011, 353 pages
255. Statistical Foundations of Machine Learning
     Gianluca Bontempi, Souhaib Ben Taieb | , Published in 2017, 269 pages
256. Introduction to Computational Complexity
     Martin Tompa | , Published in 1991, 85 pages
257. Computability Theory
     Wilfried Sieg | Carnegie Mellon University, Published in 2006, 125 pages
258. How Mobile Robots Can Self-organise a Vocabulary
     Paul Vogt | Language Science Press, Published in 2015, 286 pages
259. An Introduction to Statistical Learning
     G. James, D. Witten, T. Hastie, R. Tibshirani | Springer, Published in 2013, 440 pages
260. Human and Machine Consciousness
     David Gamez | Open Book Publishers, Published in 2018, 222 pages
261. Parallel Programming with Microsoft .NET
     Colin Campbell, Ralph Johnson, Stephen Toub | Microsoft Press, Published in 2010, 217 pages
262. Computability and Complexity
     | Wikibooks, Published in 2010
263. A First Encounter with Machine Learning
     Max Welling | University of California Irvine, Published in 2011, 93 pages
264. Computer Science I
     Chris Bourke | University of Nebraska - Lincoln, Published in 2017, 643 pages
265. Information Systems
     Richard T. Watson | Global Text Project, Published in 2007, 308 pages
266. Computer Science from the Bottom Up
     Ian Wienand | bottomupcs.com, Published in 2013
267. Modern Computer Arithmetic
     Richard P. Brent, Paul Zimmermann | LORIA, Published in 2009, 239 pages
268. Programming Languages: Theory and Practice
     Robert Harper | Carnegie Mellon University, Published in 2005, 277 pages
269. Software Engineering
     Ivan Marsic | Rutgers University, Published in 2008, 389 pages
270. Handbook of Knowledge Representation
     Frank van Harmelen, Vladimir Lifschitz, Bruce Porter | Elsevier Science, Published in 2008, 1035 pages
271. Security of Networks and Services in an All-Connected World
     Daphne Tuncer, et al. | Springer, Published in 2017, 204 pages
272. Understanding Computer Simulation
     Roger McHaney | BookBoon, Published in 2014, 161 pages
273. What If Crime Were Impossible?
     N. Richard Wagner | Univ. of Texas San Antonio, Published in 2002, 303 pages
274. Parallel Computing: Architectures, Algorithms and Applications
     C. Bischof, at al. | John von Neumann Institute for Computing, Published in 2007, 830 pages
275. Think Data Structures
     Allen B. Downey | Green Tea Press, Published in 2016, 187 pages
276. Quantum Information and Computation
     John Preskill | California Institute of Technology, Published in 1998, 481 pages
277. Compilers and Compiler Generators
     P.D. Terry | Rhodes University, Published in 1996, 427 pages
278. Neural Networks and Deep Learning
     Michael Nielsen | , Published in 2014, 235 pages
279. Modeling with Data: Tools and Techniques for Scientific Computing
     Ben Klemens | Princeton University Press, Published in 2009, 470 pages
280. Information Systems Foundations: Constructing and Criticising
     Dennis Hart, Shirley Gregor | ANU E Press, Published in 2005, 234 pages
281. Essentials of Geographic Information Systems
     Jonathan Campbell, Michael Shin | Saylor Foundation, Published in 2011, 259 pages
282. Mastering the Information Age: Solving Problems With Visual Analytics
     Daniel Keim, et al. | Eurographics Association, Published in 2010, 182 pages
283. Handbook of Applied Cryptography
     Alfred Menezes, Paul van Oorschot, Scott Vanstone | CRC-Press, Published in 1996, 816 pages
284. Design and Analysis of Algorithms
     Herbert Edelsbrunner | Duke University, Published in 2008, 95 pages
285. Applications of ICT in Libraries
     | Wikibooks, Published in 2015, 268 pages
286. A primer on information theory, with applications to neuroscience
     Felix Effenberger | arXiv, Published in 2013, 58 pages
287. Programming in Martin-Lof's Type Theory: An Introduction
     Bengt Nordstrom, Kent Petersson, Jan M. Smith | Oxford University Press, Published in 1990, 211 pages
288. Vector Models for Data-Parallel Computing
     Guy Blelloch | The MIT Press, Published in 1990, 268 pages
289. Usage Bibliometrics
     Michael J. Kurtz, Johan Bollen | arXiv, Published in 2011, 64 pages
290. An introduction to one-way quantum computing in distributed architectures
     Earl T. Campbell, Joseph Fitzsimons | arXiv, Published in 2009, 42 pages
291. Case Studies in Systematic Software Development
     Cliff B. Jones and Robert C. F. Shaw | Prentice Hall, Published in 1990, 405 pages
292. Data Modeling Techniques for Data Warehousing
     Chuck Ballard, et al. | IBM Redbooks, Published in 1998, 216 pages
293. Programming and Programming Languages
     Shriram Krishnamurthi | Brown University, Published in 2014, 262 pages
294. Computational Complexity: A Conceptual Perspective
     Oded Goldreich | Cambridge University Press, Published in 2008, 632 pages
295. Artificial Intelligence - Agent Behaviour
     William John Teahan | BookBoon, Published in 2010, 240 pages
296. Let Over Lambda: 50 Years of Lisp
     Doug Hoyte | Lulu.com, Published in 2008, 384 pages
297. Spatial Thinking in Planning Practice: An Introduction to GIS
     Y. Fang, V. Shandas, E. Arriaga Cordero | Portland State University, Published in 2014, 59 pages
298. Quantum Information Theory
     Robert H. Schumann | arXiv, Published in 2000, 88 pages
299. Introduction to Vocabularies: Enhancing Access to Cultural Heritage Information
     Elisa Lanzi | Oxford University Press, Published in 1998, 72 pages
300. Practical Cryptography for Developers
     Svetlin Nakov | Nakov.com, Published in 2018, 236 pages
301. Ambient Intelligence
     Felix Jesus Villanueva Molina | InTech, Published in 2010, 152 pages
302. P, NP, and NP-Completeness: The Basics of Complexity Theory
     Oded Goldreich | Cambridge University Press, Published in 2010, 190 pages
303. The Age of Intelligent Machines
     Ray Kurzweil | The MIT Press, Published in 1992
304. Human Robot Interaction
     Nilanjan Sarkar | InTech, Published in 2007, 522 pages
305. Building Blocks for Theoretical Computer Science
     Margaret M. Fleck | University of Illinois, Urbana-Champaign, Published in 2013, 271 pages
306. A Graduate Course in Applied Cryptography
     Dan Boneh, Victor Shoup | cryptobook.us, Published in 2017, 818 pages
307. Concurrency Control and Recovery in Database Systems
     P. A. Bernstein, V. Hadzilacos, N. Goodman | Addison Wesley, Published in 1987, 58 pages
308. Introduction to Design Analysis of Algorithms
     K. Raghava Rao | Smashwords, Published in 2013, 142 pages
309. Bibliometrics as a Research Field
     W. Glänzel | , Published in 2003, 115 pages
310. CS for All
     Christine Alvarado, et al. | Harvey Mudd College, Published in 2013, 311 pages
311. Applied Artificial Neural Networks
     Christian Dawson | MDPI AG, Published in 2016, 260 pages
312. Invent with Python
     Al Sweigart | inventwithpython.com, Published in 2011, 165 pages
313. Essential Coding Theory
     Venkatesan Guruswami, Atri Rudra, Madhu Sudan | University at Buffalo, Published in 2014, 266 pages
314. Introduction to Distributed Systems
     Sabu M. Thampi | arXiv, Published in 2009, 23 pages
315. Database Explorations
     C.J. Date, Hugh Darwen | , Published in 2013, 544 pages
316. Quantum Computing Since Democritus
     Scott Aaronson | University of Waterloo, Published in 2006, 398 pages
317. Distributed Control of Robotic Networks
     Francesco Bullo, Jorge Cortes, Sonia Martinez | Princeton University Press, Published in 2009, 323 pages
318. Recursion Theory
     Frank Stephan | National University of Singapore, Published in 2009, 125 pages
319. An Introductory Study on Time Series Modeling and Forecasting
     Ratnadip Adhikari, R. K. Agrawal | arXiv, Published in 2013, 67 pages
320. Elementary Cryptanalysis
     Helen Fouche Gaines | American Photographic Publishing Co., Published in 1939, 245 pages
321. SOA eBook: Patterns, Mashups, Governance, Service Modeling, and More
     | Pearson e ducation, Inc., Published in 2009, 280 pages
322. Lecture Notes in Machine Learning
     Zdravko Markov | Central Connecticut State University, Published in 2003, 65 pages
323. Fault Detection
     Wei Zhang | InTech, Published in 2010, 512 pages
324. Multi-Relational Data Mining
     Arno Jan Knobbe | IOS Press, Published in 2006, 130 pages
325. From Classical to Quantum Shannon Theory
     Mark M. Wilde | arXiv, Published in 2012, 663 pages
326. Deep Learning in Neural Networks: An Overview
     Juergen Schmidhuber | arXiv, Published in 2014, 88 pages
327. Artificial Neural Networks: Methodological Advances and Biomedical Applications
     Kenji Suzuki | InTech, Published in 2011, 362 pages
328. Randomized Algorithms
     Wolfgang Merkle | ESSLLI, Published in 2001, 46 pages
329. The Theory of Relational Databases
     David Maier | Computer Science Press, Published in 1983, 656 pages
330. Handbook of Quantum Information
     | Quantiki, Published in 2013, 516 pages
331. Handbook of Software Reliability Engineering
     Michael R. Lyu | McGraw-Hill, Published in 1996, 850 pages
332. The Practice of Parallel Programming
     Sergey A. Babkin | CreateSpace, Published in 2010, 422 pages
333. Foundations of Computer Science
     Hans-Peter Bischof | , Published in 1998
334. Introduction to Computability Theory
     Dag Normann | The University of Oslo, Published in 2010, 95 pages
335. Digital Image Processing
     Stefan G. Stanciu | InTech, Published in 2012, 200 pages
336. Software Engineering with Reusable Components
     Johannes Sametinger | Springer, Published in 2001, 285 pages
337. Complexity Theory: A Modern Approach
     Sanjeev Arora, Boaz Barak | Cambridge University Press, Published in 2008, 489 pages
338. Prolog and Natural-Language Analysis
     F. C. N. Pereira, S. M. Shieber | Center for the Study of Language, Published in 2002, 204 pages
339. Machine Learning: A Probabilistic Perspective
     Kevin Patrick Murphy | The MIT Press, Published in 2012, 1098 pages
340. A Framework for Enabling Distributed Applications on the Internet
     Mark Anthony McLaughlin | arXiv, Published in 2006, 133 pages
341. Automatic Speech Recognition
     Andre Gustavo Adami | Universidade de Caxias do Sul, Published in 2010, 73 pages
342. Cyber Infrastructure Protection
     Tarek N. Saadawi, Louis H. Jordan Jr. | Strategic Studies Institute, Published in 2011, 324 pages
343. Formal Languages
     Keijo Ruohonen | Tampere University of Technology, Published in 2009, 98 pages
344. Introduction to High-Performance Scientific Computing
     Victor Eijkhout | University of Texas, Published in 2020, 630 pages
345. Encyclopedia of Computational Neuroscience
     Eugene M. Izhikevich, at al. | Scholarpedia, Published in 2009
346. The LION Way: Machine Learning plus Intelligent Optimization
     Roberto Battiti, Mauro Brunato | Lionsolver, Inc., Published in 2013, 202 pages
347. Let's Build a Scripting Engine-Compiler
     S. Arbayo | , Published in 2010, 647 pages
348. Language Translation Using PCCTS and C++
     Terence John Parr | Automata Publishing Company, Published in 1993, 310 pages
349. Problems on Algorithms, 2nd edition
     Ian Parberry, William Gasarch | Prentice Hall, Published in 2002, 268 pages
350. 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
351. Human Computer Confluence
     Andrea Gaggioli, et al. | De Gruyter Open Ltd, Published in 2016, 330 pages
352. Notes on Computational Linguistics
     Edward Stabler | UCLA, Published in 2003
353. BIG CPU, BIG DATA: Solving the World's Toughest Problems with Parallel Computing
     Alan Kaminsky | Rochester Institute of Technology, Published in 2015, 424 pages
354. Machine Learning, Neural and Statistical Classification
     D. Michie, D. J. Spiegelhalter | Ellis Horwood, Published in 1994, 298 pages
355. A Short Course in Information Theory
     David J. C. MacKay | University of Cambridge, Published in 1995
356. Data Mining Algorithms In R
     | Wikibooks, Published in 2010
357. Quantum Computing: Progress and Prospects
     Emily Grumbling, Mark Horowitz | National Academies Press, Published in 2018, 206 pages
358. Reinforcement Learning: An Introduction
     Richard S. Sutton, Andrew G. Barto | The MIT Press, Published in 2017, 445 pages
359. Algorithms for Modular Elliptic Curves
     J. E. Cremona | Cambridge University Press, Published in 1992, 351 pages
360. The Antivirus Defense-in-Depth Guide
     | Microsoft Corporation, Published in 2004, 98 pages
361. Java Speech API Programmer's Guide
     | Sun Microsystems, Inc., Published in 1998, 156 pages
362. Voice Communication with Computers: Conversational Systems
     C. Schmandt | Van Nostrand Reinhold, Published in 1993, 319 pages
363. A Balanced Introduction to Computer Science
     David Reed | Prentice Hall, Published in 2004, 400 pages
364. A Mathematical Introduction to Robotic Manipulation
     Richard M. Murray, Zexiang Li, S. Shankar Sastry | CRC Press, Published in 1994, 474 pages
365. Introduction to Imaging
     Howard Besser | Getty Research Institute, Published in 2003, 97 pages
366. Mapping and the Citizen Sensor
     Giles Foody, et al. | Ubiquity Press, Published in 2017, 400 pages
367. A Gentle Introduction to ML
     Andrew Cumming | Napier University, Published in 1998
368. A Computer Science Tapestry: Exploring Computer Science with C++
     Owen L. Astrachan | McGraw - Hill, Published in 1999, 879 pages
369. Evolution of Parallel Cellular Machines: The Cellular Programming Approach
     Moshe Sipper | Springer, Published in 1997, 213 pages
370. The Design of Functional Programs - A Calculational Approach
     Dr. Robert Richard Hoogerwoord | Technische Universiteit Eindhoven, Published in 1989, 228 pages
371. Handbook of Information Security Management
     Micki Krause, Harold F. Tipton | Auerbach Publications, Published in 1997, 752 pages
372. GNU Compiler Collection (GCC) Internals
     | Free Software Foundation, Published in 2008
373. Lecture Notes on Bucket Algorithms
     Luc Devroye | Birkhauser, Published in 1986, 142 pages
374. Human Computer Interaction
     Ioannis Pavlidis | InTech, Published in 2008, 370 pages
375. Introduction to Data Science
     Jeffrey Stanton | , Published in 2013, 196 pages
376. Physical Modeling in MATLAB
     Allen Downey | Green Tea Press, Published in 2014, 155 pages
377. Artificial Intelligence - Intelligent Art
     Eckard Voigts, et al. | transcript Verlag, Published in 2024, 292 pages
378. 3D Video Processing and Transmission Fundamentals
     Chaminda Hewage | Bookboon, Published in 2014, 102 pages
379. Image Processing and Data Analysis: The Multiscale Approach
     J. Starck, F.D. Murtagh, A. Bijaoui | Cambridge University Press, Published in 1998, 315 pages
380. Data Science at the Command Line
     Jeroen Janssens | O'Reilly Media, Published in 2018, 219 pages
381. The Laws of Cryptography with Java Code
     Neal R. Wagner | Univ. of Texas San Antonio, Published in 2003, 334 pages
382. Bayesian Computational Methods
     Christian P. Robert | arXiv, Published in 2010, 59 pages
383. Introduction to Theory of Computation
     Anil Maheshwari, Michiel Smid | Carleton University, Published in 2012, 246 pages
384. Logic and Automata: History and Perspectives
     Jorg Flum (ed) | Amsterdam University Press, Published in 2007, 737 pages
385. Parallel Computing Works!
     G.C. Fox, R.D. Williams, P.C. Messina | Morgan Kaufmann Publishers, Published in 1994
386. Information Theory, Inference, and Learning Algorithms
     David J. C. MacKay | Cambridge University Press, Published in 2003, 640 pages
387. The Hundred-Page Machine Learning Book
     Andriy Burkov | , Published in 2019, 160 pages
388. Encyclopedia of Computational Intelligence
     Eugene M. Izhikevich, at al. | Scholarpedia, Published in 2009
389. Frontiers in Evolutionary Robotics
     Hitoshi Iba | InTech, Published in 2008, 596 pages
390. Satellite Positioning: Methods, Models and Applications
     Shuanggen Jin (ed.) | InTech, Published in 2015, 212 pages
391. Database Systems and Structures
     Osmar R. Zaiane | Simon Fraser University, Published in 1998
392. The Design and Implementation of Probabilistic Programming Languages
     Noah D. Goodman, Andreas Stuhlmüller | dippl.org, Published in 2016, 215 pages
393. Modern Robotics with OpenCV
     Widodo Budiharto | Science Publishing Group, Published in 2014, 232 pages
394. Computer Vision
     Xiong Zhihui | InTech, Published in 2008, 538 pages
395. Basic Cryptanalysis
     | United States Department of the Army, Published in 1990
396. Programming on Parallel Machines
     Norm Matloff | University of California, Davis, Published in 2012, 410 pages
397. Stereo Vision
     Asim Bhatti | InTech, Published in 2008, 372 pages
398. ROSE Compiler Framework
     | Wikibooks, Published in 2014, 226 pages
399. Virtual Reality: Human Computer Interaction
     Xin-Xing Tang (ed.) | InTech, Published in 2012, 306 pages
400. A Gentle Guide to Constraint Logic Programming via ECLiPSe
     Antoni Niederlinski | , Published in 2014, 545 pages
401. Object Detection in Real Images
     Dilip K. Prasad | arXiv, Published in 2013, 123 pages
402. Refining the Concept of Scientific Inference When Working with Big Data
     | National Academies Press, Published in 2017, 115 pages
403. Professor Frisby's Mostly Adequate Guide to Functional Programming
     | GitBook, Published in 2015, 70 pages
404. Algorithms and Data Structures for External Memory
     Jeffrey Scott Vitter | Now Publishers, Published in 2008, 191 pages
405. Quantum Cryptography
     N. Gisin, G. Ribordy, W. Tittel, H. Zbinden | arXiv, Published in 2001, 57 pages
406. Algorithmic Randomness and Complexity
     R. G. Downey, D. R. Hirschfeldt | Springer, Published in 2010, 629 pages
407. What does the honeybee see? And how do we know?
     Adrian Horridge | ANU E Press, Published in 2009
408. Bayesian Network
     Ahmed Rebai (ed.) | InTech, Published in 2010, 442 pages
409. Information, Entropy and Their Geometric Structures
     Frederic Barbaresco, Ali Mohammad-Djafari | MDPI AG, Published in 2015, 554 pages
410. Information Theory, Excess Entropy and Statistical Complexity
     David Feldman | College of the Atlantic, Published in 2002, 49 pages
411. Human Computer Interaction: New Developments
     Kikuo Asai | InTech, Published in 2008, 382 pages
412. Foundations of Computer Science: C Edition
     Al Aho, Jeff Ullman | W. H. Freeman, Published in 1994, 786 pages
413. Compiler Design: Theory, Tools, and Examples
     Seth D. Bergmann | Rowan University, Published in 2010, 284 pages
414. Deep Learning
     Yoshua Bengio, Ian Goodfellow, Aaron Courville | MIT Press, Published in 2014, 274 pages
415. Parallel and Distributed Computation: Numerical Methods
     Dimitri P. Bertsekas, John Tsitsiklis | Athena Scientific, Published in 2003
416. An Introduction to Data Mining
     Saed Sayad | University of Toronto, Published in 2011, 248 pages
417. Combinatorial Algorithms
     Albert Nijenhuis, Herbert S. Wilf | Academic Press Inc, Published in 1978, 316 pages
418. Mobile Robots: Perception and Navigation
     Sascha Kolski | InTech, Published in 2007, 704 pages
419. Rule-based Computation and Deduction
     Helene Kirchner, Pierre-Etienne Moreau | ESSLLI, Published in 2001, 100 pages
420. Let's Build a Compiler
     Jack Crenshaw | , Published in 1995, 277 pages
421. Introduction to Machine Learning
     Amnon Shashua | arXiv, Published in 2009, 109 pages
422. Write You a Haskell: Building a modern functional compiler from first principles
     Stephen Diehl | StephenDiehl.com, Published in 2015, 246 pages
423. Introduction to Reverse Engineering Software
     Mike Perry, Nasko Oskov | UIUC, Published in 2004, 211 pages
424. Algorithms and Data Structures: The Basic Toolbox
     K. Mehlhorn, P. Sanders | Springer, Published in 2008, 300 pages
425. Intuitionistic Type Theory
     Per Martin-Loef | , Published in 1980, 57 pages
426. Modern Speech Recognition Approaches with Case Studies
     S. Ramakrishnan (ed.) | InTech, Published in 2012, 326 pages
427. Artificial Intelligence - Agents and Environments
     William John Teahan | BookBoon, Published in 2010, 154 pages
428. Concurrent Programming in Erlang
     Robert Virding, Claes Wikstrom, Mike Williams | Prentice Hall PTR, Published in 1996, 205 pages
429. IT Security Cookbook
     Sean Boran | Boran Consulting, Published in 2003
430. Specifying Systems
     Leslie Lamport | Addison-Wesley Professional, Published in 2002, 382 pages
431. Knowware: the third star after Hardware and Software
     Ruqian Lu | Polimetrica, Published in 2007, 109 pages
432. How to think like a Computer Scientist (C++ Version)
     Allen B. Downey | , Published in 1999, 189 pages
433. Quantum Algorithms
     Michele Mosca | arXiv, Published in 2008, 71 pages
434. Complexity and Computation
     Allen Downey | Green Tea Press, Published in 2011, 104 pages
435. An Introduction to Computer Security: The NIST Handbook
     National Institute of Standards and Technology | , Published in 2006, 296 pages
436. Database Fundamentals
     Neeraj Sharma, at al. | IBM Corporation, Published in 2010, 282 pages
437. Data Structures and Algorithms
     Catherine Leung | GitBook, Published in 2017, 126 pages
438. Algorithmic Mathematics
     Leonard Soicher, Franco Vivaldi | Queen Mary University of London, Published in 2004, 94 pages
439. Cyberbotics' Robot Curriculum
     Olivier Michel, Fabien Rohrer, Nicolas Heiniger | Wikibooks, Published in 2010, 121 pages
440. The Theory of Languages and Computation
     Jean Gallier, Andrew Hicks | University of Pennsylvania, Published in 2006, 109 pages
441. Notes on Elementary Spectral Graph Theory
     Jean Gallier | arXiv, Published in 2013, 76 pages
442. Information Retrieval
     C. J. van Rijsbergen | Butterworth-Heinemann, Published in 1979, 224 pages
443. The Elements of Computing Systems
     Noam Nisan, Shimon Schocken | MIT Press, Published in 2005, 410 pages
444. The Nature of Code: Simulating Natural Systems with Processing
     Daniel Shiffman | The Nature of Code, Published in 2012, 520 pages
445. Advances in Human Computer Interaction
     Shane Pinder | InTech, Published in 2008, 600 pages
446. Strategies for Sustaining Digital Libraries
     K. Skinner, M. Halbert | Emory University Digital Library, Published in 2008, 123 pages
447. Quantum Hamiltonian Complexity
     S. Gharibian, Y. Huang, Z. Landau, S. W. Shin | arXiv, Published in 2014, 58 pages
448. Scientific Programming and Computer Architecture
     Divakar Viswanath | The MIT Press, Published in 2017, 624 pages
449. Information Theory and Coding
     John Daugman | University of Cambridge, Published in 2009, 75 pages
450. Formal Language Theory for Natural Language Processing
     Shuly Wintner | ESSLLI, Published in 2001, 52 pages
451. Ethical Artificial Intelligence
     Bill Hibbard | arXiv, Published in 2014, 168 pages
452. Foundations of Computation
     Carol Critchlow, David Eck | Hobart and William Smith Colleges, Published in 2011, 256 pages
453. Managing the Digital Library
     Roy Tennant | Reed Press, Published in 2004, 297 pages
454. Foundations of Cryptography
     Oded Goldreich | Cambridge University Press, Published in 2007, 396 pages
455. Face Recognition
     Milos Oravec | InTech, Published in 2010, 412 pages
456. Compiler Construction
     William M. Waite, Gerhard Goos | Springer, Published in 1996, 372 pages
457. Concrete Abstractions: An Introduction to Computer Science Using Scheme
     Max Hailperin, Barbara Kaiser, Karl Knight | Course Technology, Published in 1998, 686 pages
458. Robot Vision
     Ales Ude | InTech, Published in 2010, 624 pages
459. Data Structures and Algorithms
     John Morris | , Published in 1998, 218 pages
460. Understanding and Writing Compilers
     Richard Bornat | Middlesex University, Published in 2008, 435 pages
461. Security Enhanced Applications for Information Systems
     Christos Kalloniatis | InTech, Published in 2012, 224 pages
462. Algorithms and Complexity
     Herbert S. Wilf | AK Peters, Ltd., Published in 1994, 139 pages
463. Think Complexity: Complexity Science and Computational Modeling
     Allen B. Downey | Green Tea Press, Published in 2012, 146 pages
464. Face Recognition
     Kresimir Delac, Mislav Grgic | InTech, Published in 2007, 558 pages
465. Notes on Data Structures and Programming Techniques
     James Aspnes | Yale University, Published in 2015, 530 pages
466. Introduction to Information Retrieval
     Manning, Raghavan, Schütze | Cambridge University Press, Published in 2008, 496 pages
467. A New Kind of Science
     Stephen Wolfram | Wolfram Media, Published in 2002, 1192 pages
468. Mathematics for Classical Information Retrieval
     Dariush Alimohammadi, Mary K. Bolin | Zea E-Books, Published in 2010, 89 pages
469. Memristor and Memristive Neural Networks
     Alex Pappachen James (ed.) | InTech, Published in 2018, 324 pages
470. Basic Concepts in Quantum Information
     S. M. Girvin | arXiv, Published in 2013, 52 pages
471. Compiler Construction using Flex and Bison
     Anthony A. Aaby | Walla Walla College, Published in 2004, 102 pages
472. Neural Network Design
     Martin T. Hagan, et al. | , Published in 2014, 1012 pages
473. Speech Technologies
     Ivo Ipsic | InTech, Published in 2011, 432 pages
474. How to Write Parallel Programs: A First Course
     Nicholas Carriero, David Gelernter | MIT Press, Published in 1992, 246 pages
475. Quantum Computer Science
     David Mermin | Cambridge University Press, Published in 2007, 236 pages
476. Tabu Search
     Wassim Jaziri | InTech, Published in 2008, 278 pages
477. Data Structures and Algorithms: Annotated Reference with Examples
     Granville Barnett, Luca Del Tongo | DotNetSlackers, Published in 2008, 112 pages
478. Mathematics of Human Motion: from Animation towards Simulation
     A.I. Zhmakin | arXiv, Published in 2011, 91 pages
479. Information Retrieval Interaction
     Peter Ingwersen | Taylor Graham Publishing, Published in 2002, 256 pages
480. Algorithmic Information Theory
     Peter D. Gruenwald, Paul M.B. Vitanyi | CWI, Published in 2007, 37 pages
481. Information and Coding
     Karl Petersen | AMS, Published in 2018, 63 pages
482. Semantic Web
     Gang Wu | InTech, Published in 2010, 310 pages
483. Practical Semantic Web and Linked Data Applications
     Mark Watson | , Published in 2010, 180 pages
484. Parallel Complexity Theory
     Ian Parberry | Prentice Hall, Published in 1987, 212 pages
485. Quantum Computation
     John Watrous | University of Calgary, Published in 2006, 139 pages
486. A Programmer's Guide to Data Mining
     Ron Zacharski | GuideToDatamining.com, Published in 2014
487. Models and Theories in Human-Computer Interaction
     | Wikibooks, Published in 2015, 164 pages
488. Introduction to Coherent States and Quantum Information Theory
     Kazuyuki Fujii | arXiv, Published in 2002, 72 pages
489. Functional Programming and Parallel Graph Rewriting
     Rinus Plasmeijer, Marko van Eekelen | Addison-Wesley, Published in 1993, 592 pages
490. From Bricks to Brains: The Embodied Cognitive Science of LEGO
     M. Dawson, B. Dupuis, M. Wilson | AU Press, Published in 2010, 354 pages
491. Computer Science Concepts in Scratch
     Michal Armoni, Moti Ben-Ari | Weizmann Institute of Science, Published in 2013, 230 pages
492. Galois Connections and Fixed Point Calculus
     Roland Backhouse | , Published in 2001, 105 pages
493. Machine Vision
     R. Jain, R. Kasturi, B. G. Schunck | McGraw-Hill, Published in 1995, 549 pages
494. Communication Complexity (for Algorithm Designers)
     Tim Roughgarden | Stanford University, Published in 2015, 150 pages
495. Speech and Language Processing
     Dan Jurafsky, James H. Martin | Stanford University, Published in 2017, 499 pages
496. Good Digital Hygiene: A guide to staying secure in cyberspace
     Ed Gelbstein | Bookboon, Published in 2013, 86 pages
497. Quantum Information: primitive notions and quantum correlations
     Valerio Scarani | arXiv, Published in 2009, 74 pages
498. Introduction to Soft Computing
     Eva Volna | Bookboon, Published in 2013, 137 pages
499. Dictionary of Programming Languages
     Neal Ziring | , Published in 1998
500. Machine Vision: Automated Visual Inspection and Robot Vision
     David Vernon | Prentice Hall, Published in 1991, 260 pages