List of all posted books
So far we have a total of 1211 books
forall x: An Introduction to Formal Logic
Post date: 06 May 2017An open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic.
Publisher:
Lulu.com
Publication date: 06 Jan 2012
License: Creative Commons Attribution-ShareAlike 3.0 Unported
Document Type: Textbook
Publication date: 06 Jan 2012
License: Creative Commons Attribution-ShareAlike 3.0 Unported
Document Type: Textbook
forall x: An Introduction to Formal Logic
Post date: 06 May 2017An open access introductory textbook in formal logic. It covers translation, proofs, and formal semantics for sentential and predicate logic.
Publisher:
Lulu.com
Publication date: 06 Jan 2012
License: Creative Commons Attribution-ShareAlike 3.0 Unported Document Type: Textbook
Publication date: 06 Jan 2012
License: Creative Commons Attribution-ShareAlike 3.0 Unported Document Type: Textbook
Introductory Business Statistics
Post date: 04 May 2017Explores the basic ideas behind statistics, such as populations, samples, the difference between data and information, and most importantly sampling distributions.
Publisher:
Global Text Project
Publication date: 01 Dec 2010
License: Creative Commons Attribution-ShareAlike 4.0 International
Document Type: Textbook
Publication date: 01 Dec 2010
License: Creative Commons Attribution-ShareAlike 4.0 International
Document Type: Textbook
Introductory Business Statistics
Post date: 04 May 2017Explores the basic ideas behind statistics, such as populations, samples, the difference between data and information, and most importantly sampling distributions.
Publisher:
Global Text Project
Publication date: 01 Dec 2010
License: Creative Commons Attribution-ShareAlike 4.0 International Document Type: Textbook
Publication date: 01 Dec 2010
License: Creative Commons Attribution-ShareAlike 4.0 International Document Type: Textbook
Raspberry Pi Cookbook for Python Programmers
Post date: 03 May 2017Over 50 easy to comprehend tailor made recipes to get the most out of the Raspberry Pi and unleash its huge potential using Python.
Raspberry Pi Cookbook for Python Programmers
Post date: 03 May 2017Over 50 easy to comprehend tailor made recipes to get the most out of the Raspberry Pi and unleash its huge potential using Python.
Post date: 03 May 2017
A hands-on guide to understanding the nature of your data and turn it into insight. Presents a detailed exploration of the current work in data analysis through self-contained projects.
A hands-on guide to understanding the nature of your data and turn it into insight. Presents a detailed exploration of the current work in data analysis through self-contained projects.
Post date: 03 May 2017A hands-on guide to understanding the nature of your data and turn it into insight. Presents a detailed exploration of the current work in data analysis through self-contained projects.
.jpg)
Computer Science Concepts in Scratch
Post date: 28 Apr 2017This book will familiarize you with the Scratch visual programming environment, focusing on using Scratch to learn computer science.
Publication date: 01 Dec 2013
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
Document Type: Book
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
Document Type: Book
Computer Science Concepts in Scratch
Post date: 28 Apr 2017This book will familiarize you with the Scratch visual programming environment, focusing on using Scratch to learn computer science.
Publication date: 01 Dec 2013
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported Document Type: Book
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported Document Type: Book
Post date: 28 Apr 2017
This textbook covers the fundamental enumeration techniques (permutations, combinations, subsets, pigeon hole principle), recursion and mathematical induction, more advanced enumeration techniques, discrete structures, and discrete optimization.
This textbook covers the fundamental enumeration techniques (permutations, combinations, subsets, pigeon hole principle), recursion and mathematical induction, more advanced enumeration techniques, discrete structures, and discrete optimization.
Publication date: 01 Dec 2016
License: Creative Commons Attribution-ShareAlike 4.0 International
Document Type: Textbook
License: Creative Commons Attribution-ShareAlike 4.0 International
Document Type: Textbook
Post date: 28 Apr 2017This textbook covers the fundamental enumeration techniques (permutations, combinations, subsets, pigeon hole principle), recursion and mathematical induction, more advanced enumeration techniques, discrete structures, and discrete optimization.
Publication date: 01 Dec 2016
License: Creative Commons Attribution-ShareAlike 4.0 International Document Type: Textbook
License: Creative Commons Attribution-ShareAlike 4.0 International Document Type: Textbook
Bayesian Methods in the Search for MH370
Post date: 26 Apr 2017An account of the work of the teams who were part of the MH370 Flight Path Reconstruction group. Defence scientists contributed a range of expertise to the search: underwater acoustics, satellite communication systems and statistical data processing.
Publisher:
Springer-Verlag GmbH
Publication date: 16 Jul 2016
License: Creative Commons Attribution-NonCommercial 4.0 International
Document Type: Book
Publication date: 16 Jul 2016
License: Creative Commons Attribution-NonCommercial 4.0 International
Document Type: Book
Bayesian Methods in the Search for MH370
Post date: 26 Apr 2017An account of the work of the teams who were part of the MH370 Flight Path Reconstruction group. Defence scientists contributed a range of expertise to the search: underwater acoustics, satellite communication systems and statistical data processing.
Publisher:
Springer-Verlag GmbH
Publication date: 16 Jul 2016
License: Creative Commons Attribution-NonCommercial 4.0 International Document Type: Book
Publication date: 16 Jul 2016
License: Creative Commons Attribution-NonCommercial 4.0 International Document Type: Book
Advances in Proof-Theoretic Semantics
Post date: 26 Apr 2017A compilation of papers, which mostly result from The Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013.
Publisher:
Springer-Verlag GmbH
Publication date: 01 Dec 2016
License: Creative Commons Attribution 3.0 Unported
Document Type: Book
Publication date: 01 Dec 2016
License: Creative Commons Attribution 3.0 Unported
Document Type: Book
Advances in Proof-Theoretic Semantics
Post date: 26 Apr 2017A compilation of papers, which mostly result from The Second International Conference on Proof-Theoretic Semantics in Tübingen in 2013.
Publisher:
Springer-Verlag GmbH
Publication date: 01 Dec 2016
License: Creative Commons Attribution 3.0 Unported Document Type: Book
Publication date: 01 Dec 2016
License: Creative Commons Attribution 3.0 Unported Document Type: Book
SQL Server Concurrency: Locking, Blocking and Row Versioning
Post date: 25 Apr 2017A book for every DBA and developer who want to understand SQL Server concurrency and how to troubleshoot excessive blocking or deadlocking.
SQL Server Concurrency: Locking, Blocking and Row Versioning
Post date: 25 Apr 2017A book for every DBA and developer who want to understand SQL Server concurrency and how to troubleshoot excessive blocking or deadlocking.
SQL Server Transaction Log Management
Post date: 25 Apr 2017This book offers just the right level of detail so that every DBA can perform all of the most important aspects of transaction log management.
SQL Server Transaction Log Management
Post date: 25 Apr 2017This book offers just the right level of detail so that every DBA can perform all of the most important aspects of transaction log management.
Computer Science & Information Technology
Post date: 17 Apr 2017Proceeding from the Fourth International Conference on Computer Science and Information Technology (CoSIT 2017) Geneva, Switzerland, March 25-26, 2017.
Publisher:
AIRCC Publishing Corporation
Publication date: 01 Apr 2017
License: Creative Commons Attribution 4.0 International
Document Type: Proceeding
Publication date: 01 Apr 2017
License: Creative Commons Attribution 4.0 International
Document Type: Proceeding
Computer Science & Information Technology
Post date: 17 Apr 2017Proceeding from the Fourth International Conference on Computer Science and Information Technology (CoSIT 2017) Geneva, Switzerland, March 25-26, 2017.
Publisher:
AIRCC Publishing Corporation
Publication date: 01 Apr 2017
License: Creative Commons Attribution 4.0 International Document Type: Proceeding
Publication date: 01 Apr 2017
License: Creative Commons Attribution 4.0 International Document Type: Proceeding
Post date: 03 Apr 2017
Focusing on algorithms for distributed-memory parallel architectures, this book presents a rigorous yet accessible treatment of theoretical models of parallel computation and parallel algorithm design.
Focusing on algorithms for distributed-memory parallel architectures, this book presents a rigorous yet accessible treatment of theoretical models of parallel computation and parallel algorithm design.
Post date: 03 Apr 2017Focusing on algorithms for distributed-memory parallel architectures, this book presents a rigorous yet accessible treatment of theoretical models of parallel computation and parallel algorithm design.
Elementary Differential Equations with Boundary Value Problems
Post date: 10 Mar 2017This book is written for students in science, engineering, and mathematics who have completed calculus through partial differentiation. Readers should have some preparation in linear algebra.
Publisher:
Brooks/Cole Thomson Learning
Publication date: 01 Dec 2013
License: Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported
Document Type: Textbook
Publication date: 01 Dec 2013
License: Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported
Document Type: Textbook
Elementary Differential Equations with Boundary Value Problems
Post date: 10 Mar 2017This book is written for students in science, engineering, and mathematics who have completed calculus through partial differentiation. Readers should have some preparation in linear algebra.
Publisher:
Brooks/Cole Thomson Learning
Publication date: 01 Dec 2013
License: Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported Document Type: Textbook
Publication date: 01 Dec 2013
License: Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported Document Type: Textbook
Statistical Analysis with The General Linear Model
Post date: 07 Mar 2017An introductory textbook describing statistical analysis with analysis of variance (ANOVA, including repeated-measures and mixed designs), simple and multiple regression, and analysis of covariance.
Publication date: 16 Feb 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.5 Generic
Document Type: Textbook
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.5 Generic
Document Type: Textbook
Statistical Analysis with The General Linear Model
Post date: 07 Mar 2017An introductory textbook describing statistical analysis with analysis of variance (ANOVA, including repeated-measures and mixed designs), simple and multiple regression, and analysis of covariance.
Publication date: 16 Feb 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.5 Generic Document Type: Textbook
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.5 Generic Document Type: Textbook
Post date: 07 Mar 2017
A cohesive presentation of concepts of, and methods for, causal inference. Covers causal inference without models, causal inference with models, and causal inference from complex longitudinal data.
A cohesive presentation of concepts of, and methods for, causal inference. Covers causal inference without models, causal inference with models, and causal inference from complex longitudinal data.
Publication date: 05 Mar 2017
Document Type: Textbook
Document Type: Textbook
Post date: 07 Mar 2017A cohesive presentation of concepts of, and methods for, causal inference. Covers causal inference without models, causal inference with models, and causal inference from complex longitudinal data.
Publication date: 05 Mar 2017
Document Type: Textbook
Document Type: Textbook
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
415,760
Introduction to Objective Caml
230,146
Notes for the Course of Algorithms
212,659
Lessons In Electric Circuits
193,272
[No longer available] A Beginners C++
149,743
Introduction to Object-Oriented Programming Using C++
145,902
A Short Introduction to Operating Systems
142,283
Data Structures and Algorithms with Object-Oriented Design Patterns in C++
138,242
C Programming Tutorial (K&R version 4)
136,824
Computer Organization and Design Fundamentals
135,827
Programming The Nintendo Game Boy Advance: The Unofficial Guide
Sponsors