List of all posted books

So far we have a total of 1245 books


GNU Octave: A high-level interactive language for numerical computations

Post date: 04 Nov 2006
This manual is the definitive guide to GNU Octave, an interactive environment for numerical computation which provides command-line interface for solving linear and nonlinear problems using vectors and matrices.
Publisher: Network Theory Ltd
Publication date: 01 Mar 2002
License: GNU General Public License
 
GNU Octave: A high-level interactive language for numerical computations

GNU Octave: A high-level interactive language for numerical computations

Post date: 04 Nov 2006
This manual is the definitive guide to GNU Octave, an interactive environment for numerical computation which provides command-line interface for solving linear and nonlinear problems using vectors and matrices.
Publisher: Network Theory Ltd
Publication date: 01 Mar 2002
License: GNU General Public License


Developing Applications With Objective Caml

Post date: 04 Nov 2006
A comprehensive book on Objective Caml, covering not only the core language, but also modules, objects and classes, threads and systems programming, and interoperability with C.
Publisher: O’Reilly Media, Inc.
Publication date: 31 Dec 2000
 
Developing Applications With Objective Caml

Developing Applications With Objective Caml

Post date: 04 Nov 2006
A comprehensive book on Objective Caml, covering not only the core language, but also modules, objects and classes, threads and systems programming, and interoperability with C.
Publisher: O’Reilly Media, Inc.
Publication date: 31 Dec 2000


Bringing Design to Software

Post date: 03 Nov 2006
Shows how to improve the practice of software design, by applying lessons from other areas of design to the creation of software. Contains essays by prominent software and design professionals, interviews, and profiles of successful projects and products.
Publisher: Addison-Wesley
Publication date: 12 Apr 1996
Document Type: Book
 
Bringing Design to Software

Bringing Design to Software

Post date: 03 Nov 2006
Shows how to improve the practice of software design, by applying lessons from other areas of design to the creation of software. Contains essays by prominent software and design professionals, interviews, and profiles of successful projects and products.
Publisher: Addison-Wesley
Publication date: 12 Apr 1996
Document Type: Book


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


Book Categories
Sponsors