List of all posted books

So far we have a total of 1242 books


Data Mining - Desktop Survival Guide

Post date: 19 Nov 2006
This book presents a unique and easily accessible single stop resource for the data miner, providing a practical guide to actually doing data mining. It is accessible to the information technology worker, the software engineer, and the data analyst.
Publication date: 11 Nov 2006
 
Data Mining - Desktop Survival Guide

Data Mining - Desktop Survival Guide

Post date: 19 Nov 2006
This book presents a unique and easily accessible single stop resource for the data miner, providing a practical guide to actually doing data mining. It is accessible to the information technology worker, the software engineer, and the data analyst.
Publication date: 11 Nov 2006


Introduction to Machine Learning

Post date: 19 Nov 2006
This book surveys many of the important topics in machine learning circa 1996. The intention was to pursue a middle ground between theory and practice. It is neither a handbook of practice nor a compendium of theoretical proofs.
Publication date: 01 Jan 2005
 
Introduction to Machine Learning

Introduction to Machine Learning

Post date: 19 Nov 2006
This book surveys many of the important topics in machine learning circa 1996. The intention was to pursue a middle ground between theory and practice. It is neither a handbook of practice nor a compendium of theoretical proofs.
Publication date: 01 Jan 2005


Grassmann Algebra

Post date: 18 Nov 2006
Provides a readable account in modern notation of Grassmann's major algebraic contributions to mathematics and science, by avoiding all mathematical terminology which does not make an essential contribution to understanding the basic concepts.
Publisher: CreateSpace Independent Publishing Platform
Publication date: 01 Jan 2001
 
Grassmann Algebra

Grassmann Algebra

Post date: 18 Nov 2006
Provides a readable account in modern notation of Grassmann's major algebraic contributions to mathematics and science, by avoiding all mathematical terminology which does not make an essential contribution to understanding the basic concepts.
Publisher: CreateSpace Independent Publishing Platform
Publication date: 01 Jan 2001


The Matrix Cookbook

Post date: 12 Nov 2006
Contains a collection of facts (identities, approximations, inequalities, relations) about matrices and matters relating to them. Collected in this form for the convenience of anyone who wants a quick desktop reference.
Publication date: 01 Feb 2006
 
The Matrix Cookbook

The Matrix Cookbook

Post date: 12 Nov 2006
Contains a collection of facts (identities, approximations, inequalities, relations) about matrices and matters relating to them. Collected in this form for the convenience of anyone who wants a quick desktop reference.
Publication date: 01 Feb 2006


The MPEG-4 Structured Audio Book

Post date: 11 Nov 2006
This book shows how to create audio content for MPEG 4 Structured Audio. It includes a tutorial introduction and sections on the SAOL language, SASL and MIDI instrument control, and advanced opcodes.
Publication date: 31 Dec 1999
License: GNU Free Documentation License
 
The MPEG-4 Structured Audio Book

The MPEG-4 Structured Audio Book

Post date: 11 Nov 2006
This book shows how to create audio content for MPEG 4 Structured Audio. It includes a tutorial introduction and sections on the SAOL language, SASL and MIDI instrument control, and advanced opcodes.
Publication date: 31 Dec 1999
License: GNU Free Documentation License


The Not So Short Introduction to LATEX 2e

Post date: 11 Nov 2006
An 145 pages of introduction to LATEX 2e, sufficient for most applications of LATEX. Covers the basic structures of LATEX 2e document, typesetting, formulae, graphics, and generation of index and bibliography.
Publication date: 01 Apr 2004
License: GNU General Public License
 
The Not So Short Introduction to LATEX 2e

The Not So Short Introduction to LATEX 2e

Post date: 11 Nov 2006
An 145 pages of introduction to LATEX 2e, sufficient for most applications of LATEX. Covers the basic structures of LATEX 2e document, typesetting, formulae, graphics, and generation of index and bibliography.
Publication date: 01 Apr 2004
License: GNU General Public License


The VHDL Cookbook, First Edition

Post date: 09 Nov 2006
A quick introduction to VHDL, informally describes the facilities provided by the language, and using examples to illustrate them. Covers enough of the language for substantial model writing.
Publication date: 01 Jul 1990
Document Type: Lecture Notes
 
The VHDL Cookbook, First Edition

The VHDL Cookbook, First Edition

Post date: 09 Nov 2006
A quick introduction to VHDL, informally describes the facilities provided by the language, and using examples to illustrate them. Covers enough of the language for substantial model writing.
Publication date: 01 Jul 1990
Document Type: Lecture Notes


The Big Online Book of Linux Ada Programming

Post date: 07 Nov 2006
This document covers basic software development on Linux, a review of the core Ada 95 language, and an introduction to designing programs that work with the Linux kernel and standard C libraries.
Publication date: 01 Oct 2006
 
The Big Online Book of Linux Ada Programming

The Big Online Book of Linux Ada Programming

Post date: 07 Nov 2006
This document covers basic software development on Linux, a review of the core Ada 95 language, and an introduction to designing programs that work with the Linux kernel and standard C libraries.
Publication date: 01 Oct 2006


Programming in Martin-Löf's Type Theory: An Introduction

Post date: 07 Nov 2006
An introduction to type theory as a theory for program construction. Describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective.
Publisher: Oxford University Press
Publication date: 31 Dec 1990
 
Programming in Martin-Löf's Type Theory: An Introduction

Programming in Martin-Löf's Type Theory: An Introduction

Post date: 07 Nov 2006
An introduction to type theory as a theory for program construction. Describes different type theories (theories of types, polymorphic and monomorphic sets, and subsets) from a computing science perspective.
Publisher: Oxford University Press
Publication date: 31 Dec 1990


Type Theory and Functional Programming

Post date: 06 Nov 2006
This book gives the formal system for type theory, developing examples of both programs and proofs. From the functional programming point of view, this book stresses the differences between the system and more traditional languages.
Publisher: Addison-Wesley
Publication date: 31 Dec 1991
 
Type Theory and Functional Programming

Type Theory and Functional Programming

Post date: 06 Nov 2006
This book gives the formal system for type theory, developing examples of both programs and proofs. From the functional programming point of view, this book stresses the differences between the system and more traditional languages.
Publisher: Addison-Wesley
Publication date: 31 Dec 1991


Type Systems for Programming Languages

Post date: 06 Nov 2006
These lecture notes provides a unified account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation.
Publication date: 01 Jan 2000
Document Type: Lecture Notes
 
Type Systems for Programming Languages

Type Systems for Programming Languages

Post date: 06 Nov 2006
These lecture notes provides a unified account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation.
Publication date: 01 Jan 2000
Document Type: Lecture Notes


Programming in Standard ML

Post date: 06 Nov 2006
This book is an introduction to programming with the Standard ML, a formally defined programming language.
Publication date: 02 Nov 2011
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States
Document Type: Book
 
Programming in Standard ML

Programming in Standard ML

Post date: 06 Nov 2006
This book is an introduction to programming with the Standard ML, a formally defined programming language.
Publication date: 02 Nov 2011
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States Document Type: Book


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: 02 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: 02 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


Book Categories
Sponsors