List of all posted books
So far we have a total of 1245 books
Data, Syntax and Semantics - An Introduction to Modelling Programming Languages
Post date: 22 Sep 2006An introduction to the mathematical theory of programming languages. Readers will need a first course in elementary set theory, logic and imperative programming as the background knowledge.
Publication date: 01 Jan 2006
Data, Syntax and Semantics - An Introduction to Modelling Programming Languages
Post date: 22 Sep 2006An introduction to the mathematical theory of programming languages. Readers will need a first course in elementary set theory, logic and imperative programming as the background knowledge.
Publication date: 01 Jan 2006
Security Engineering - A Guide to Building Dependable Distributed Systems
Post date: 22 Sep 2006This book gives a solid introduction to security engineering, its underlying technologies (crypto, access control, inference control, tamper resistance, seals) and its important applications in military, medical and financial fields.
Security Engineering - A Guide to Building Dependable Distributed Systems
Post date: 22 Sep 2006This book gives a solid introduction to security engineering, its underlying technologies (crypto, access control, inference control, tamper resistance, seals) and its important applications in military, medical and financial fields.
Post date: 20 Sep 2006
Presents informal way of attempting a mathematical proof of reliability to make sure that our computer programs will work reliably. Also shows the benefits of the approach even without strict formality.
Presents informal way of attempting a mathematical proof of reliability to make sure that our computer programs will work reliably. Also shows the benefits of the approach even without strict formality.
Publication date: 01 Jan 1994
Post date: 20 Sep 2006Presents informal way of attempting a mathematical proof of reliability to make sure that our computer programs will work reliably. Also shows the benefits of the approach even without strict formality.
Publication date: 01 Jan 1994
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: 20 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: 20 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: 10 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: 10 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
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
432,057
Introduction to Objective Caml
247,328
Notes for the Course of Algorithms
238,724
Lessons In Electric Circuits
211,175
[No longer available] A Beginners C++
165,026
Introduction to Object-Oriented Programming Using C++
163,470
A Short Introduction to Operating Systems
162,391
Data Structures and Algorithms with Object-Oriented Design Patterns in C++
158,409
C Programming Tutorial (K&R version 4)
155,804
Computer Organization and Design Fundamentals
150,339
Programming The Nintendo Game Boy Advance: The Unofficial Guide
Sponsors