The MIT Press

All publishers Website

Books published by The MIT Press

Access to Knowledge in the Age of Intellectual Property

Post date: 13 Nov 2016
This book aims to make "access to knowledge" or A2K field accessible to those unfamiliar with it and to provide a place for those generating it to analyze its evolution, goals, tensions, and future.
Publisher: The MIT Press
Publication date: 01 Oct 2010
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
Document Type: Book
 
Access to Knowledge in the Age of Intellectual Property

Access to Knowledge in the Age of Intellectual Property

Post date: 13 Nov 2016
This book aims to make "access to knowledge" or A2K field accessible to those unfamiliar with it and to provide a place for those generating it to analyze its evolution, goals, tensions, and future.
Publisher: The MIT Press
Publication date: 01 Oct 2010
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported Document Type: Book


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


Deep Learning

Post date: 16 Apr 2016
The Deep Learning textbook is a resource intended to help students and practitioners enter the field of machine learning in general and deep learning in particular.
Publisher: The MIT Press
Publication date: 18 Nov 2016
Document Type: Textbook
 
Deep Learning

Deep Learning

Post date: 16 Apr 2016
The Deep Learning textbook is a resource intended to help students and practitioners enter the field of machine learning in general and deep learning in particular.
Publisher: The MIT Press
Publication date: 18 Nov 2016
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
 
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


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


Gaussian Processes for Machine Learning

Post date: 04 Oct 2007
The book deals with the supervised-learning problem for both regression and classification, and includes detailed algorithms. Contains illustrative examples and exercises, and code and datasets are available on the Web.
Publisher: The MIT Press
Publication date: 31 Dec 2006
 
Gaussian Processes for Machine Learning

Gaussian Processes for Machine Learning

Post date: 04 Oct 2007
The book deals with the supervised-learning problem for both regression and classification, and includes detailed algorithms. Contains illustrative examples and exercises, and code and datasets are available on the Web.
Publisher: The MIT Press
Publication date: 31 Dec 2006


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: 01 Aug 2014
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: 01 Aug 2014
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


Interfaces on Trial 2.0

Post date: 17 Nov 2016
In this updated edition, Band and Katoh examine the debates surrounding the use of copyright law to prevent competition and interoperability in the global software industry.
Publisher: The MIT Press
Publication date: 11 Mar 2011
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported
Document Type: Book
 
Interfaces on Trial 2.0

Interfaces on Trial 2.0

Post date: 17 Nov 2016
In this updated edition, Band and Katoh examine the debates surrounding the use of copyright law to prevent competition and interoperability in the global software industry.
Publisher: The MIT Press
Publication date: 11 Mar 2011
License: Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported Document Type: Book


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


Book Categories
Sponsors
Icons8, a free icon pack