List of all posted books

So far we have a total of 1211 books


Systematic Software Development Using VDM, 2nd Edition

Post date: 18 Jun 2005
Teaches a particular systematic approach to software development concentrating on the stages from specication through design to implementation.
Publisher: Prentice Hall
Publication date: 31 Dec 1990
 
Systematic Software Development Using VDM, 2nd Edition

Systematic Software Development Using VDM, 2nd Edition

Post date: 18 Jun 2005
Teaches a particular systematic approach to software development concentrating on the stages from specication through design to implementation.
Publisher: Prentice Hall
Publication date: 31 Dec 1990


Case Studies in Systematic Software Development

Post date: 18 Jun 2005
Covers the case studies on the application of the most widely known and used formal methods in software development, called the Vienna Development Method or VDM.
Publisher: Prentice Hall
Publication date: 31 Dec 1990
 
Case Studies in Systematic Software Development

Case Studies in Systematic Software Development

Post date: 18 Jun 2005
Covers the case studies on the application of the most widely known and used formal methods in software development, called the Vienna Development Method or VDM.
Publisher: Prentice Hall
Publication date: 31 Dec 1990


Linux Device Drivers, 3rd Edition

Post date: 17 Jun 2005
Covers writing device drivers for the Linux system, how the Linux kernel works and how to adapt its workings to your needs or interests. Updated for the 2.6.10 kernel.
 
Linux Device Drivers, 3rd Edition

Linux Device Drivers, 3rd Edition

Post date: 17 Jun 2005
Covers writing device drivers for the Linux system, how the Linux kernel works and how to adapt its workings to your needs or interests. Updated for the 2.6.10 kernel.

Designing and Building Parallel Programs

Post date: 17 Jun 2005
Provides a practitioner's guide for students, programmers, engineers, and scientists who wish to design and build efficient and cost-effective programs for parallel and distributed computer systems.
Publisher: Addison-Wesley
Publication date: 01 Jan 1995
 
Designing and Building Parallel Programs

Designing and Building Parallel Programs

Post date: 17 Jun 2005
Provides a practitioner's guide for students, programmers, engineers, and scientists who wish to design and build efficient and cost-effective programs for parallel and distributed computer systems.
Publisher: Addison-Wesley
Publication date: 01 Jan 1995


Neural Nets

Post date: 17 Jun 2005
Covers an introduction to neural networks in which basic concepts, techniques and ideas are given priority over lengthy mathematical proofs and technical detail.
Publication date: 01 Jul 1996
 
Neural Nets

Neural Nets

Post date: 17 Jun 2005
Covers an introduction to neural networks in which basic concepts, techniques and ideas are given priority over lengthy mathematical proofs and technical detail.
Publication date: 01 Jul 1996


The Scientist and Engineer's Guide to Digital Signal Processing, 2nd Edition

Post date: 15 Jun 2005
Presents Digital Signal Processing in practical techniques while avoiding the barriers of detailed mathematics and abstract theory.
Publisher: California Technical Publishing
Publication date: 01 Oct 2003
 
The Scientist and Engineer's Guide to Digital Signal Processing, 2nd Edition

The Scientist and Engineer's Guide to Digital Signal Processing, 2nd Edition

Post date: 15 Jun 2005
Presents Digital Signal Processing in practical techniques while avoiding the barriers of detailed mathematics and abstract theory.
Publisher: California Technical Publishing
Publication date: 01 Oct 2003


Linear Methods of Applied Mathematics

Post date: 14 Jun 2005
A suitable text for a first course on partial differential equations, Fourier series and special functions, and integral equations.
Publication date: 31 Dec 2000
 
Linear Methods of Applied Mathematics

Linear Methods of Applied Mathematics

Post date: 14 Jun 2005
A suitable text for a first course on partial differential equations, Fourier series and special functions, and integral equations.
Publication date: 31 Dec 2000


Formal Specification and Documentation using Z: A Case Study Approach

Post date: 11 Jun 2005
Presents a pragmatic view of the use of formal methods, that it can still be beneficial (and is much more cost effective in general) than attempting proofs in many cases.
Publisher: Thomson Publishing
Publication date: 01 Feb 1996
 
Formal Specification and Documentation using Z: A Case Study Approach

Formal Specification and Documentation using Z: A Case Study Approach

Post date: 11 Jun 2005
Presents a pragmatic view of the use of formal methods, that it can still be beneficial (and is much more cost effective in general) than attempting proofs in many cases.
Publisher: Thomson Publishing
Publication date: 01 Feb 1996


Efficient Algorithms for Sorting and Synchronization

Post date: 11 Jun 2005
Presents efficient algorithms for internal and external parallel sorting and remote data update.
Publication date: 01 Feb 1999
 
Efficient Algorithms for Sorting and Synchronization

Efficient Algorithms for Sorting and Synchronization

Post date: 11 Jun 2005
Presents efficient algorithms for internal and external parallel sorting and remote data update.
Publication date: 01 Feb 1999


The R Reference Manual Base Package Volume 2

Post date: 11 Jun 2005
The second volume of the complete reference manual for the base package of GNU R, a free software environment for statistical computing and graphics.
Publisher: Network Theory Ltd
Publication date: 01 Jan 2004
 
The R Reference Manual Base Package Volume 2

The R Reference Manual Base Package Volume 2

Post date: 11 Jun 2005
The second volume of the complete reference manual for the base package of GNU R, a free software environment for statistical computing and graphics.
Publisher: Network Theory Ltd
Publication date: 01 Jan 2004


The R Reference Manual Base Package Volume 1

Post date: 11 Jun 2005
The first volume of the complete reference manual for the base package of GNU R, a free software environment for statistical computing and graphics. The main commands of the base package of R are described in this volume.
Publisher: Network Theory Ltd
Publication date: 01 Jan 2004
 
The R Reference Manual Base Package Volume 1

The R Reference Manual Base Package Volume 1

Post date: 11 Jun 2005
The first volume of the complete reference manual for the base package of GNU R, a free software environment for statistical computing and graphics. The main commands of the base package of R are described in this volume.
Publisher: Network Theory Ltd
Publication date: 01 Jan 2004


An Introduction to R

Post date: 11 Jun 2005
Provides a comprehensive introduction to GNU R, a free software package for statistical computing and graphics.
Publisher: Network Theory Ltd
Publication date: 01 Aug 2004
 
An Introduction to R

An Introduction to R

Post date: 11 Jun 2005
Provides a comprehensive introduction to GNU R, a free software package for statistical computing and graphics.
Publisher: Network Theory Ltd
Publication date: 01 Aug 2004


Introduction to Probability, 2nd Rev edition

Post date: 11 Jun 2005
Introductory textbook for undergraduates, develops key ideas in probability and describes a variety of applications and of nonintuitive examples.
Publisher: American Mathematical Society
Publication date: 01 Jul 1997
License: GNU Free Documentation License
Document Type: Textbook
 
Introduction to Probability, 2nd Rev edition

Introduction to Probability, 2nd Rev edition

Post date: 11 Jun 2005
Introductory textbook for undergraduates, develops key ideas in probability and describes a variety of applications and of nonintuitive examples.
Publisher: American Mathematical Society
Publication date: 01 Jul 1997
License: GNU Free Documentation License Document Type: Textbook


Elementary Linear Algebra

Post date: 11 Jun 2005
An introduction to linear algebra, based on lectures given by the author at the University of Queensland.
Publication date: 31 Dec 2003
 
Elementary Linear Algebra

Elementary Linear Algebra

Post date: 11 Jun 2005
An introduction to linear algebra, based on lectures given by the author at the University of Queensland.
Publication date: 31 Dec 2003


The Common Lisp Cookbook

Post date: 28 May 2005
A thorough collection of problems, solutions, and practical examples for anyone programming in Common Lisp.
Publication date: 01 Jun 2003
License: The Common Lisp Cookbook Project License
 
The Common Lisp Cookbook

The Common Lisp Cookbook

Post date: 28 May 2005
A thorough collection of problems, solutions, and practical examples for anyone programming in Common Lisp.
Publication date: 01 Jun 2003
License: The Common Lisp Cookbook Project License


Book Categories
Sponsors
Icons8, a free icon pack