List of all posted books

So far we have a total of 1242 books


Practical Foundations of Mathematics

Post date: 20 Sep 2006
The 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.
Publisher: Cambridge University Press
Publication date: 13 May 1999
 
Practical Foundations of Mathematics

Practical Foundations of Mathematics

Post date: 20 Sep 2006
The 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.
Publisher: Cambridge University Press
Publication date: 13 May 1999


Algorithms in the Real World: Lecture Notes

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

Algorithms in the Real World: Lecture Notes

Post date: 19 Sep 2006
This document looks both at algorithms and at case studies in which the problems are used in real-world applications.
Publication date: 01 Apr 1998


Theory Of Codes

Post date: 19 Sep 2006
Presents a comprehensive study of the theory of variable length codes, and provides a systematic exposition of the topic.
Publication date: 30 Nov -0001
 
Theory Of Codes

Theory Of Codes

Post date: 19 Sep 2006
Presents 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 2006
This 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
 
Algebra: Abstract And Concrete

Algebra: Abstract And Concrete

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


Compiler Construction

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.
Publisher: Addison-Wesley Pub Co
Publication date: 01 May 2017
Document Type: Book
 
Compiler Construction

Compiler Construction

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.
Publisher: Addison-Wesley Pub Co
Publication date: 01 May 2017
Document Type: Book


Democratizing Innovation

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.
Publisher: The MIT Press
Publication date: 17 Feb 2006
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.0 Generic
Document Type: Book
 
Democratizing Innovation

Democratizing Innovation

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.
Publisher: The MIT Press
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 2006
This 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
 
Embedding Perl in HTML with Mason

Embedding Perl in HTML with Mason

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


Recommended Approach to Software Development

Post date: 14 Sep 2006
Presents guidelines for an organized, disciplined approach to software development in a field which demands a flawless, 100% working, error-free final product.
Publisher: National Aeronautics and Space Administration
Publication date: 01 Jun 1992
 
Recommended Approach to Software Development

Recommended Approach to Software Development

Post date: 14 Sep 2006
Presents guidelines for an organized, disciplined approach to software development in a field which demands a flawless, 100% working, error-free final product.
Publisher: National Aeronautics and Space Administration
Publication date: 01 Jun 1992


Dissecting a CSharp Application: Inside SharpDevelop

Post date: 12 Sep 2006
This book teaches advanced .NET programming techniques by getting an insiders' look at SharpDevelop, a complete Integrated Development Environment written in C#.
Publisher: Wrox Press
Publication date: 01 Feb 2003
 
Dissecting a CSharp Application: Inside SharpDevelop

Dissecting a CSharp Application: Inside SharpDevelop

Post date: 12 Sep 2006
This book teaches advanced .NET programming techniques by getting an insiders' look at SharpDevelop, a complete Integrated Development Environment written in C#.
Publisher: Wrox Press
Publication date: 01 Feb 2003


Design and Analysis of Algorithms: Course Notes

Post date: 11 Sep 2006
These 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

Design and Analysis of Algorithms: Course Notes

Post date: 11 Sep 2006
These 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 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: 09 Jan 2012
Document Type: Book
 
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: 09 Jan 2012
Document Type: Book


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


Book Categories
Sponsors