List of all posted books

So far we have a total of 1242 books


Using, Understanding, and Unraveling The OCaml Language

Post date: 11 Apr 2008
These course notes provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions, including its object-oriented layer.
Publication date: 31 Dec 2001
 
Using, Understanding, and Unraveling The OCaml Language

Using, Understanding, and Unraveling The OCaml Language

Post date: 11 Apr 2008
These course notes provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions, including its object-oriented layer.
Publication date: 31 Dec 2001


Introduction to Objective Caml

Post date: 11 Apr 2008
This book presents a practical introduction and guide to Objective Caml, with topics ranging from how to write a program to the concepts and conventions that affect how programs are developed in Objective Caml.
Publication date: 01 Jan 2008
 
Introduction to Objective Caml

Introduction to Objective Caml

Post date: 11 Apr 2008
This book presents a practical introduction and guide to Objective Caml, with topics ranging from how to write a program to the concepts and conventions that affect how programs are developed in Objective Caml.
Publication date: 01 Jan 2008


Introduction to Programming for Image Analysis with VTK

Post date: 11 Apr 2008
Provides an introduction for an engineering graduate student with some background in programming in C and C++ to utilize modern toolkits in medical image analysis and visualization such as Visualization Toolkit and, to a lesser extent, Insight Toolkit.
Publication date: 01 Dec 2006
 
Introduction to Programming for Image Analysis with VTK

Introduction to Programming for Image Analysis with VTK

Post date: 11 Apr 2008
Provides an introduction for an engineering graduate student with some background in programming in C and C++ to utilize modern toolkits in medical image analysis and visualization such as Visualization Toolkit and, to a lesser extent, Insight Toolkit.
Publication date: 01 Dec 2006


Linear Algebra for Informatics

Post date: 11 Apr 2008
Studies real vector spaces and their linear maps, univariate polynomials, and an introduction to algebraic coding theory, concentrating for definiteness on binary linear codes.
Publication date: 01 Nov 2005
 
Linear Algebra for Informatics

Linear Algebra for Informatics

Post date: 11 Apr 2008
Studies real vector spaces and their linear maps, univariate polynomials, and an introduction to algebraic coding theory, concentrating for definiteness on binary linear codes.
Publication date: 01 Nov 2005


Computational and Algorithmic Linear Algebra and n-Dimensional Geometry

Post date: 10 Apr 2008
A sophomore level book on linear algebra and n-dimensional geometry with the aim of developing in college entering undergraduates skills in algorithms, computational methods, and mathematical modeling.
Publisher: World Scientific Publishing Co. Pte. Ltd.
Publication date: 31 Dec 2001
Document Type: Book
 
Computational and Algorithmic Linear Algebra and n-Dimensional Geometry

Computational and Algorithmic Linear Algebra and n-Dimensional Geometry

Post date: 10 Apr 2008
A sophomore level book on linear algebra and n-dimensional geometry with the aim of developing in college entering undergraduates skills in algorithms, computational methods, and mathematical modeling.
Publisher: World Scientific Publishing Co. Pte. Ltd.
Publication date: 31 Dec 2001
Document Type: Book


Numerical Methods Course Notes

Post date: 08 Apr 2008
An introduction to applied numerical mathematics.
Publication date: 13 Oct 2005
License: GNU Free Documentation License Version 1.2
Document Type: Lecture Notes
 
Numerical Methods Course Notes

Numerical Methods Course Notes

Post date: 08 Apr 2008
An introduction to applied numerical mathematics.
Publication date: 13 Oct 2005
License: GNU Free Documentation License Version 1.2 Document Type: Lecture Notes


Cryptanalysis of RSA Using Algebraic And Lattice Methods

Post date: 08 Apr 2008
Studies the security of public key cryptosystems, in particular the RSA public key cryptosystem and several variants.
Publication date: 01 Jun 2002
Document Type: Thesis
 
Cryptanalysis of RSA Using Algebraic And Lattice Methods

Cryptanalysis of RSA Using Algebraic And Lattice Methods

Post date: 08 Apr 2008
Studies the security of public key cryptosystems, in particular the RSA public key cryptosystem and several variants.
Publication date: 01 Jun 2002
Document Type: Thesis


High-Fidelity Multichannel Audio Compression

Post date: 06 Apr 2008
This thesis focuses on the principles of high-quality audio codec design for multichannel sound sources.
Publication date: 01 Aug 2002
 
High-Fidelity Multichannel Audio Compression

High-Fidelity Multichannel Audio Compression

Post date: 06 Apr 2008
This thesis focuses on the principles of high-quality audio codec design for multichannel sound sources.
Publication date: 01 Aug 2002


Advances in Signal Transforms: Theory and Applications

Post date: 01 Apr 2008
The volume collects in one book most recent developments in the theory and practice of the design and usage of transforms in digital signal and image processing.
Publisher: Hindawi Publishing Corporation
Publication date: 01 Jul 2007
 
Advances in Signal Transforms: Theory and Applications

Advances in Signal Transforms: Theory and Applications

Post date: 01 Apr 2008
The volume collects in one book most recent developments in the theory and practice of the design and usage of transforms in digital signal and image processing.
Publisher: Hindawi Publishing Corporation
Publication date: 01 Jul 2007


Genetic and Evolutionary Computation for Image Processing and Analysis

Post date: 01 Apr 2008
This book is the first attempt to offer a panoramic view on the field of image analysis and processing in which genetic and evolutionary computation (GEC) techniques are applied.
Publisher: Hindawi Publishing Corporation
Publication date: 01 Feb 2008
 
Genetic and Evolutionary Computation for Image Processing and Analysis

Genetic and Evolutionary Computation for Image Processing and Analysis

Post date: 01 Apr 2008
This book is the first attempt to offer a panoramic view on the field of image analysis and processing in which genetic and evolutionary computation (GEC) techniques are applied.
Publisher: Hindawi Publishing Corporation
Publication date: 01 Feb 2008


Building Skills in Python - A Programmer's Introduction to Python

Post date: 29 Mar 2008
A complete presentation of the Python language. Assumes a basic level of skill with any of the commonly-available computer systems.
 
Building Skills in Python - A Programmer's Introduction to Python

Building Skills in Python - A Programmer's Introduction to Python

Post date: 29 Mar 2008
A complete presentation of the Python language. Assumes a basic level of skill with any of the commonly-available computer systems.

Guide to ARMLinux for Developers

Post date: 28 Mar 2008
This book tries to cover a range of hardware and aspects of ARMLinux. It assumes that you are at least a competent computer user, more likely an experienced developer, but perhaps not very familiar with GNU/Linux or the ARM and its development platforms.
Publisher: Self-publishing
Publication date: 01 May 2005
Document Type: Book
 
Guide to ARMLinux for Developers

Guide to ARMLinux for Developers

Post date: 28 Mar 2008
This book tries to cover a range of hardware and aspects of ARMLinux. It assumes that you are at least a competent computer user, more likely an experienced developer, but perhaps not very familiar with GNU/Linux or the ARM and its development platforms.
Publisher: Self-publishing
Publication date: 01 May 2005
Document Type: Book


The Future of Reputation - Gossip, Rumor, and Privacy on the Internet

Post date: 28 Mar 2008
Shows how the free flow of information on the Internet can make us less free. Takes a journey through the ways in which private lives are being exposed online, and examines the implications.
 
The Future of Reputation - Gossip, Rumor, and Privacy on the Internet

The Future of Reputation - Gossip, Rumor, and Privacy on the Internet

Post date: 28 Mar 2008
Shows how the free flow of information on the Internet can make us less free. Takes a journey through the ways in which private lives are being exposed online, and examines the implications.

The Digital Person - Technology and Privacy in the Information Age

Post date: 28 Mar 2008
Aims to rethink longstanding notions of privacy to grapple with the consequences of living in an Information Age.
 
The Digital Person - Technology and Privacy in the Information Age

The Digital Person - Technology and Privacy in the Information Age

Post date: 28 Mar 2008
Aims to rethink longstanding notions of privacy to grapple with the consequences of living in an Information Age.

Software Engineering

Post date: 27 Mar 2008
Covers several important technologies for software development with a particular focus on Web applications. Designed for upper-division undergraduate and graduate courses in software engineering.
Publication date: 19 Mar 2008
 
Software Engineering

Software Engineering

Post date: 27 Mar 2008
Covers several important technologies for software development with a particular focus on Web applications. Designed for upper-division undergraduate and graduate courses in software engineering.
Publication date: 19 Mar 2008


Book Categories
Sponsors