List of all posted books

So far we have a total of 1242 books


Image Processing and Data Analysis: The Multiscale Approach

Post date: 20 Oct 2006
An introduction to a range of techniques for the analysis of digital data, especially the manipulation of images. Contains real-world examples in astronomy, electrical engineering, physics, geophysics and medical imaging.
Publisher: Cambridge University Press
Publication date: 01 Jul 1998
Document Type: Textbook
 
Image Processing and Data Analysis: The Multiscale Approach

Image Processing and Data Analysis: The Multiscale Approach

Post date: 20 Oct 2006
An introduction to a range of techniques for the analysis of digital data, especially the manipulation of images. Contains real-world examples in astronomy, electrical engineering, physics, geophysics and medical imaging.
Publisher: Cambridge University Press
Publication date: 01 Jul 1998
Document Type: Textbook


Logic For Everyone

Post date: 20 Oct 2006
Covers all of the basic material in the propositional and predicate calculus. Applications include non-standard models obtained by the means of compactness theorem and the generation of weak ultrawords and ultralogic operator.
Publication date: 31 Dec 1994
Document Type: Book
 
Logic For Everyone

Logic For Everyone

Post date: 20 Oct 2006
Covers all of the basic material in the propositional and predicate calculus. Applications include non-standard models obtained by the means of compactness theorem and the generation of weak ultrawords and ultralogic operator.
Publication date: 31 Dec 1994
Document Type: Book


Fundamental Problems in Algorithmic Algebra

Post date: 19 Oct 2006
Focuses on a collection of core problems in the field of Computer Algebra, or Algorithmic Algebra. It attempts to be self-contained in its mathematical development while addressing the algorithmic aspects of problems.
Publisher: Oxford University Press
Publication date: 30 Dec 1999
 
Fundamental Problems in Algorithmic Algebra

Fundamental Problems in Algorithmic Algebra

Post date: 19 Oct 2006
Focuses on a collection of core problems in the field of Computer Algebra, or Algorithmic Algebra. It attempts to be self-contained in its mathematical development while addressing the algorithmic aspects of problems.
Publisher: Oxford University Press
Publication date: 30 Dec 1999


Languages And Machines

Post date: 19 Oct 2006
Provides a view to the concept of a language as a system of strings of characters strings obeying certain rules. Topics covered includes logic, meta languages, proofs, finite state machine, Turing machine, encryption and coding.
Publication date: 01 Jul 2005
 
Languages And Machines

Languages And Machines

Post date: 19 Oct 2006
Provides a view to the concept of a language as a system of strings of characters strings obeying certain rules. Topics covered includes logic, meta languages, proofs, finite state machine, Turing machine, encryption and coding.
Publication date: 01 Jul 2005


Advanced Programming Language Design

Post date: 18 Oct 2006
Examines a wide range of programming language paradigms and issues. Challenges and encourages readers to launch into their own research in the field.
Publisher: Addison-Wesley Publishing
Publication date: 31 Dec 1996
 
Advanced Programming Language Design

Advanced Programming Language Design

Post date: 18 Oct 2006
Examines a wide range of programming language paradigms and issues. Challenges and encourages readers to launch into their own research in the field.
Publisher: Addison-Wesley Publishing
Publication date: 31 Dec 1996


Introduction to Matrix Algebra

Post date: 18 Oct 2006
A contemporary, applied approach to linear/matrix algebra, suitable for self study. Uses plenty of examples to illustrate every concept, plus exercises.
Publication date: 31 Dec 2002
 
Introduction to Matrix Algebra

Introduction to Matrix Algebra

Post date: 18 Oct 2006
A contemporary, applied approach to linear/matrix algebra, suitable for self study. Uses plenty of examples to illustrate every concept, plus exercises.
Publication date: 31 Dec 2002


Essential Skills for Agile Development

Post date: 17 Oct 2006
Covers essentials skill and principles in Agile Development. Heavily based on examples and does not contain much abstract description.
Publisher: Macau Productivity and Technology Transfer Center
Publication date: 01 Jun 2004
 
Essential Skills for Agile Development

Essential Skills for Agile Development

Post date: 17 Oct 2006
Covers essentials skill and principles in Agile Development. Heavily based on examples and does not contain much abstract description.
Publisher: Macau Productivity and Technology Transfer Center
Publication date: 01 Jun 2004


Introduction to Functional Programming

Post date: 16 Oct 2006
Shows the transition from imperative programming to functional programming. Introduces lambda calculus, how to add types to it, and how to use ML to implement basic functional programming, polymorphism, exceptions and imperative features.
Publication date: 01 Dec 1997
 
Introduction to Functional Programming

Introduction to Functional Programming

Post date: 16 Oct 2006
Shows the transition from imperative programming to functional programming. Introduces lambda calculus, how to add types to it, and how to use ML to implement basic functional programming, polymorphism, exceptions and imperative features.
Publication date: 01 Dec 1997


Foundations of Computer Science

Post date: 16 Oct 2006
Introduces the principles of data structures and algorithms. Emphasises the algorithmic side of programming, focusing on problem-solving rather than on hardware-level bits and bytes.
Publication date: 31 Dec 2000
Document Type: Lecture Notes
 
Foundations of Computer Science

Foundations of Computer Science

Post date: 16 Oct 2006
Introduces the principles of data structures and algorithms. Emphasises the algorithmic side of programming, focusing on problem-solving rather than on hardware-level bits and bytes.
Publication date: 31 Dec 2000
Document Type: Lecture Notes


Warren's Abstract Machine: A Tutorial Reconstruction

Post date: 15 Oct 2006
A short tutorial on Warren's Abstract Machine, the de facto standard for implementing Prolog compilers.
Publisher: The MIT Press
Publication date: 01 Feb 1999
 
Warren's Abstract Machine: A Tutorial Reconstruction

Warren's Abstract Machine: A Tutorial Reconstruction

Post date: 15 Oct 2006
A short tutorial on Warren's Abstract Machine, the de facto standard for implementing Prolog compilers.
Publisher: The MIT Press
Publication date: 01 Feb 1999


An Introduction to Statistical Signal Processing

Post date: 13 Oct 2006
Introduces the tools and techniques of statistical signal processing. Includes overview of basic probability, random objects, expectation, and second-order moment theory, with examples of random process models and their basic uses and properties.
Publisher: Cambridge University Press
Publication date: 04 Jan 2005
 
An Introduction to Statistical Signal Processing

An Introduction to Statistical Signal Processing

Post date: 13 Oct 2006
Introduces the tools and techniques of statistical signal processing. Includes overview of basic probability, random objects, expectation, and second-order moment theory, with examples of random process models and their basic uses and properties.
Publisher: Cambridge University Press
Publication date: 04 Jan 2005


Introduction To Digital Filters - With Audio Applications

Post date: 13 Oct 2006
This book was written for the second half part of an introductory course in digital audio signal processing with applications in computer music.
Publisher: W3K Publishing
Publication date: 08 Oct 2007
Document Type: Textbook
 
Introduction To Digital Filters - With Audio Applications

Introduction To Digital Filters - With Audio Applications

Post date: 13 Oct 2006
This book was written for the second half part of an introductory course in digital audio signal processing with applications in computer music.
Publisher: W3K Publishing
Publication date: 08 Oct 2007
Document Type: Textbook


Galois Connections and Fixed Point Calculus

Post date: 12 Oct 2006
Introduces the fundamental algebraic structures in the mathematics of program construction with a focus on the algebraic properties of recursion and how these are applied to the generic solution of programming problems.
Publication date: 01 Oct 2001
 
Galois Connections and Fixed Point Calculus

Galois Connections and Fixed Point Calculus

Post date: 12 Oct 2006
Introduces the fundamental algebraic structures in the mathematics of program construction with a focus on the algebraic properties of recursion and how these are applied to the generic solution of programming problems.
Publication date: 01 Oct 2001


Denotational Semantics: A Methodology for Language Development

Post date: 12 Oct 2006
Introduces a methodology for giving mathematical meaning to programming languages and systems. Presents the topic from an engineering viewpoint, emphasizing the descriptional and implementational aspects.
Publisher: McGraw-Hill
Publication date: 31 Dec 1986
License: Creative Commons Attribution 2.0 Generic
Document Type: Book
 
Denotational Semantics: A Methodology for Language Development

Denotational Semantics: A Methodology for Language Development

Post date: 12 Oct 2006
Introduces a methodology for giving mathematical meaning to programming languages and systems. Presents the topic from an engineering viewpoint, emphasizing the descriptional and implementational aspects.
Publisher: McGraw-Hill
Publication date: 31 Dec 1986
License: Creative Commons Attribution 2.0 Generic Document Type: Book


Project Oberon - The Design of an Operating System and Compiler, Revised Edition 2013

Post date: 11 Oct 2006
Presents the results of Project Oberon, which its primary goal was to design and implement an entire software environment from scratch, and to structure it in such a way that it can be described, explained, and understood as a whole.
Publication date: 01 Sep 2013
Document Type: Book
 
Project Oberon - The Design of an Operating System and Compiler, Revised Edition 2013

Project Oberon - The Design of an Operating System and Compiler, Revised Edition 2013

Post date: 11 Oct 2006
Presents the results of Project Oberon, which its primary goal was to design and implement an entire software environment from scratch, and to structure it in such a way that it can be described, explained, and understood as a whole.
Publication date: 01 Sep 2013
Document Type: Book


Book Categories
Sponsors