List of all posted books
So far we have a total of 1242 books
Practical Foundations of Mathematics
Post date: 20 Sep 2006The book is an account of the foundations of mathematics (algebra) and theoretical computer science, from a modern constructive viewpoint. It collects the methods of construction of the objects of twentieth century mathematics.
Practical Foundations of Mathematics
Post date: 20 Sep 2006The book is an account of the foundations of mathematics (algebra) and theoretical computer science, from a modern constructive viewpoint. It collects the methods of construction of the objects of twentieth century mathematics.
Algorithms in the Real World: Lecture Notes
Post date: 19 Sep 2006This document looks both at algorithms and at case studies in which the problems are used in real-world applications.
Publication date: 01 Apr 1998
Algorithms in the Real World: Lecture Notes
Post date: 19 Sep 2006This document looks both at algorithms and at case studies in which the problems are used in real-world applications.
Publication date: 01 Apr 1998
Post date: 19 Sep 2006
Presents a comprehensive study of the theory of variable length codes, and provides a systematic exposition of the topic.
Presents a comprehensive study of the theory of variable length codes, and provides a systematic exposition of the topic.
Publication date: 30 Nov -0001
Post date: 19 Sep 2006Presents a comprehensive study of the theory of variable length codes, and provides a systematic exposition of the topic.
Publication date: 30 Nov -0001
Algebra: Abstract And Concrete
Post date: 17 Sep 2006This text provides a thorough introduction to modern or abstract algebra at a level suitable for upper-level undergraduates and beginning graduate students.
Publisher:
Semisimple Press, Iowa City
Publication date: 01 Aug 2006
Document Type: Textbook
Publication date: 01 Aug 2006
Document Type: Textbook
Algebra: Abstract And Concrete
Post date: 17 Sep 2006This text provides a thorough introduction to modern or abstract algebra at a level suitable for upper-level undergraduates and beginning graduate students.
Publisher:
Semisimple Press, Iowa City
Publication date: 01 Aug 2006
Document Type: Textbook
Publication date: 01 Aug 2006
Document Type: Textbook
Post date: 17 Sep 2006
A concise, practical guide to modern compiler design and construction by the author of Pascal and Oberon. Readers are taken step-by-step through each stage of compiler design, using the simple yet powerful method of recursive descent to create a compiler.
A concise, practical guide to modern compiler design and construction by the author of Pascal and Oberon. Readers are taken step-by-step through each stage of compiler design, using the simple yet powerful method of recursive descent to create a compiler.
Post date: 17 Sep 2006A concise, practical guide to modern compiler design and construction by the author of Pascal and Oberon. Readers are taken step-by-step through each stage of compiler design, using the simple yet powerful method of recursive descent to create a compiler.
Post date: 17 Sep 2006
Eric von Hippel looks closely at the emerging system of user-centered innovation, in which users -- both individuals and firms -- often freely share their innovations with others, creating user-innovation communities and a rich intellectual commons.
Eric von Hippel looks closely at the emerging system of user-centered innovation, in which users -- both individuals and firms -- often freely share their innovations with others, creating user-innovation communities and a rich intellectual commons.
Publisher:
The MIT Press
Publication date: 17 Feb 2006
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.0 Generic
Document Type: Book
Publication date: 17 Feb 2006
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.0 Generic
Document Type: Book
Post date: 17 Sep 2006Eric von Hippel looks closely at the emerging system of user-centered innovation, in which users -- both individuals and firms -- often freely share their innovations with others, creating user-innovation communities and a rich intellectual commons.
Publisher:
The MIT Press
Publication date: 17 Feb 2006
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.0 Generic Document Type: Book
Publication date: 17 Feb 2006
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.0 Generic Document Type: Book
Embedding Perl in HTML with Mason
Post date: 15 Sep 2006This book shows the readers how to create large, complex, dynamically driven web sites that look good and are a snap to maintain using Perl and Mason.
Publisher:
O’Reilly Media, Inc.
Publication date: 01 Oct 2002
License: Open Publication License
Document Type: Book
Publication date: 01 Oct 2002
License: Open Publication License
Document Type: Book
Embedding Perl in HTML with Mason
Post date: 15 Sep 2006This book shows the readers how to create large, complex, dynamically driven web sites that look good and are a snap to maintain using Perl and Mason.
Publisher:
O’Reilly Media, Inc.
Publication date: 01 Oct 2002
License: Open Publication License Document Type: Book
Publication date: 01 Oct 2002
License: Open Publication License Document Type: Book
Recommended Approach to Software Development
Post date: 14 Sep 2006Presents guidelines for an organized, disciplined approach to software development in a field which demands a flawless, 100% working, error-free final product.
Recommended Approach to Software Development
Post date: 14 Sep 2006Presents guidelines for an organized, disciplined approach to software development in a field which demands a flawless, 100% working, error-free final product.
Dissecting a CSharp Application: Inside SharpDevelop
Post date: 12 Sep 2006This book teaches advanced .NET programming techniques by getting an insiders' look at SharpDevelop, a complete Integrated Development Environment written in C#.
Dissecting a CSharp Application: Inside SharpDevelop
Post date: 12 Sep 2006This book teaches advanced .NET programming techniques by getting an insiders' look at SharpDevelop, a complete Integrated Development Environment written in C#.
Design and Analysis of Algorithms: Course Notes
Post date: 11 Sep 2006These notes teach the techniques for the design and analysis of algorithms and data structures. It also study efficient algorithms from areas such as graph theory, networks, scheduling etc.
Publication date: 01 Aug 2003
Design and Analysis of Algorithms: Course Notes
Post date: 11 Sep 2006These notes teach the techniques for the design and analysis of algorithms and data structures. It also study efficient algorithms from areas such as graph theory, networks, scheduling etc.
Publication date: 01 Aug 2003
Logic For Computer Science - Foundations of Automatic Theorem Proving
Post date: 09 Sep 2006An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.
Logic For Computer Science - Foundations of Automatic Theorem Proving
Post date: 09 Sep 2006An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.
Computer Organization and Design Fundamentals
Post date: 09 Sep 2006Intended for computer science majors who want to study computer organization without a background in electrical engineering. Topics such as analog to digital conversion, CRC's, and memory organization are covered using practical terms and examples.
Computer Organization and Design Fundamentals
Post date: 09 Sep 2006Intended for computer science majors who want to study computer organization without a background in electrical engineering. Topics such as analog to digital conversion, CRC's, and memory organization are covered using practical terms and examples.
Publication date: 11 May 2005
License: Standard Copyright License
License: Standard Copyright License
TCP/IP Fundamentals for Microsoft Windows
Post date: 06 Sep 2006A structured, introductory approach to the basic concepts and principles of the TCP/IP protocol suite, how the most important protocols function, and their basic configuration in the Microsoft® Windows Server® 2003 and Windows® XP operating systems.
TCP/IP Fundamentals for Microsoft Windows
Post date: 06 Sep 2006A structured, introductory approach to the basic concepts and principles of the TCP/IP protocol suite, how the most important protocols function, and their basic configuration in the Microsoft® Windows Server® 2003 and Windows® XP operating systems.
Modular Forms, A Computational Approach
Post date: 03 Sep 2006Covers algorithms for computing spaces of modular forms and provides a rigorous foundation for the specific algorithms used.
Publisher:
American Mathematical Society
Publication date: 13 Feb 2007
License: GNU Free Documentation License
Publication date: 13 Feb 2007
License: GNU Free Documentation License
Modular Forms, A Computational Approach
Post date: 03 Sep 2006Covers algorithms for computing spaces of modular forms and provides a rigorous foundation for the specific algorithms used.
Publisher:
American Mathematical Society
Publication date: 13 Feb 2007
License: GNU Free Documentation License
Publication date: 13 Feb 2007
License: GNU Free Documentation License
A Problem Course in Mathematical Logic
Post date: 03 Sep 2006This is a text for a problem-oriented course on mathematical logic and computability.
Publication date: 01 Sep 2003
License: GNU Free Documentation License Version 1.2
Document Type: Book
License: GNU Free Documentation License Version 1.2
Document Type: Book
A Problem Course in Mathematical Logic
Post date: 03 Sep 2006This is a text for a problem-oriented course on mathematical logic and computability.
Publication date: 01 Sep 2003
License: GNU Free Documentation License Version 1.2 Document Type: Book
License: GNU Free Documentation License Version 1.2 Document Type: Book
Book Categories
Computer Science
Introduction to Computer Science
Introduction to Computer Programming
Algorithms and Data Structures
Artificial Intelligence
Computer Vision
Machine Learning
Neural Networks
Game Development and Multimedia
Data Communication and Networks
Coding Theory
Computer Security
Information Security
Cryptography
Information Theory
Computer Organization and Architecture
Operating Systems
Image Processing
Parallel Computing
Concurrent Programming
Relational Database
Document-oriented Database
Data Mining
Big Data
Data Science
Digital Libraries
Compiler Design and Construction
Functional Programming
Logic Programming
Object Oriented Programming
Formal Methods
Software Engineering
Agile Software Development
Information Systems
Geographic Information System (GIS)
Mathematics
Mathematics
Algebra
Abstract Algebra
Linear Algebra
Number Theory
Numerical Methods
Precalculus
Calculus
Differential Equations
Category Theory
Proofs
Discrete Mathematics
Theory of Computation
Graph Theory
Real Analysis
Complex Analysis
Probability
Statistics
Game Theory
Queueing Theory
Operations Research
Computer Aided Mathematics
Supporting Fields
Web Design and Development
Mobile App Design and Development
System Administration
Cloud Computing
Electric Circuits
Embedded System
Signal Processing
Integration and Automation
Network Science
Project Management
Operating System
Programming/Scripting
Ada
Assembly
C / C++
Common Lisp
Forth
Java
JavaScript
Lua
Rexx
Microsoft .NET
Perl
PHP
R
Python
Rebol
Ruby
Scheme
Tcl/Tk
Miscellaneous
Most Popular Books
427,406
Introduction to Objective Caml
242,234
Notes for the Course of Algorithms
232,098
Lessons In Electric Circuits
206,262
[No longer available] A Beginners C++
160,439
Introduction to Object-Oriented Programming Using C++
157,902
A Short Introduction to Operating Systems
156,956
Data Structures and Algorithms with Object-Oriented Design Patterns in C++
153,095
C Programming Tutorial (K&R version 4)
150,563
Computer Organization and Design Fundamentals
146,145
Programming The Nintendo Game Boy Advance: The Unofficial Guide
Sponsors