List of all posted books

So far we have a total of 1242 books


Categories, Types And Structures

Post date: 03 Oct 2006
A self-contained introduction to general category theory and the mathematical structures that constituted the theoretical background.
Publisher: The MIT Press
Publication date: 31 Dec 1991
 
Categories, Types And Structures

Categories, Types And Structures

Post date: 03 Oct 2006
A self-contained introduction to general category theory and the mathematical structures that constituted the theoretical background.
Publisher: The MIT Press
Publication date: 31 Dec 1991


Art of Programming Contest - C Programming, Data Structures, and Algorithms, 2nd Edition

Post date: 03 Oct 2006
A textbook for an algorithm course focusing on programming as well as a programming course focusing on algorithms. The book is designed to train students to participate in competitions, especially the ACM International Collegiate Programming Contest.
Publisher: Gyankosh Prokashoni
Publication date: 31 Dec 2006
Document Type: Textbook
 
Art of Programming Contest - C Programming, Data Structures, and Algorithms, 2nd Edition

Art of Programming Contest - C Programming, Data Structures, and Algorithms, 2nd Edition

Post date: 03 Oct 2006
A textbook for an algorithm course focusing on programming as well as a programming course focusing on algorithms. The book is designed to train students to participate in competitions, especially the ACM International Collegiate Programming Contest.
Publisher: Gyankosh Prokashoni
Publication date: 31 Dec 2006
Document Type: Textbook


[No longer freely available] Algorithmic Problem Solving

Post date: 01 Oct 2006
An introduction to problem-solving and algorithm formulation using an example-driven approach. It demonstrates the importance of mathematical calculation, but the chosen examples are typically not mathematical.
Publication date: 01 Jun 2006
Document Type: Book
 
[No longer freely available] Algorithmic Problem Solving

[No longer freely available] Algorithmic Problem Solving

Post date: 01 Oct 2006
An introduction to problem-solving and algorithm formulation using an example-driven approach. It demonstrates the importance of mathematical calculation, but the chosen examples are typically not mathematical.
Publication date: 01 Jun 2006
Document Type: Book


Essentials of Theoretical Computer Science

Post date: 30 Sep 2006
Covers the basics of the theory of computation and provides some of the tools used in program verification, translation and compiling, and the analysis of algorithms.
Publication date: 31 Dec 1996
Document Type: Textbook
 
Essentials of Theoretical Computer Science

Essentials of Theoretical Computer Science

Post date: 30 Sep 2006
Covers the basics of the theory of computation and provides some of the tools used in program verification, translation and compiling, and the analysis of algorithms.
Publication date: 31 Dec 1996
Document Type: Textbook


Programming Languages: Application and Interpretation

Post date: 30 Sep 2006
This textbook shows students where programming languages come from, why they should regard languages as the ultimate form of abstraction, how to recognize such an evolving abstraction, and how to turn what they recognize into a language.
Publication date: 01 Jan 2006
 
Programming Languages: Application and Interpretation

Programming Languages: Application and Interpretation

Post date: 30 Sep 2006
This textbook shows students where programming languages come from, why they should regard languages as the ultimate form of abstraction, how to recognize such an evolving abstraction, and how to turn what they recognize into a language.
Publication date: 01 Jan 2006


Convex Optimization

Post date: 29 Sep 2006
This book helps the reader develop a working knowledge of convex optimization, i.e. to develop the skills and background needed to recognize, formulate, and solve convex optimization problems.
Publisher: Cambridge University Press
Publication date: 01 Mar 2004
 
Convex Optimization

Convex Optimization

Post date: 29 Sep 2006
This book helps the reader develop a working knowledge of convex optimization, i.e. to develop the skills and background needed to recognize, formulate, and solve convex optimization problems.
Publisher: Cambridge University Press
Publication date: 01 Mar 2004


[No longer freely accessible] Linear Programming: Foundations and Extensions

Post date: 29 Sep 2006
Focuses largely on constrained optimization. Begins with a substantial treatment of linear programming and proceeds to convex analysis, network flows, integer programming, and convex optimization.
Publisher: Springer-Verlag GmbH
Publication date: 01 May 2001
Document Type: Book
 
[No longer freely accessible] Linear Programming: Foundations and Extensions

[No longer freely accessible] Linear Programming: Foundations and Extensions

Post date: 29 Sep 2006
Focuses largely on constrained optimization. Begins with a substantial treatment of linear programming and proceeds to convex analysis, network flows, integer programming, and convex optimization.
Publisher: Springer-Verlag GmbH
Publication date: 01 May 2001
Document Type: Book


Dive Into Greasemonkey

Post date: 28 Sep 2006
Covers programming with Greasemonkey, a Firefox extension that lets users add their own scripts to web pages they visit, allowing them to remove heavy ads, fix uncomfortable font sizes, replace flash menus with text links, and much more.
Publisher: Lulu.com
Publication date: 31 Dec 2005
License: GNU General Public License Version 2
 
Dive Into Greasemonkey

Dive Into Greasemonkey

Post date: 28 Sep 2006
Covers programming with Greasemonkey, a Firefox extension that lets users add their own scripts to web pages they visit, allowing them to remove heavy ads, fix uncomfortable font sizes, replace flash menus with text links, and much more.
Publisher: Lulu.com
Publication date: 31 Dec 2005
License: GNU General Public License Version 2


[No longer freely accessible] More Servlets and JavaServer Pages

Post date: 28 Sep 2006
Practical guide to the use of the Java 2 Platform for Web-enabled applications and dynamic Web sites. Focuses on the standard JSP tag library, filters, life-cycle event listeners, declarative and programmatic security, Web applications, and much more.
Publisher: Pearson Education
Publication date: 26 Dec 2001
Document Type: Book
 
[No longer freely accessible] More Servlets and JavaServer Pages

[No longer freely accessible] More Servlets and JavaServer Pages

Post date: 28 Sep 2006
Practical guide to the use of the Java 2 Platform for Web-enabled applications and dynamic Web sites. Focuses on the standard JSP tag library, filters, life-cycle event listeners, declarative and programmatic security, Web applications, and much more.
Publisher: Pearson Education
Publication date: 26 Dec 2001
Document Type: Book


Beginning Perl

Post date: 28 Sep 2006
Covers installation how-to, core language elements (regular expressions, references, modules, and the like), and on to basic applied techniques. Also covers how to access and work with databases and write CGI scripts to generate web pages.
Publisher: Wrox Press
Publication date: 01 May 2000
Document Type: Book
 
Beginning Perl

Beginning Perl

Post date: 28 Sep 2006
Covers installation how-to, core language elements (regular expressions, references, modules, and the like), and on to basic applied techniques. Also covers how to access and work with databases and write CGI scripts to generate web pages.
Publisher: Wrox Press
Publication date: 01 May 2000
Document Type: Book


Programming in Lua

Post date: 27 Sep 2006
The official book of Lua, giving a solid base on the scripting language which has been used in many commercial applications, such as World of Warcraft and Adobe Lightroom, as well as non-commercial applications.
Publisher: Lua.org
Publication date: 01 Dec 2003
 
Programming in Lua

Programming in Lua

Post date: 27 Sep 2006
The official book of Lua, giving a solid base on the scripting language which has been used in many commercial applications, such as World of Warcraft and Adobe Lightroom, as well as non-commercial applications.
Publisher: Lua.org
Publication date: 01 Dec 2003


Introduction to Modern Cryptography

Post date: 23 Sep 2006
This document focuses on modern cryptography as a science. Includes topics on block ciphers, pseudorandom, symmetric and asymmetric encryption, hash, authentication and digital signatures.
Publication date: 11 May 2005
Document Type: Lecture Notes
 
Introduction to Modern Cryptography

Introduction to Modern Cryptography

Post date: 23 Sep 2006
This document focuses on modern cryptography as a science. Includes topics on block ciphers, pseudorandom, symmetric and asymmetric encryption, hash, authentication and digital signatures.
Publication date: 11 May 2005
Document Type: Lecture Notes


Data, Syntax and Semantics - An Introduction to Modelling Programming Languages

Post date: 22 Sep 2006
An 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

Data, Syntax and Semantics - An Introduction to Modelling Programming Languages

Post date: 22 Sep 2006
An 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 2006
This 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.
Publisher: John Wiley & Sons
Publication date: 01 Jan 2001
Document Type: Book
 
Security Engineering - A Guide to Building Dependable Distributed Systems

Security Engineering - A Guide to Building Dependable Distributed Systems

Post date: 22 Sep 2006
This 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.
Publisher: John Wiley & Sons
Publication date: 01 Jan 2001
Document Type: Book


Reasoned Programming

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.
Publication date: 01 Jan 1994
 
Reasoned Programming

Reasoned Programming

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.
Publication date: 01 Jan 1994


Book Categories
Sponsors