List of all posted books
So far we have a total of 1245 books
Non-Uniform Random Variate Generation
Post date: 02 Jan 2007This book evolves around the expected complexity of random variate generation algorithms. It sets up an idealized computational model, introduces the notion of uniformly bounded expected complexity, and studies bounds for computational complexity.
Non-Uniform Random Variate Generation
Post date: 02 Jan 2007This book evolves around the expected complexity of random variate generation algorithms. It sets up an idealized computational model, introduces the notion of uniformly bounded expected complexity, and studies bounds for computational complexity.
Applied Stochastic Processes and Control for Jump-Diffusions
Post date: 02 Jan 2007A self-contained, practical, entry level text on stochastic processes and control for jump-diffusions in continuous time, technically Markov processes in continuous time.
Publication date: 24 May 2006
Applied Stochastic Processes and Control for Jump-Diffusions
Post date: 02 Jan 2007A self-contained, practical, entry level text on stochastic processes and control for jump-diffusions in continuous time, technically Markov processes in continuous time.
Publication date: 24 May 2006
Reversibility and Stochastic Networks
Post date: 02 Jan 2007Examines the behavior in equilibrium of vector stochastic processes or stochastic networks, considering a wide range of applications by discussing stochastic models that arise in fields such as operational research, biology, and polymer science.
Reversibility and Stochastic Networks
Post date: 02 Jan 2007Examines the behavior in equilibrium of vector stochastic processes or stochastic networks, considering a wide range of applications by discussing stochastic models that arise in fields such as operational research, biology, and polymer science.
Call Center Mathematics - A scientific method for understanding and improving contact centers
Post date: 02 Jan 2007This book explains all generic aspects of call and contact centers, from the basic Erlang formula to advanced topics such as skill-based routing and multi-channel environments.
Publication date: 07 Dec 2006
Call Center Mathematics - A scientific method for understanding and improving contact centers
Post date: 02 Jan 2007This book explains all generic aspects of call and contact centers, from the basic Erlang formula to advanced topics such as skill-based routing and multi-channel environments.
Publication date: 07 Dec 2006
A Short Introduction to Queueing Theory
Post date: 02 Jan 2007This document covers the most important queueing systems with a single service center. Only some basics are mentioned for queueing networks.
Publication date: 21 Jul 1999
A Short Introduction to Queueing Theory
Post date: 02 Jan 2007This document covers the most important queueing systems with a single service center. Only some basics are mentioned for queueing networks.
Publication date: 21 Jul 1999
Algorithms for Modular Elliptic Curves, Second Edition
Post date: 26 Dec 2006Describes in detail an algorithm based on modular symbols for computing modular elliptic curves. Also describes various algorithms for studying the arithmetic of elliptic curves.
Publication date: 31 Dec 1997
Algorithms for Modular Elliptic Curves, Second Edition
Post date: 26 Dec 2006Describes in detail an algorithm based on modular symbols for computing modular elliptic curves. Also describes various algorithms for studying the arithmetic of elliptic curves.
Publication date: 31 Dec 1997
Artificial Intelligence through Prolog
Post date: 18 Dec 2006Teaches key concepts of Artificial Intelligence in a simple and concrete way using Prolog. Includes 500 practical programming examples in the style of programming language and data structures books.
Artificial Intelligence through Prolog
Post date: 18 Dec 2006Teaches key concepts of Artificial Intelligence in a simple and concrete way using Prolog. Includes 500 practical programming examples in the style of programming language and data structures books.
Lecture Notes on Semantics of Programming Languages
Post date: 13 Dec 2006Introduces the structural, operational approach to programming language semantics.
Publication date: 01 Jan 2002
Document Type: Lecture Notes
Document Type: Lecture Notes
Lecture Notes on Semantics of Programming Languages
Post date: 13 Dec 2006Introduces the structural, operational approach to programming language semantics.
Publication date: 01 Jan 2002
Document Type: Lecture Notes
Document Type: Lecture Notes
Post date: 13 Dec 2006
This book is a bridge-building exercise between category theory and computer programming. It attempts at connecting the abstract mathematics with concrete programs using ML, a functional programming language.
This book is a bridge-building exercise between category theory and computer programming. It attempts at connecting the abstract mathematics with concrete programs using ML, a functional programming language.
Publication date: 01 Jul 2001
Post date: 13 Dec 2006This book is a bridge-building exercise between category theory and computer programming. It attempts at connecting the abstract mathematics with concrete programs using ML, a functional programming language.
Publication date: 01 Jul 2001
An Introduction to the Theory of Computation
Post date: 13 Dec 2006This book explores terminologies and questions concerning programs, computers, problems, and computation. The exploration reduces in many cases to a study of mathematical theories, such as those of automata and formal languages.
An Introduction to the Theory of Computation
Post date: 13 Dec 2006This book explores terminologies and questions concerning programs, computers, problems, and computation. The exploration reduces in many cases to a study of mathematical theories, such as those of automata and formal languages.
Post date: 10 Dec 2006
These notes deal with the foundations of measuring the complexity of a problem, algorithm or structure used in computer science, the traditional branches of mathematics, statistical physics, biology, medicine, social sciences and engineering.
These notes deal with the foundations of measuring the complexity of a problem, algorithm or structure used in computer science, the traditional branches of mathematics, statistical physics, biology, medicine, social sciences and engineering.
Publication date: 31 Dec 1999
Post date: 10 Dec 2006These notes deal with the foundations of measuring the complexity of a problem, algorithm or structure used in computer science, the traditional branches of mathematics, statistical physics, biology, medicine, social sciences and engineering.
Publication date: 31 Dec 1999
Post date: 09 Dec 2006
This book discusses a number of selected results and methods on discrete mathematics, mostly from the areas of combinatorics, graph theory, and combinatorial geometry, with a little elementary number theory.
This book discusses a number of selected results and methods on discrete mathematics, mostly from the areas of combinatorics, graph theory, and combinatorial geometry, with a little elementary number theory.
Publication date: 30 Nov -0001
Post date: 09 Dec 2006This book discusses a number of selected results and methods on discrete mathematics, mostly from the areas of combinatorics, graph theory, and combinatorial geometry, with a little elementary number theory.
Publication date: 30 Nov -0001
Post date: 08 Dec 2006
Provides basic concepts and details of the major approaches to Machine Perception. Includes examples such as automation of industrial processes of inspection and assembly, vehicle guidance and automatic photo-interpretation.
Provides basic concepts and details of the major approaches to Machine Perception. Includes examples such as automation of industrial processes of inspection and assembly, vehicle guidance and automatic photo-interpretation.
Post date: 08 Dec 2006Provides basic concepts and details of the major approaches to Machine Perception. Includes examples such as automation of industrial processes of inspection and assembly, vehicle guidance and automatic photo-interpretation.
Post date: 07 Dec 2006
A textbook on programming with emphasis on specification and proof of programs. Includes the results of author's own research.
A textbook on programming with emphasis on specification and proof of programs. Includes the results of author's own research.
Post date: 07 Dec 2006A textbook on programming with emphasis on specification and proof of programs. Includes the results of author's own research.
Machine Vision: Automated Visual Inspection and Robot Vision
Post date: 06 Dec 2006An in-depth introduction to Machine Vision, empashizing on providing the reader with a solid grounding in the fundamental tools for image acquisition, processing, and analysis.
Machine Vision: Automated Visual Inspection and Robot Vision
Post date: 06 Dec 2006An in-depth introduction to Machine Vision, empashizing on providing the reader with a solid grounding in the fundamental tools for image acquisition, processing, and analysis.
Book Categories
Computer Science
Introduction to Computer Science
Introduction to Computer Programming
Algorithms and Data Structures
Artificial Intelligence
Computer Vision
Machine Learning
Neural Networks
Game Development and Multimedia
Data Communication and Networks
Coding Theory
Computer Security
Information Security
Cryptography
Information Theory
Computer Organization and Architecture
Operating Systems
Image Processing
Parallel Computing
Concurrent Programming
Relational Database
Document-oriented Database
Data Mining
Big Data
Data Science
Digital Libraries
Compiler Design and Construction
Functional Programming
Logic Programming
Object Oriented Programming
Formal Methods
Software Engineering
Agile Software Development
Information Systems
Geographic Information System (GIS)
Mathematics
Mathematics
Algebra
Abstract Algebra
Linear Algebra
Number Theory
Numerical Methods
Precalculus
Calculus
Differential Equations
Category Theory
Proofs
Discrete Mathematics
Theory of Computation
Graph Theory
Real Analysis
Complex Analysis
Probability
Statistics
Game Theory
Queueing Theory
Operations Research
Computer Aided Mathematics
Supporting Fields
Web Design and Development
Mobile App Design and Development
System Administration
Cloud Computing
Electric Circuits
Embedded System
Signal Processing
Integration and Automation
Network Science
Project Management
Operating System
Programming/Scripting
Ada
Assembly
C / C++
Common Lisp
Forth
Java
JavaScript
Lua
Rexx
Microsoft .NET
Perl
PHP
R
Python
Rebol
Ruby
Scheme
Tcl/Tk
Miscellaneous
Most Popular Books
432,058
Introduction to Objective Caml
247,330
Notes for the Course of Algorithms
238,728
Lessons In Electric Circuits
211,177
[No longer available] A Beginners C++
165,029
Introduction to Object-Oriented Programming Using C++
163,473
A Short Introduction to Operating Systems
162,393
Data Structures and Algorithms with Object-Oriented Design Patterns in C++
158,417
C Programming Tutorial (K&R version 4)
155,805
Computer Organization and Design Fundamentals
150,341
Programming The Nintendo Game Boy Advance: The Unofficial Guide
Sponsors