Here's a list of all Books.
473 - Algorithms for Modular Elliptic Curves, Second Edition
472 - Advances in Large Margin Classifiers [URL's no longer available]
471 - Artificial Intelligence through Prolog
470 - Lecture Notes on Semantics of Programming Languages
469 - Computational Category Theory
468 - An Introduction to the Theory of Computation
467 - Complexity of Algorithms
464 - The Craft of Programming
463 - Machine Vision: Automated Visual Inspection and Robot Vision
462 - Producing Open Source Software: How to Run a Successful Free Software Project
461 - The Art of Agile Development
460 - Creating XPCOM Components
459 - Axiom - The 30 Year Horizon
458 - Fundamental Numerical Methods and Data Analysis
457 - The Implementation of Functional Programming Languages
455 - Algorithmic Information Theory, Third Printing
454 - How Computers Work: Processor and Main Memory
452 - Implementing CIFS: The Common Internet File System
451 - Advanced Calculus, Revised Edition
450 - An Operating Systems Vade Mecum, Second Edition
449 - Communication Network Analysis
448 - Java Au Naturel - Guide to Object Oriented Design, 4th Edition
446 - Numerical Methods for Electrical and Computer Engineers [URL's no longer available]
443 - Computational Linguistics - Models, Resources, Applications
442 - Data Mining - Desktop Survival Guide
441 - Introduction to Machine Learning
440 - Inductive Logic Programming - Techniques and Applications [URL's no longer available]
439 - Probabilistic Design [URL's no longer available]
438 - Programming for Engineers with Mathematica [URL's no longer available]
434 - The MPEG-4 Structured Audio Book
433 - The Not So Short Introduction to LATEX 2e
432 - Trigonometric Delights [No longer freely available]
431 - The VHDL Cookbook, First Edition
430 - The Big Online Book of Linux Ada Programming
429 - Programming in Martin-Löf's Type Theory: An Introduction
428 - Type Theory and Functional Programming
427 - Type Systems for Programming Languages
426 - Programming in Standard ML
425 - GNU Octave: A high-level interactive language for numerical computations
424 - Developing Applications With Objective Caml
423 - [No longer freely available] COM and .NET Interoperability
422 - Bringing Design to Software
420 - Ada in Action: With Practical Programming Examples, Second Edition
418 - Numerical Computing with MATLAB
417 - A Functional Pattern System for Object-Oriented Design
416 - Object-Oriented Software in Ada 95 2nd Edition
415 - Ada 95: The Craft of Object-Oriented Programming
413 - Computational Semantics and Type Theory
412 - The Foundations of Cryptography (Draft)
411 - Computational Complexity: A Conceptual Perspective (Draft)
409 - Linux Client Migration Cookbook, Version 2
408 - Complexity Theory: A Modern Approach
407 - Image Processing in C: Analyzing and Enhancing Digital Images
406 - Image Processing and Data Analysis: The Multiscale Approach
404 - Fundamental Problems in Algorithmic Algebra
402 - Advanced Programming Language Design
401 - Introduction to Matrix Algebra
400 - Essential Skills for Agile Development
399 - Introduction to Functional Programming
398 - Foundations of Computer Science
397 - Warren's Abstract Machine: A Tutorial Reconstruction
396 - An Introduction to Statistical Signal Processing
395 - Introduction To Digital Filters - With Audio Applications
394 - Galois Connections and Fixed Point Calculus
393 - Denotational Semantics: A Methodology for Language Development
392 - Project Oberon - The Design of an Operating System and Compiler, Revised Edition 2013
391 - Wireless Networking in the Developing World
390 - Rethinking Public Key Infrastructures and Digital Certificates
389 - Seamless Object-Oriented Software Architecture
388 - Mathematics Of The Discrete Fourier Transform (DFT) - With Audio Applications
386 - ASN.1 Communication Between Heterogeneous Systems
384 - Fundamentals of Image Processing
383 - The Design of Functional Programs - A Calculational Approach
382 - How to Think About Algorithms - Loop Invariants and Recursion
381 - The Easiest Linux Guide You'll Ever Read
380 - Data Conversion Handbook
379 - Mixed Signal and DSP Design Techniques
378 - Algorithms and Data Structures in VLSI Design
377 - [URL's no longer available] Compilers: Backend to Frontend and Back to Front Again
376 - Asterisk: The Future of Telephony
375 - Categories, Types And Structures
374 - Art of Programming Contest - C Programming, Data Structures, and Algorithms, 2nd Edition
373 - [No longer freely available] Algorithmic Problem Solving
372 - Essentials of Theoretical Computer Science
371 - Programming Languages: Application and Interpretation
369 - [No longer freely accessible] Linear Programming: Foundations and Extensions
367 - [No longer freely accessible] More Servlets and JavaServer Pages
364 - Methods of Cryptanalysis: Lecture Notes [URL's no longer available]
363 - Introduction to Modern Cryptography
362 - Data, Syntax and Semantics - An Introduction to Modelling Programming Languages
361 - Security Engineering - A Guide to Building Dependable Distributed Systems
359 - Practical Foundations of Mathematics
358 - Algorithms in the Real World: Lecture Notes
356 - Algebra: Abstract And Concrete
354 - Democratizing Innovation
353 - Embedding Perl in HTML with Mason
352 - Recommended Approach to Software Development
351 - Dissecting a CSharp Application: Inside SharpDevelop
350 - Graph-Theoretic Algorithms: Lecture Notes [URL's removed]
349 - Design and Analysis of Algorithms: Course Notes
348 - Logic For Computer Science - Foundations of Automatic Theorem Proving
347 - Computer Organization and Design Fundamentals
346 - TCP/IP Fundamentals for Microsoft Windows
345 - Modular Forms, A Computational Approach
344 - A Problem Course in Mathematical Logic
343 - [No longer freely available] Applied Abstract Algebra
342 - A Computational Introduction to Number Theory and Algebra
341 - Foundations of Combinatorics with Applications
340 - Introduction to Operating Systems
339 - Free Software, Free Society: Selected Essays of Richard M. Stallman
336 - Mathematics for Algorithm and Systems Analysis
335 - A Short Course in Discrete Mathematics
334 - Programming Principles in Java: Architectures and Interfaces
333 - Fundamentals of Wireless Communication
330 - Software Optimization Manuals
329 - [No longer freely accessible] Practical PostgreSQL
328 - Information Theory, Inference and Learning Algorithms
327 - Software Engineering for Internet Applications
326 - C++ GUI Programming with Qt 3
323 - Derivations of Applied Mathematics
322 - A First Course in Linear Algebra (Version 3.50)
318 - Computer Aids for VLSI Design, Second Edition
317 - The Complexity of Boolean Functions
316 - A Genetic Algorithm Tutorial
315 - Sorting and Searching Algorithms: A Cookbook
314 - Microsoft SQL Server 2000 Administrator's Pocket Consultant
313 - Introduction to Interactive Programming In Java
310 - Best Kept Secrets of Peer Code Review
309 - An Introduction to C++ with Design Patterns in Qt 4
308 - The Art of Computer Game Design [No longer freely available]
307 - Vector Math for 3D Computer Graphics - An Interactive Tutorial, 4th Revision
306 - OpenOffice.org 3 Writer Guide
305 - Rebol Programming For The Absolute Beginner
303 - OpenOffice.org's Getting Started, the Second Edition
302 - Programming in Oberon - Steps Beyond Pascal and Modula
297 - Practical PHP Programming
296 - Language, Proof and Logic [URL's removed]
295 - Structure and Interpretation of Computer Programs - Video Lectures
294 - Concurrency Control And Recovery in Database Systems
292 - Communicating Sequential Processes
291 - Programming from the Ground Up
290 - The Scheme Programming Language, Third Edition
289 - The New C Standard - An Economic and Cultural Commentary
288 - Common LISP - An Interactive Approach
287 - Prolog and Natural-Language Analysis - Digital Edition
286 - Text Processing in Python
285 - Introduction to Reverse Engineering Software
283 - Programming The Nintendo Game Boy Advance: The Unofficial Guide
282 - Handbook of Applied Cryptography
281 - Adaptive Control: Stability, Convergence, and Robustness
279 - Combinatorial Algorithms
278 - The Chaos Hypertextbook - Mathematics in the Age of the Computer
277 - Object-Oriented Programming And The Objective-C Language
276 - [Sign-up required] Natural Language Processing in Prolog
275 - Unsolved Problems in Mathematical Systems and Control Theory
274 - Concrete Abstractions - An Introduction to Computer Science Using Scheme
273 - Iptables Tutorial 1.2.0 - Linux Firewall Configuration
271 - Computer, Graphics and Learning
270 - Linux Security for Beginners
269 - Tclwise - Guide to the Tcl Programming Language
268 - Radio Antenna Engineering
267 - Electromagnetic Waves and Antennas
266 - Learn Prolog Now! (Texts in Computing, Vol. 7)
265 - Graph Theory, 3rd Edition
264 - Common Lisp - A Gentle Introduction To Symbolic Computation
263 - Elements of Abstract and Linear Algebra
261 - [No longer freely accessible] Tcl/Tk For Programmers
260 - Upgrading Microsoft Visual Basic 6.0 to Microsoft Visual Basic .NET
259 - Introducing Visual Basic 2005 for Developers
258 - Lessons In Electric Circuits
256 - Linux in the Workplace - How to Use Linux in Your Office
255 - How to Optimize for the Pentium Microprocessors
253 - Integration and Automation of Manufacturing Systems
252 - Abstract Algebra: The Basic Graduate Year
250 - The Rise of Open Source Licensing
249 - Open Source Licensing - Software Freedom and Intellectual Property Law
247 - Automated Manufacturing Systems with PLCs (Version 6.0)
246 - An Introduction to the Theory of Numbers
245 - Basic Concepts of Mathematics
244 - Systematic Software Development Using VDM, 2nd Edition
243 - Case Studies in Systematic Software Development
241 - Linux Device Drivers, 3rd Edition
240 - Designing and Building Parallel Programs
238 - The Scientist and Engineer's Guide to Digital Signal Processing, 2nd Edition
237 - Linear Methods of Applied Mathematics
236 - Formal Specification and Documentation using Z: A Case Study Approach
235 - Efficient Algorithms for Sorting and Synchronization
234 - The R Reference Manual Base Package Volume 2
233 - [No longer freely accessible] The R Reference Manual Base Package Volume 1
231 - Introduction to Probability, 2nd Rev edition
230 - Elementary Linear Algebra
229 - The Common Lisp Cookbook
228 - The .NET Developer's Guide to Windows Security [URL's no longer available]
227 - [No longer freely accessible] Real World XML Web Services: For VB and VB .NET Developers
226 - Understanding Open Source and Free Software Licensing
224 - User Interface Design for Programmers
223 - Thinking Forth - a Language and Philosophy for Solving Problems
222 - Why's (Poignant) Guide to Ruby
221 - Secure Programming for Linux and Unix
220 - We the Media - Grassroots Journalism by the People, for the People
219 - C Programming Tutorial (K&R version 4)
217 - A Short Introduction to Operating Systems
215 - How to be a Programmer: A Short, Comprehensive, and Personal Summary
214 - A Gentle Introduction to Haskell
213 - Syntax and Semantics of Programming Languages, A Laboratory Based Approach
212 - Tree Automata Techniques and Applications
211 - Java Look and Feel Design Guidelines, Second Edition
209 - Principles of Programming Languages
208 - Matters Computational: Ideas, Algorithms, Source Code (formerly: Algorithms for Programmers)
205 - Parallel Complexity Theory
204 - Lecture Notes on Algorithm Analysis and Computational Complexity (4th Edition)
203 - Free For All: How Linux and the Free Software Movement Undercut the High-Tech Titans
200 - Programmed Lessons in Quick Basic
198 - Building Accessible Websites
197 - Formatting Information, a Beginner's Introduction to Typesetting With LaTeX
196 - A Gentle Introduction to TeX, a Manual for Self-study
195 - [No longer freely available] Creating Applications with Mozilla
194 - Data Structures and Algorithms with Object-Oriented Design Patterns in C#
192 - [No longer publicly accessible] Design And Validation Of Computer Protocols
189 - On Lisp, Advanced Techniques for Common LISP
188 - [No longer freely available] Loving Lisp, or the Savvy Programmer's Secret Weapon
187 - Common Lisp the Language, 2nd Edition
186 - Programming Ruby, The Pragmatic Programmer's Guide
185 - Processing XML with Java
184 - The Art of Assembly Language Programming
182 - Thinking in Patterns with Java
181 - [No longer publicly accessible] Core Servlets and JavaServer Pages
180 - GNU Bash Reference Manual
179 - Everyday Linux [Domain's expired]
178 - Debian GNU/Linux Desktop Survival Guide
177 - A Practical Theory of Programming, Second Edition
176 - Object-Oriented Software Composition
175 - Programming from Specifications
174 - The ePMbook - Project and Programme Management
173 - Version Management With CVS
171 - Version Control with Subversion
170 - [No longer freely accessible] Python Standard Library
169 - Incompatibilities Between ISO C and ISO C++
168 - Industrial Strength C++; Rules and Recommendations
167 - Style Guides for C and C++
165 - The Art of Unix Programming
152 - The Psychology of Menu Selection: Designing Cognitive Control at the Human/Computer Interface
151 - The CVS Book: Open Source Development with CVS
150 - Technical Writing: Online Textbook / Power Tools for Technical Communication
148 - Structure and Interpretation of Computer Programs
147 - Problems on Algorithms, Second Edition
146 - Data Structures and Algorithms With Object-Oriented Design Patterns in Java
145 - Data Structures and Algorithms with Object-Oriented Design Patterns in C++
144 - Concepts, Techniques, and Models of Computer Programming [No longer freely available]