List of all posted books

So far we have a total of 1211 books


Logic For Computer Science - Foundations of Automatic Theorem Proving

Post date: 09 Sep 2006
An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.
Publisher: Dover Publications
Publication date: 18 Jun 2015
Document Type: Textbook
 
Logic For Computer Science - Foundations of Automatic Theorem Proving

Logic For Computer Science - Foundations of Automatic Theorem Proving

Post date: 09 Sep 2006
An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.
Publisher: Dover Publications
Publication date: 18 Jun 2015
Document Type: Textbook


Computer Organization and Design Fundamentals

Post date: 09 Sep 2006
Intended 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
 
Computer Organization and Design Fundamentals

Computer Organization and Design Fundamentals

Post date: 09 Sep 2006
Intended 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


TCP/IP Fundamentals for Microsoft Windows

Post date: 06 Sep 2006
A 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.
Publisher: Microsoft Corporation
Publication date: 01 May 2006
 
TCP/IP Fundamentals for Microsoft Windows

TCP/IP Fundamentals for Microsoft Windows

Post date: 06 Sep 2006
A 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.
Publisher: Microsoft Corporation
Publication date: 01 May 2006


Modular Forms, A Computational Approach

Post date: 03 Sep 2006
Covers 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
 
Modular Forms, A Computational Approach

Modular Forms, A Computational Approach

Post date: 03 Sep 2006
Covers 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


A Problem Course in Mathematical Logic

Post date: 03 Sep 2006
This 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
 
A Problem Course in Mathematical Logic

A Problem Course in Mathematical Logic

Post date: 03 Sep 2006
This 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


A Computational Introduction to Number Theory and Algebra

Post date: 01 Sep 2006
Provides an introduction to number theory and algebra, with an emphasis on algorithms and applications.
 
A Computational Introduction to Number Theory and Algebra

A Computational Introduction to Number Theory and Algebra

Post date: 01 Sep 2006
Provides an introduction to number theory and algebra, with an emphasis on algorithms and applications.

Foundations of Combinatorics with Applications

Post date: 31 Aug 2006
Intended as an introduction to the mathematical foundations of the interaction between computer science and mathematics as a major impetus for theoretical developments and applications of combinatorics.
Publisher: Dover Publications
Publication date: 31 Dec 2005
 
Foundations of Combinatorics with Applications

Foundations of Combinatorics with Applications

Post date: 31 Aug 2006
Intended as an introduction to the mathematical foundations of the interaction between computer science and mathematics as a major impetus for theoretical developments and applications of combinatorics.
Publisher: Dover Publications
Publication date: 31 Dec 2005


Introduction to Operating Systems

Post date: 29 Aug 2006
Intended as a general introduction to the techniques used to implement operating systems and related kinds of systems software.
Publication date:
 
Introduction to Operating Systems

Introduction to Operating Systems

Post date: 29 Aug 2006
Intended as a general introduction to the techniques used to implement operating systems and related kinds of systems software.
Publication date:


Free Software, Free Society: Selected Essays of Richard M. Stallman

Post date: 27 Aug 2006
Collections of essays and speeches by Richard M. Stallman. Includes historical writings such as The GNU Manifesto, along with new writings on copyright, patent law, and the issue of trusted computing.
Publisher: CreateSpace Independent Publishing Platform
Publication date: 30 Dec 2009
License: GNU Free Documentation License Version 1.1
Document Type: Book
 
Free Software, Free Society: Selected Essays of Richard M. Stallman

Free Software, Free Society: Selected Essays of Richard M. Stallman

Post date: 27 Aug 2006
Collections of essays and speeches by Richard M. Stallman. Includes historical writings such as The GNU Manifesto, along with new writings on copyright, patent law, and the issue of trusted computing.
Publisher: CreateSpace Independent Publishing Platform
Publication date: 30 Dec 2009
License: GNU Free Documentation License Version 1.1 Document Type: Book


Graph Theory Lessons

Post date: 26 Aug 2006
The entire 23 lessons of Graph Theory that utilizes a java software as an investigative tool. The software can draw, edit and manipulate simple graphs, examine properties of the graphs, and demonstrate them using computer animation.
Publication date: 01 Jun 2004
Document Type: Textbook
 
Graph Theory Lessons

Graph Theory Lessons

Post date: 26 Aug 2006
The entire 23 lessons of Graph Theory that utilizes a java software as an investigative tool. The software can draw, edit and manipulate simple graphs, examine properties of the graphs, and demonstrate them using computer animation.
Publication date: 01 Jun 2004
Document Type: Textbook


Mathematics for Algorithm and Systems Analysis

Post date: 23 Aug 2006
The second part of the two series of book, used to teach discrete mathematics that includes Boolean arithmetic, combinatorics, elementary logic, induction, graph theory and finite probability in the University of California, San Diego.
Publisher: Dover Publications
Publication date: 01 Jul 2005
 
Mathematics for Algorithm and Systems Analysis

Mathematics for Algorithm and Systems Analysis

Post date: 23 Aug 2006
The second part of the two series of book, used to teach discrete mathematics that includes Boolean arithmetic, combinatorics, elementary logic, induction, graph theory and finite probability in the University of California, San Diego.
Publisher: Dover Publications
Publication date: 01 Jul 2005


A Short Course in Discrete Mathematics

Post date: 23 Aug 2006
The first part of the two series of book, used to teach discrete mathematics that includes Boolean arithmetic, combinatorics, elementary logic, induction, graph theory and finite probability in the University of California, San Diego.
Publisher: Dover Publications
Publication date: 01 Dec 2004
 
A Short Course in Discrete Mathematics

A Short Course in Discrete Mathematics

Post date: 23 Aug 2006
The first part of the two series of book, used to teach discrete mathematics that includes Boolean arithmetic, combinatorics, elementary logic, induction, graph theory and finite probability in the University of California, San Diego.
Publisher: Dover Publications
Publication date: 01 Dec 2004


Programming Principles in Java: Architectures and Interfaces

Post date: 20 Aug 2006
A first course for would-be professional programmers, using Java. This textbook presents standard architectures for component construction and patterns of control construction and data construction.
Publication date: 01 Jan 2003
Document Type: Textbook
 
Programming Principles in Java: Architectures and Interfaces

Programming Principles in Java: Architectures and Interfaces

Post date: 20 Aug 2006
A first course for would-be professional programmers, using Java. This textbook presents standard architectures for component construction and patterns of control construction and data construction.
Publication date: 01 Jan 2003
Document Type: Textbook


Fundamentals of Wireless Communication

Post date: 18 Aug 2006
Takes a unified view of the fundamentals of wireless communication and explains the web of concepts underpinning these advances at a level accessible to an audience with a basic background in probability and digital communication.
Publisher: Cambridge University Press
Publication date: 01 Jun 2005
 
Fundamentals of Wireless Communication

Fundamentals of Wireless Communication

Post date: 18 Aug 2006
Takes a unified view of the fundamentals of wireless communication and explains the web of concepts underpinning these advances at a level accessible to an audience with a basic background in probability and digital communication.
Publisher: Cambridge University Press
Publication date: 01 Jun 2005


prolog :- tutorial

Post date: 17 Aug 2006
This tutorial is intended to be used to help learn the essential, basic concepts of Prolog. The sample programs have been especially chosen to help promote the use of Prolog programming in an artificial intelligence course.
Publication date: 31 Dec 2004
 
prolog :- tutorial

prolog :- tutorial

Post date: 17 Aug 2006
This tutorial is intended to be used to help learn the essential, basic concepts of Prolog. The sample programs have been especially chosen to help promote the use of Prolog programming in an artificial intelligence course.
Publication date: 31 Dec 2004


Book Categories
Sponsors
Icons8, a free icon pack