The MIT Press
All publishers WebsiteBooks published by The MIT Press
![[No longer freely accessible] The Elements of Computing Systems: Building a Modern Computer from First Principles](http://mail.freetechbooks.com/uploads/1482901015-51h+QaiDsvL._SX443_BO1,204,203,200_.jpg)
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.
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.
Post date: 28 Dec 2016This textbook leads students through twelve chapters and projects that gradually build a basic hardware platform and a modern software hierarchy from the ground up.
Categories, Types And Structures
Post date: 03 Oct 2006A self-contained introduction to general category theory and the mathematical structures that constituted the theoretical background.
Categories, Types And Structures
Post date: 03 Oct 2006A self-contained introduction to general category theory and the mathematical structures that constituted the theoretical background.
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Post date: 13 Nov 2016This textbook covers practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation.
Publisher:
The MIT Press
Publication date: 30 Jun 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
Document Type: Textbook
Publication date: 30 Jun 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
Document Type: Textbook
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant
Post date: 13 Nov 2016This textbook covers practical engineering with the Coq proof assistant. The focus is on building programs with proofs of correctness, using dependent types and scripted proof automation.
Publisher:
The MIT Press
Publication date: 30 Jun 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported Document Type: Textbook
Publication date: 30 Jun 2016
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported Document Type: Textbook
Post date: 17 Sep 2006
Eric von Hippel looks closely at the emerging system of user-centered innovation, in which users -- both individuals and firms -- often freely share their innovations with others, creating user-innovation communities and a rich intellectual commons.
Eric von Hippel looks closely at the emerging system of user-centered innovation, in which users -- both individuals and firms -- often freely share their innovations with others, creating user-innovation communities and a rich intellectual commons.
Publisher:
The MIT Press
Publication date: 17 Feb 2006
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.0 Generic
Document Type: Book
Publication date: 17 Feb 2006
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.0 Generic
Document Type: Book
Post date: 17 Sep 2006Eric von Hippel looks closely at the emerging system of user-centered innovation, in which users -- both individuals and firms -- often freely share their innovations with others, creating user-innovation communities and a rich intellectual commons.
Publisher:
The MIT Press
Publication date: 17 Feb 2006
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.0 Generic Document Type: Book
Publication date: 17 Feb 2006
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.0 Generic Document Type: Book
Digital Libraries (Digital Libraries and Electronic Publishing)
Post date: 18 Jan 2007An integrated overview of the creation and the distribution over networks of all types of information, ranging from converted historical materials to kinds of information that have no analogues in the physical world.
Digital Libraries (Digital Libraries and Electronic Publishing)
Post date: 18 Jan 2007An integrated overview of the creation and the distribution over networks of all types of information, ranging from converted historical materials to kinds of information that have no analogues in the physical world.
Foundations of Machine Learning, Second Edition
Post date: 05 Feb 2021A new edition of a graduate-level machine learning textbook that focuses on the analysis and theory of algorithms.
Publisher:
The MIT Press
Publication date: 25 Dec 2018
License: The MIT License (MIT)
Document Type: Textbook
Publication date: 25 Dec 2018
License: The MIT License (MIT)
Document Type: Textbook
Foundations of Machine Learning, Second Edition
Post date: 05 Feb 2021A new edition of a graduate-level machine learning textbook that focuses on the analysis and theory of algorithms.
Publisher:
The MIT Press
Publication date: 25 Dec 2018
License: The MIT License (MIT) Document Type: Textbook
Publication date: 25 Dec 2018
License: The MIT License (MIT) Document Type: Textbook
Post date: 27 Nov 2016
In this book the author integrates new theory and new research findings into the framework of a "free innovation paradigm." Free innovation involves innovations developed and given away by consumers as a "free good," with resulting improvements in social
In this book the author integrates new theory and new research findings into the framework of a "free innovation paradigm." Free innovation involves innovations developed and given away by consumers as a "free good," with resulting improvements in social
Publisher:
The MIT Press
Publication date: 18 Nov 2016
License: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
Document Type: Book
Publication date: 18 Nov 2016
License: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
Document Type: Book
Post date: 27 Nov 2016In this book the author integrates new theory and new research findings into the framework of a "free innovation paradigm." Free innovation involves innovations developed and given away by consumers as a "free good," with resulting improvements in social
Publisher:
The MIT Press
Publication date: 18 Nov 2016
License: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International Document Type: Book
Publication date: 18 Nov 2016
License: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International Document Type: Book
How to Design Programs, Second Edition
Post date: 31 Aug 2016This book focuses on habits of good programming, addressing both professional and vocational programmers.
Publisher:
The MIT Press
Publication date: 06 May 2020
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.0 Generic
Document Type: Book
Publication date: 06 May 2020
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.0 Generic
Document Type: Book
How to Design Programs, Second Edition
Post date: 31 Aug 2016This book focuses on habits of good programming, addressing both professional and vocational programmers.
Publisher:
The MIT Press
Publication date: 06 May 2020
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.0 Generic Document Type: Book
Publication date: 06 May 2020
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.0 Generic Document Type: Book
How To Design Programs: An Introduction To Programming and Computing
Post date: 24 Oct 2004Exposes readers to two fundamentally new ideas: program design guidelines and programming environment.
How To Design Programs: An Introduction To Programming and Computing
Post date: 24 Oct 2004Exposes readers to two fundamentally new ideas: program design guidelines and programming environment.
How To Write Parallel Programs - A First Course
Post date: 12 May 2010The raw material for a hands-on, "workshop" type course for undergraduates or graduate students in parallel programming.
How To Write Parallel Programs - A First Course
Post date: 12 May 2010The raw material for a hands-on, "workshop" type course for undergraduates or graduate students in parallel programming.
Introduction to Embedded Systems: A Cyber-Physical Systems Approach, Second Edition
Post date: 22 Dec 2016This 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.
Introduction to Embedded Systems: A Cyber-Physical Systems Approach, Second Edition
Post date: 22 Dec 2016This 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.
Post date: 05 Oct 2007
Examines the business dynamics and strategies used by firms that recognize the transformative power unleashed by the revolution of software platforms, a revolution that will change both new and old industries.
Examines the business dynamics and strategies used by firms that recognize the transformative power unleashed by the revolution of software platforms, a revolution that will change both new and old industries.
Post date: 05 Oct 2007Examines the business dynamics and strategies used by firms that recognize the transformative power unleashed by the revolution of software platforms, a revolution that will change both new and old industries.
Machine Interpretation of Line Drawings
Post date: 24 Apr 2007Presents a computational mechanism that functionally mimics human perception in being able to generate three-dimensional descriptions of objects from two-dimensional line drawings.
Machine Interpretation of Line Drawings
Post date: 24 Apr 2007Presents a computational mechanism that functionally mimics human perception in being able to generate three-dimensional descriptions of objects from two-dimensional line drawings.
Moths to the Flame : The Seductions of Computer Technology
Post date: 28 Oct 2004Addresses important issues concerning the role of computers on privacy, war, and poverty.
Moths to the Flame : The Seductions of Computer Technology
Post date: 28 Oct 2004Addresses important issues concerning the role of computers on privacy, war, and poverty.
Post date: 06 Mar 2007
Covers the Message Passing Interface (MPI), an important and popular standarized and portable message passing system that brings the potential development of practical and cost-effective large-scale parallel applications.
Covers the Message Passing Interface (MPI), an important and popular standarized and portable message passing system that brings the potential development of practical and cost-effective large-scale parallel applications.
Post date: 06 Mar 2007Covers the Message Passing Interface (MPI), an important and popular standarized and portable message passing system that brings the potential development of practical and cost-effective large-scale parallel applications.
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
434,370
Introduction to Objective Caml
249,562
Notes for the Course of Algorithms
241,408
Lessons In Electric Circuits
213,285
[No longer available] A Beginners C++
167,126
Introduction to Object-Oriented Programming Using C++
165,715
A Short Introduction to Operating Systems
164,807
Data Structures and Algorithms with Object-Oriented Design Patterns in C++
160,767
C Programming Tutorial (K&R version 4)
158,125
Computer Organization and Design Fundamentals
152,457
Programming The Nintendo Game Boy Advance: The Unofficial Guide
Sponsors