Dover Publications

All publishers WebsiteBooks published by Dover Publications

A Course In Algebraic Number Theory

An introduction to algebraic number theory, covering both global and local fields. The prerequisite is a standard graduate course in algebra.

A Course In Algebraic Number Theory

An introduction to algebraic number theory, covering both global and local fields. The prerequisite is a standard graduate course in algebra.

A Short Course in Discrete Mathematics

The first part of the two series of book, used to teach discrete mathematics that includes Boolean arithmetic, combinatorics, elementary logic, induction, graph theory and finite probability in the University of California, San Diego.

A Short Course in Discrete Mathematics

The first part of the two series of book, used to teach discrete mathematics that includes Boolean arithmetic, combinatorics, elementary logic, induction, graph theory and finite probability in the University of California, San Diego.

Abstract Algebra: The Basic Graduate Year

This text studies fundamental algebraic structures, namely groups, rings, fields andmodules, and maps between these structures.

Abstract Algebra: The Basic Graduate Year

This text studies fundamental algebraic structures, namely groups, rings, fields andmodules, and maps between these structures.

This introduction to more advanced courses in probability and real analysis emphasizes the probabilistic way of thinking, rather than measure-theoretic concepts. Its sole prerequisite is calculus.

This introduction to more advanced courses in probability and real analysis emphasizes the probabilistic way of thinking, rather than measure-theoretic concepts. Its sole prerequisite is calculus.

This is a student-oriented text covering the standard first year graduate course in complex variables. Solutions to all problems are included.

This is a student-oriented text covering the standard first year graduate course in complex variables. Solutions to all problems are included.

Data Structures & Algorithm Analysis in C++ (Edition 3.2.0.10)

This book provides a thorough and comprehensive treatment of fundamental data structures and the principles of algorithm analysis. Focuses on the principles required to select or design the data structure that will best solve the problem.

Data Structures & Algorithm Analysis in C++ (Edition 3.2.0.10)

This book provides a thorough and comprehensive treatment of fundamental data structures and the principles of algorithm analysis. Focuses on the principles required to select or design the data structure that will best solve the problem.

Data Structures & Algorithm Analysis in Java (Edition 3.2)

This text helps readers understand how to select or design the tools that will best solve specific problems, focusing on creating efficient data structures and algorithms. It uses Java as the programming language.

Data Structures & Algorithm Analysis in Java (Edition 3.2)

This text helps readers understand how to select or design the tools that will best solve specific problems, focusing on creating efficient data structures and algorithms. It uses Java as the programming language.

Foundations of Combinatorics with Applications

Intended as an introduction to the mathematical foundations of the interaction between computer science and mathematics as a major impetus for theoretical developments and applications of combinatorics.

Foundations of Combinatorics with Applications

Intended as an introduction to the mathematical foundations of the interaction between computer science and mathematics as a major impetus for theoretical developments and applications of combinatorics.

Logic For Computer Science - Foundations of Automatic Theorem Proving

An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.

Logic For Computer Science - Foundations of Automatic Theorem Proving

An introduction to mathematical logic, with an emphasis on proof theory and procedures for constructing formal proofs of formulae algorithmically.

Mathematics for Algorithm and Systems Analysis

The second part of the two series of book, used to teach discrete mathematics that includes Boolean arithmetic, combinatorics, elementary logic, induction, graph theory and finite probability in the University of California, San Diego.

Mathematics for Algorithm and Systems Analysis

The second part of the two series of book, used to teach discrete mathematics that includes Boolean arithmetic, combinatorics, elementary logic, induction, graph theory and finite probability in the University of California, San Diego.

Topoi: The Categorial Analysis of Logic

A classic exposition of a branch of mathematical logic that uses category theory.

Topoi: The Categorial Analysis of Logic

A classic exposition of a branch of mathematical logic that uses category theory.

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
Microsoft .NET
Rexx
Perl
PHP
Python
R
Rebol
Ruby
Scheme
Tcl/Tk

Miscellaneous
Most Popular Books

412,343
Introduction to Objective Caml
226,545
Notes for the Course of Algorithms
205,823
Lessons In Electric Circuits
188,774
[No longer available] A Beginners C++
146,272
Introduction to Object-Oriented Programming Using C++
142,053
A Short Introduction to Operating Systems
138,607
Data Structures and Algorithms with Object-Oriented Design Patterns in C++
133,779
C Programming Tutorial (K&R version 4)
132,760
Programming The Nintendo Game Boy Advance: The Unofficial Guide
132,558
Computer Organization and Design Fundamentals
Sponsors