List of all posted books

So far we have a total of 1242 books


Applicative Programming and Specification

Post date: 25 Feb 2007
Addresses the issues of combining the virtues of functional programming with the virtues of imperative programming. Uses both Standard ML and Extended ML language for the implementation.
Publication date: 01 Oct 1993
 
Applicative Programming and Specification

Applicative Programming and Specification

Post date: 25 Feb 2007
Addresses the issues of combining the virtues of functional programming with the virtues of imperative programming. Uses both Standard ML and Extended ML language for the implementation.
Publication date: 01 Oct 1993


The Little Book of Semaphores, Second Edition

Post date: 20 Feb 2007
Introduces the principles of synchronization for concurrent programming. Covers the classical problems, including Readers-writers, Producer-consumer, and Dining Philosophers, plus a number of not-so-classical problems.
Publisher: CreateSpace Independent Publishing Platform
Publication date: 20 Mar 2009
License: GNU Free Documentation License
 
The Little Book of Semaphores, Second Edition

The Little Book of Semaphores, Second Edition

Post date: 20 Feb 2007
Introduces the principles of synchronization for concurrent programming. Covers the classical problems, including Readers-writers, Producer-consumer, and Dining Philosophers, plus a number of not-so-classical problems.
Publisher: CreateSpace Independent Publishing Platform
Publication date: 20 Mar 2009
License: GNU Free Documentation License


Abramowitz and Stegun: Handbook of Mathematical Functions

Post date: 18 Feb 2007
Provides scientific investigators with a comprehensive and self-contained summary of the mathematical functions that arise in physical and engineering problems.
Publication date:
 
Abramowitz and Stegun: Handbook of Mathematical Functions

Abramowitz and Stegun: Handbook of Mathematical Functions

Post date: 18 Feb 2007
Provides scientific investigators with a comprehensive and self-contained summary of the mathematical functions that arise in physical and engineering problems.
Publication date:


Notes for the Course of Data Structures

Post date: 18 Feb 2007
Focus on the representation and algorithms, the concrete issues of implementation of data structures. Provide the students with the tools needed to design and implement their own data structures.
Publication date: 31 Dec 2001
 
Notes for the Course of Data Structures

Notes for the Course of Data Structures

Post date: 18 Feb 2007
Focus on the representation and algorithms, the concrete issues of implementation of data structures. Provide the students with the tools needed to design and implement their own data structures.
Publication date: 31 Dec 2001


Notes for the Course of Algorithms

Post date: 18 Feb 2007
Deal with how to design good algorithms, which is about the mathematical theory behind the design of good programs.
Publication date: 31 Dec 1998
 
Notes for the Course of Algorithms

Notes for the Course of Algorithms

Post date: 18 Feb 2007
Deal with how to design good algorithms, which is about the mathematical theory behind the design of good programs.
Publication date: 31 Dec 1998


Introduction to Computational Complexity

Post date: 15 Feb 2007
Adopts some unconventional approaches, in which alternating Turing machines are introduced very early, and deterministic and nondeterministic Turing machines treated as special cases, in order to simplify many proofs.
Publication date: 31 Dec 1991
 
Introduction to Computational Complexity

Introduction to Computational Complexity

Post date: 15 Feb 2007
Adopts some unconventional approaches, in which alternating Turing machines are introduced very early, and deterministic and nondeterministic Turing machines treated as special cases, in order to simplify many proofs.
Publication date: 31 Dec 1991


Design and Analysis of Computer Algorithms

Post date: 14 Feb 2007
Focuses on how to design good algorithms, and how to analyze their efficiency.
Publication date: 31 Dec 2003
 
Design and Analysis of Computer Algorithms

Design and Analysis of Computer Algorithms

Post date: 14 Feb 2007
Focuses on how to design good algorithms, and how to analyze their efficiency.
Publication date: 31 Dec 2003


Notes for the Course of Advanced Algorithms

Post date: 13 Feb 2007
Describe a couple of the classical algorithms which are not taught in a first algorithms course. Also give a general understanding of efficient algorithms and a better understanding for how to design and analyze efficient algorithms.
Publication date: 01 Jan 2000
 
Notes for the Course of Advanced Algorithms

Notes for the Course of Advanced Algorithms

Post date: 13 Feb 2007
Describe a couple of the classical algorithms which are not taught in a first algorithms course. Also give a general understanding of efficient algorithms and a better understanding for how to design and analyze efficient algorithms.
Publication date: 01 Jan 2000


Introduction to Algorithms

Post date: 12 Feb 2007
Covers the behaviour, implementation, correctness and complexity of some well known array algorithms, especially for sorting and searching.
Publication date: 31 Dec 2001
 
Introduction to Algorithms

Introduction to Algorithms

Post date: 12 Feb 2007
Covers the behaviour, implementation, correctness and complexity of some well known array algorithms, especially for sorting and searching.
Publication date: 31 Dec 2001


Making TeX Work

Post date: 12 Feb 2007
Guides the readers through the tools available in the overall TeX system. Describes all drivers, macro packages, previewers, printing programs, online documentation facilities, and graphics programs, beyond the core TeX program.
Publisher: O’Reilly Media, Inc.
Publication date: 11 Apr 1994
License: GNU Free Documentation License
 
Making TeX Work

Making TeX Work

Post date: 12 Feb 2007
Guides the readers through the tools available in the overall TeX system. Describes all drivers, macro packages, previewers, printing programs, online documentation facilities, and graphics programs, beyond the core TeX program.
Publisher: O’Reilly Media, Inc.
Publication date: 11 Apr 1994
License: GNU Free Documentation License


GNU libavl Online Book

Post date: 11 Feb 2007
Provides an introduction to binary tree techniques using GNU libavl, a library in ANSI C for manipulation of various types of binary trees.
Publication date: 31 Dec 2006
License: GNU General Public License
 
GNU libavl Online Book

GNU libavl Online Book

Post date: 11 Feb 2007
Provides an introduction to binary tree techniques using GNU libavl, a library in ANSI C for manipulation of various types of binary trees.
Publication date: 31 Dec 2006
License: GNU General Public License


TeX by Topic, A TeXnician's Reference

Post date: 04 Feb 2007
A systematic reference manual designed as a companion to tutorial guides on the system. Provides an information source packed with original and practical ideas that will give the TeX user the essential insight needed to solve TeX problems.
Publisher: Addison-Wesley Publishing
Publication date: 01 Feb 1992
 
TeX by Topic, A TeXnician's Reference

TeX by Topic, A TeXnician's Reference

Post date: 04 Feb 2007
A systematic reference manual designed as a companion to tutorial guides on the system. Provides an information source packed with original and practical ideas that will give the TeX user the essential insight needed to solve TeX problems.
Publisher: Addison-Wesley Publishing
Publication date: 01 Feb 1992


TeX for the Impatient

Post date: 04 Feb 2007
Written for both new and experienced users in mind and designed specifically as a quick reference for common questions. Organised to make TeX faster to learn and use for novice and master alike.
Publisher: Addison-Wesley Publishing
Publication date: 31 Dec 2003
License: GNU Free Documentation License
 
TeX for the Impatient

TeX for the Impatient

Post date: 04 Feb 2007
Written for both new and experienced users in mind and designed specifically as a quick reference for common questions. Organised to make TeX faster to learn and use for novice and master alike.
Publisher: Addison-Wesley Publishing
Publication date: 31 Dec 2003
License: GNU Free Documentation License


Thinking in Postscript

Post date: 04 Feb 2007
Provides a practical look at the PostScript programming language. Describes how to combine the elements of the language into a strong, well-designed, modular program that is easy to develop and maintain.
Publisher: Addison-Wesley
Publication date: 01 Oct 1990
 
Thinking in Postscript

Thinking in Postscript

Post date: 04 Feb 2007
Provides a practical look at the PostScript programming language. Describes how to combine the elements of the language into a strong, well-designed, modular program that is easy to develop and maintain.
Publisher: Addison-Wesley
Publication date: 01 Oct 1990


Embedded System Design: A Unified Hardware/Software Approach

Post date: 29 Jan 2007
Introduces an embedded system design using a modern approach, which requires a unified view of software and hardware.
Publisher: John Wiley & Sons
Publication date: 17 Oct 2001
Document Type: Textbook
 
Embedded System Design: A Unified Hardware/Software Approach

Embedded System Design: A Unified Hardware/Software Approach

Post date: 29 Jan 2007
Introduces an embedded system design using a modern approach, which requires a unified view of software and hardware.
Publisher: John Wiley & Sons
Publication date: 17 Oct 2001
Document Type: Textbook


Book Categories
Sponsors