The MIT Press

All publishers Website

Books published by The MIT Press

[No longer freely accessible] 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
 
[No longer freely accessible] The Elements of Computing Systems: Building a Modern Computer from First Principles

[No longer freely accessible] 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


Categories, Types And Structures

Post date: 03 Oct 2006
A self-contained introduction to general category theory and the mathematical structures that constituted the theoretical background.
Publisher: The MIT Press
Publication date: 31 Dec 1991
 
Categories, Types And Structures

Categories, Types And Structures

Post date: 03 Oct 2006
A self-contained introduction to general category theory and the mathematical structures that constituted the theoretical background.
Publisher: The MIT Press
Publication date: 31 Dec 1991


Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Post date: 13 Nov 2016
This 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
 
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant

Post date: 13 Nov 2016
This 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


Democratizing Innovation

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.
Publisher: The MIT Press
Publication date: 17 Feb 2006
License: Creative Commons Attribution-NonCommercial-NoDerivs 2.0 Generic
Document Type: Book
 
Democratizing Innovation

Democratizing Innovation

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.
Publisher: The MIT Press
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 2007
An 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.
Publisher: The MIT Press
Publication date: 01 Sep 2001
Document Type: Book
 
Digital Libraries (Digital Libraries and Electronic Publishing)

Digital Libraries (Digital Libraries and Electronic Publishing)

Post date: 18 Jan 2007
An 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.
Publisher: The MIT Press
Publication date: 01 Sep 2001
Document Type: Book


Foundations of Machine Learning, Second Edition

Post date: 05 Feb 2021
A 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
 
Foundations of Machine Learning, Second Edition

Foundations of Machine Learning, Second Edition

Post date: 05 Feb 2021
A 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


Free Innovation

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
Publisher: The MIT Press
Publication date: 18 Nov 2016
License: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International
Document Type: Book
 
Free Innovation

Free Innovation

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
Publisher: The MIT Press
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 2016
This 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
 
How to Design Programs, Second Edition

How to Design Programs, Second Edition

Post date: 31 Aug 2016
This 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


How To Design Programs: An Introduction To Programming and Computing

Post date: 24 Oct 2004
Exposes readers to two fundamentally new ideas: program design guidelines and programming environment.
Publisher: The MIT Press
Publication date: 01 May 2002
 
How To Design Programs: An Introduction To Programming and Computing

How To Design Programs: An Introduction To Programming and Computing

Post date: 24 Oct 2004
Exposes readers to two fundamentally new ideas: program design guidelines and programming environment.
Publisher: The MIT Press
Publication date: 01 May 2002


How To Write Parallel Programs - A First Course

Post date: 12 May 2010
The raw material for a hands-on, "workshop" type course for undergraduates or graduate students in parallel programming.
Publisher: The MIT Press
Publication date: 31 Dec 1990
 
How To Write Parallel Programs - A First Course

How To Write Parallel Programs - A First Course

Post date: 12 May 2010
The raw material for a hands-on, "workshop" type course for undergraduates or graduate students in parallel programming.
Publisher: The MIT Press
Publication date: 31 Dec 1990


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


Invisible Engines

Post date: 04 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.
Publisher: The MIT Press
Publication date: 01 Oct 2006
 
Invisible Engines

Invisible Engines

Post date: 04 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.
Publisher: The MIT Press
Publication date: 01 Oct 2006


Machine Interpretation of Line Drawings

Post date: 23 Apr 2007
Presents a computational mechanism that functionally mimics human perception in being able to generate three-dimensional descriptions of objects from two-dimensional line drawings.
Publisher: The MIT Press
Publication date: 01 Sep 1986
 
Machine Interpretation of Line Drawings

Machine Interpretation of Line Drawings

Post date: 23 Apr 2007
Presents a computational mechanism that functionally mimics human perception in being able to generate three-dimensional descriptions of objects from two-dimensional line drawings.
Publisher: The MIT Press
Publication date: 01 Sep 1986


Moths to the Flame : The Seductions of Computer Technology

Post date: 28 Oct 2004
Addresses important issues concerning the role of computers on privacy, war, and poverty.
Publisher: The MIT Press
Publication date: 01 Aug 1996
Document Type: Book
 
Moths to the Flame : The Seductions of Computer Technology

Moths to the Flame : The Seductions of Computer Technology

Post date: 28 Oct 2004
Addresses important issues concerning the role of computers on privacy, war, and poverty.
Publisher: The MIT Press
Publication date: 01 Aug 1996
Document Type: Book


MPI: The Complete Reference

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.
Publisher: The MIT Press
Publication date: 31 Dec 1995
 
MPI: The Complete Reference

MPI: The Complete Reference

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.
Publisher: The MIT Press
Publication date: 31 Dec 1995


Book Categories
Sponsors