List of all posted books

So far we have a total of 1242 books


Ada Distilled

Post date: 02 Nov 2006
A quick-start book aimed at experienced programmers who want to learn Ada at the programming level. Emphasizes syntax, control structures, subprogram rules, and how-to coding issues rather than design issues.
Publication date: 01 Jul 2003
 
Ada Distilled

Ada Distilled

Post date: 02 Nov 2006
A quick-start book aimed at experienced programmers who want to learn Ada at the programming level. Emphasizes syntax, control structures, subprogram rules, and how-to coding issues rather than design issues.
Publication date: 01 Jul 2003


Ada in Action: With Practical Programming Examples, Second Edition

Post date: 02 Nov 2006
An advanced Ada programming book, focuses on developing engineering applications. Covers numeric considerations, user interface, small scale programming and testing.
Publication date: 31 Dec 1995
 
Ada in Action: With Practical Programming Examples, Second Edition

Ada in Action: With Practical Programming Examples, Second Edition

Post date: 02 Nov 2006
An advanced Ada programming book, focuses on developing engineering applications. Covers numeric considerations, user interface, small scale programming and testing.
Publication date: 31 Dec 1995


Basic Lisp Techniques

Post date: 02 Nov 2006
This book demonstrates features that make Common Lisp better than many of its competitors, and to give readers a quick-start guide for using Common Lisp as a development environment.
Publication date: 01 Mar 2003
 
Basic Lisp Techniques

Basic Lisp Techniques

Post date: 02 Nov 2006
This book demonstrates features that make Common Lisp better than many of its competitors, and to give readers a quick-start guide for using Common Lisp as a development environment.
Publication date: 01 Mar 2003


Numerical Computing with MATLAB

Post date: 01 Nov 2006
A textbook for an introductory course in numerical methods, MATLAB, and technical computing, with an emphasis on the informed use of mathematical software.
Publisher: Society for Industrial & Applied Mathematics
Publication date: 01 Jan 2004
 
Numerical Computing with MATLAB

Numerical Computing with MATLAB

Post date: 01 Nov 2006
A textbook for an introductory course in numerical methods, MATLAB, and technical computing, with an emphasis on the informed use of mathematical software.
Publisher: Society for Industrial & Applied Mathematics
Publication date: 01 Jan 2004


A Functional Pattern System for Object-Oriented Design

Post date: 01 Nov 2006
Promotes the idea that concepts from the world of functional programming can be captured with design pattern descriptions. These can then be used to benefit from functional programming concepts with ordinary object-oriented languages.
Publisher: Verlag Dr. Kovac
Publication date: 01 Aug 1999
 
A Functional Pattern System for Object-Oriented Design

A Functional Pattern System for Object-Oriented Design

Post date: 01 Nov 2006
Promotes the idea that concepts from the world of functional programming can be captured with design pattern descriptions. These can then be used to benefit from functional programming concepts with ordinary object-oriented languages.
Publisher: Verlag Dr. Kovac
Publication date: 01 Aug 1999


Object-Oriented Software in Ada 95 2nd Edition

Post date: 01 Nov 2006
This book is designed for students and programmers who wish to learn object-oriented programming using the language Ada 95. Uses numerous examples to illustrate the ideas of encapsulation, inheritance and polymorphism.
Publisher: McGraw-Hill
Publication date: 01 Mar 2000
Document Type: Book
 
Object-Oriented Software in Ada 95 2nd Edition

Object-Oriented Software in Ada 95 2nd Edition

Post date: 01 Nov 2006
This book is designed for students and programmers who wish to learn object-oriented programming using the language Ada 95. Uses numerous examples to illustrate the ideas of encapsulation, inheritance and polymorphism.
Publisher: McGraw-Hill
Publication date: 01 Mar 2000
Document Type: Book


Ada 95: The Craft of Object-Oriented Programming

Post date: 01 Nov 2006
A beginner's introduction to Ada 95. Uses an example-driven approach that gradually develops small programs into large case-study type programs. Focuses on using object-oriented approaches to write maintainable, extensive programs.
Publisher: Prentice Hall
Publication date: 24 Oct 1996
 
Ada 95: The Craft of Object-Oriented Programming

Ada 95: The Craft of Object-Oriented Programming

Post date: 01 Nov 2006
A beginner's introduction to Ada 95. Uses an example-driven approach that gradually develops small programs into large case-study type programs. Focuses on using object-oriented approaches to write maintainable, extensive programs.
Publisher: Prentice Hall
Publication date: 24 Oct 1996


Elementary Mathematics

Post date: 30 Oct 2006
Develops fundamental skills in algebra, trigonometry, indices and logarithms, equations and inequalities, as well as progressions. Includes differential and integral calculus in a reasonable level.
Publication date: 31 Dec 1999
Document Type: Lecture Notes
 
Elementary Mathematics

Elementary Mathematics

Post date: 30 Oct 2006
Develops fundamental skills in algebra, trigonometry, indices and logarithms, equations and inequalities, as well as progressions. Includes differential and integral calculus in a reasonable level.
Publication date: 31 Dec 1999
Document Type: Lecture Notes


Computational Semantics and Type Theory

Post date: 30 Oct 2006
Covers applications of logic in the semantic analysis of language, specified in a functional programming (Haskell) framework.
Publisher: Cambridge University Press
Publication date: 01 Nov 2010
 
Computational Semantics and Type Theory

Computational Semantics and Type Theory

Post date: 30 Oct 2006
Covers applications of logic in the semantic analysis of language, specified in a functional programming (Haskell) framework.
Publisher: Cambridge University Press
Publication date: 01 Nov 2010


The Foundations of Cryptography (Draft)

Post date: 28 Oct 2006
Presents a rigorous and systematic treatment of the foundational issues: defining cryptographic tasks and solving new cryptographic problems using existing tools. Focuses on computational difficulty, pseudorandomness and zero-knowledge proofs.
Publisher: Cambridge University Press
Publication date: 18 Jan 2007
Document Type: Book
 
The Foundations of Cryptography (Draft)

The Foundations of Cryptography (Draft)

Post date: 28 Oct 2006
Presents a rigorous and systematic treatment of the foundational issues: defining cryptographic tasks and solving new cryptographic problems using existing tools. Focuses on computational difficulty, pseudorandomness and zero-knowledge proofs.
Publisher: Cambridge University Press
Publication date: 18 Jan 2007
Document Type: Book


Computational Complexity: A Conceptual Perspective (Draft)

Post date: 27 Oct 2006
Focuses on the high level study of computation, exploring the connections among computational problems and notions. Covers theory of NP-completeness, approximation, probabilistic proof systems, pseudorandomness and cryptography.
Publisher: Cambridge University Press
Publication date: 28 Apr 2008
Document Type: Book
 
Computational Complexity: A Conceptual Perspective (Draft)

Computational Complexity: A Conceptual Perspective (Draft)

Post date: 27 Oct 2006
Focuses on the high level study of computation, exploring the connections among computational problems and notions. Covers theory of NP-completeness, approximation, probabilistic proof systems, pseudorandomness and cryptography.
Publisher: Cambridge University Press
Publication date: 28 Apr 2008
Document Type: Book


Agustin's Linux Manual

Post date: 24 Oct 2006
This series is a step-by-step tutorial on GNU/Linux from installation to system administration, based on Mandrake Linux.
Publisher: vegaslocal.com
Publication date: 31 Dec 2003
Document Type: Book
 
Agustin's Linux Manual

Agustin's Linux Manual

Post date: 24 Oct 2006
This series is a step-by-step tutorial on GNU/Linux from installation to system administration, based on Mandrake Linux.
Publisher: vegaslocal.com
Publication date: 31 Dec 2003
Document Type: Book


Linux Client Migration Cookbook, Version 2

Post date: 21 Oct 2006
Provides a technical planning reference for IT organizations large or small that are now considering a migration to Linux-based personal computers.
Publisher: IBM Redbooks
Publication date: 13 Oct 2006
 
Linux Client Migration Cookbook, Version 2

Linux Client Migration Cookbook, Version 2

Post date: 21 Oct 2006
Provides a technical planning reference for IT organizations large or small that are now considering a migration to Linux-based personal computers.
Publisher: IBM Redbooks
Publication date: 13 Oct 2006


Complexity Theory: A Modern Approach

Post date: 21 Oct 2006
A draft of a textbook on computational complexity theory. Covers basic complexity classes, lowerbounds for concrete computational models, and some advanced topics.
Publisher: Cambridge University Press
Publication date: 20 Apr 2009
Document Type: Textbook
 
Complexity Theory: A Modern Approach

Complexity Theory: A Modern Approach

Post date: 21 Oct 2006
A draft of a textbook on computational complexity theory. Covers basic complexity classes, lowerbounds for concrete computational models, and some advanced topics.
Publisher: Cambridge University Press
Publication date: 20 Apr 2009
Document Type: Textbook


Image Processing in C: Analyzing and Enhancing Digital Images

Post date: 20 Oct 2006
Explains the basic concepts of analyzing and enhancing digital images. Each chapter explains basic concepts with words and figures, shows image processing results with photographs, and implements the operations in C.
Publisher: R & D Books
Publication date: 01 Aug 1997
 
Image Processing in C: Analyzing and Enhancing Digital Images

Image Processing in C: Analyzing and Enhancing Digital Images

Post date: 20 Oct 2006
Explains the basic concepts of analyzing and enhancing digital images. Each chapter explains basic concepts with words and figures, shows image processing results with photographs, and implements the operations in C.
Publisher: R & D Books
Publication date: 01 Aug 1997


Book Categories
Sponsors