List of all posted books

So far we have a total of 1211 books


Let Over Lambda -- 50 Years of Lisp

Post date: 14 Feb 2017
This book is about pushing the boundaries of what we know about programming. If you have ever wondered what lisp or even programming itself is really about, this is the book you have been looking for.
Publisher: Lulu.com
Publication date: 19 Aug 2010
Document Type: Book
 
Let Over Lambda -- 50 Years of Lisp

Let Over Lambda -- 50 Years of Lisp

Post date: 14 Feb 2017
This book is about pushing the boundaries of what we know about programming. If you have ever wondered what lisp or even programming itself is really about, this is the book you have been looking for.
Publisher: Lulu.com
Publication date: 19 Aug 2010
Document Type: Book


Basic Probability Theory

Post date: 13 Feb 2017
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.
Publisher: Dover Publications
Publication date: 26 Jun 2008
Document Type: Textbook
 
Basic Probability Theory

Basic Probability Theory

Post date: 13 Feb 2017
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.
Publisher: Dover Publications
Publication date: 26 Jun 2008
Document Type: Textbook


Foundations of Databases

Post date: 08 Feb 2017
Written by three leading researchers, Foundations of Databases presents indepth coverage of theory concerning the logical level of database management systems and surveys several emerging topics.
Publisher: Addison-Wesley Publishing
Publication date: 31 Dec 1995
License: Standard Copyright License
Document Type: Textbook
 
 Foundations of Databases

Foundations of Databases

Post date: 08 Feb 2017
Written by three leading researchers, Foundations of Databases presents indepth coverage of theory concerning the logical level of database management systems and surveys several emerging topics.
Publisher: Addison-Wesley Publishing
Publication date: 31 Dec 1995
License: Standard Copyright License Document Type: Textbook


Probability And Mathematical Statistics

Post date: 19 Jan 2017
An introduction to probability and mathematical statistics intended for students already having some elementary mathematical background.
Publication date: 31 Dec 2013
License: Standard Copyright License
Document Type: Textbook
 
Probability And Mathematical Statistics

Probability And Mathematical Statistics

Post date: 19 Jan 2017
An introduction to probability and mathematical statistics intended for students already having some elementary mathematical background.
Publication date: 31 Dec 2013
License: Standard Copyright License Document Type: Textbook


Reinforcement Learning: An Introduction, Second Edition (Draft)

Post date: 09 Jan 2017
This textbook provides a clear and simple account of the key ideas and algorithms of reinforcement learning that is accessible to readers in all the related disciplines. Familiarity with elementary concepts of probability is required.
Publisher: The MIT Press
Publication date: 03 Apr 2018
Document Type: Textbook
 
Reinforcement Learning: An Introduction, Second Edition (Draft)

Reinforcement Learning: An Introduction, Second Edition (Draft)

Post date: 09 Jan 2017
This textbook provides a clear and simple account of the key ideas and algorithms of reinforcement learning that is accessible to readers in all the related disciplines. Familiarity with elementary concepts of probability is required.
Publisher: The MIT Press
Publication date: 03 Apr 2018
Document Type: Textbook


System Design, Modeling, and Simulation using Ptolemy II

Post date: 29 Dec 2016
This book is a definitive introduction to models of computation for the design of complex, heterogeneous systems. It has a particular focus on cyber-physical systems, which integrate computing, networking, and physical dynamics.
Publisher: Ptolemy.org
Publication date: 27 Sep 2013
License: Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported
Document Type: Textbook
 
System Design, Modeling, and Simulation using Ptolemy II

System Design, Modeling, and Simulation using Ptolemy II

Post date: 29 Dec 2016
This book is a definitive introduction to models of computation for the design of complex, heterogeneous systems. It has a particular focus on cyber-physical systems, which integrate computing, networking, and physical dynamics.
Publisher: Ptolemy.org
Publication date: 27 Sep 2013
License: Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Unported Document Type: Textbook


Introduction to Embedded Systems - A Cyber-Physical Systems Approach, First Edition

Post date: 29 Dec 2016
This book is intended for students at the advanced undergraduate level or the introductory graduate level, and for practicing engineers and computer scientists who wish to understand the engineering principles of embedded systems.
Publication date: 31 Dec 2011
Document Type: Textbook
 
Introduction to Embedded Systems - A Cyber-Physical Systems Approach, First Edition

Introduction to Embedded Systems - A Cyber-Physical Systems Approach, First Edition

Post date: 29 Dec 2016
This book is intended for students at the advanced undergraduate level or the introductory graduate level, and for practicing engineers and computer scientists who wish to understand the engineering principles of embedded systems.
Publication date: 31 Dec 2011
Document Type: Textbook


Structure and Interpretation of Signals and Systems, Second Edition

Post date: 29 Dec 2016
This book introduces the mathematical models used to design and understand signals and systems, based on several years of successful classroom use at the University of California, Berkeley. Calculus is the only prerequisite.
Publication date: 23 Jan 2013
License: Standard Copyright License
Document Type: Textbook
 
Structure and Interpretation of Signals and Systems, Second Edition

Structure and Interpretation of Signals and Systems, Second Edition

Post date: 29 Dec 2016
This book introduces the mathematical models used to design and understand signals and systems, based on several years of successful classroom use at the University of California, Berkeley. Calculus is the only prerequisite.
Publication date: 23 Jan 2013
License: Standard Copyright License Document Type: Textbook


The Elements of Computing Systems: Building a Modern Computer from First Principles

Post date: 28 Dec 2016
This textbook leads students through twelve chapters and projects that gradually build a basic hardware platform and a modern software hierarchy from the ground up.
Publisher: The MIT Press
Publication date: 31 Mar 2005
Document Type: Textbook
 
The Elements of Computing Systems: Building a Modern Computer from First Principles

The Elements of Computing Systems: Building a Modern Computer from First Principles

Post date: 28 Dec 2016
This textbook leads students through twelve chapters and projects that gradually build a basic hardware platform and a modern software hierarchy from the ground up.
Publisher: The MIT Press
Publication date: 31 Mar 2005
Document Type: Textbook


An Introduction to the Science of Statistics: From Theory to Implementation, Preliminary Edition

Post date: 23 Dec 2016
An introductory textbook, dedicated to a higher level of understanding of the concepts and practical applications of statistics. A solid grasp of concepts and structures in calculus and algebra is required.
Publication date: 16 Feb 2016
Document Type: Textbook
 
An Introduction to the Science of Statistics: From Theory to Implementation, Preliminary Edition

An Introduction to the Science of Statistics: From Theory to Implementation, Preliminary Edition

Post date: 23 Dec 2016
An introductory textbook, dedicated to a higher level of understanding of the concepts and practical applications of statistics. A solid grasp of concepts and structures in calculus and algebra is required.
Publication date: 16 Feb 2016
Document Type: Textbook


Introduction to Embedded Systems: A Cyber-Physical Systems Approach, Second Edition

Post date: 22 Dec 2016
This book takes a cyber-physical approach to introduce the engineering concepts underlying embedded systems. The focus is on modeling, design, and analysis of cyber-physical systems, which integrate computation, networking, and physical processes.
Publisher: The MIT Press
Publication date: 30 Dec 2016
Document Type: Textbook
 
Introduction to Embedded Systems: A Cyber-Physical Systems Approach, Second Edition

Introduction to Embedded Systems: A Cyber-Physical Systems Approach, Second Edition

Post date: 22 Dec 2016
This book takes a cyber-physical approach to introduce the engineering concepts underlying embedded systems. The focus is on modeling, design, and analysis of cyber-physical systems, which integrate computation, networking, and physical processes.
Publisher: The MIT Press
Publication date: 30 Dec 2016
Document Type: Textbook


Foundations of Computer Science: C Edition

Post date: 22 Dec 2016
This text combines the theoretical foundations of computing with essential discrete mathematics. It follows the same organization as its predecessor, Foundations of Computer Science (also published by W.H. Freeman), with all examples and exercises in C.
Publisher: W. H. Freeman and Company
Publication date: 15 Oct 1994
Document Type: Textbook
 
Foundations of Computer Science: C Edition

Foundations of Computer Science: C Edition

Post date: 22 Dec 2016
This text combines the theoretical foundations of computing with essential discrete mathematics. It follows the same organization as its predecessor, Foundations of Computer Science (also published by W.H. Freeman), with all examples and exercises in C.
Publisher: W. H. Freeman and Company
Publication date: 15 Oct 1994
Document Type: Textbook


The Engineering of Reliable Embedded Systems (1st Edition)

Post date: 21 Dec 2016
The first edition of "Engineering of Reliable Embedded Systems" (ERES1) documents an industry-proven approach to the development of software for reliable, real-time embedded systems, based on the use of time-triggered (TT) architectures.
Publisher: Lulu.com
Publication date: 30 Mar 2015
Document Type: Book
 
The Engineering of Reliable Embedded Systems (1st Edition)

The Engineering of Reliable Embedded Systems (1st Edition)

Post date: 21 Dec 2016
The first edition of "Engineering of Reliable Embedded Systems" (ERES1) documents an industry-proven approach to the development of software for reliable, real-time embedded systems, based on the use of time-triggered (TT) architectures.
Publisher: Lulu.com
Publication date: 30 Mar 2015
Document Type: Book


Introduction to Numerical Methods and Matlab Programming for Engineers

Post date: 21 Dec 2016
These notes were developed for a course on applied numerical methods for Civil Engineering and Mechanical Engineering. The main goals these lectures are to introduce concepts of numerical methods and introduce Matlab in an Engineering framework.
Publication date: 05 May 2015
License: GNU Free Documentation License Version 1.3
Document Type: Lecture Notes
 
Introduction to Numerical Methods and Matlab Programming for Engineers

Introduction to Numerical Methods and Matlab Programming for Engineers

Post date: 21 Dec 2016
These notes were developed for a course on applied numerical methods for Civil Engineering and Mechanical Engineering. The main goals these lectures are to introduce concepts of numerical methods and introduce Matlab in an Engineering framework.
Publication date: 05 May 2015
License: GNU Free Documentation License Version 1.3 Document Type: Lecture Notes


An Introduction to Proofs and the Mathematical Vernacular

Post date: 20 Dec 2016
This textbook helps students make the transition from being a user of mathematics to someone who can critically read and evaluate mathematical statements and being able to write mathematical explanations in clear, logically precise language.
Publication date: 07 Dec 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States
Document Type: Textbook
 
An Introduction to Proofs and the Mathematical Vernacular

An Introduction to Proofs and the Mathematical Vernacular

Post date: 20 Dec 2016
This textbook helps students make the transition from being a user of mathematics to someone who can critically read and evaluate mathematical statements and being able to write mathematical explanations in clear, logically precise language.
Publication date: 07 Dec 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 United States Document Type: Textbook


Book Categories
Sponsors
Icons8, a free icon pack