Mit Press

What Algorithms Want: Imagination in the Age of Computing (MIT Press) [Kindle Edition]

What Algorithms Want: Imagination in the Age of Computing (MIT Press) by Ed Finn
English | 6 Mar. 2017 | ASIN: B06XGVVQ9Z | 272 Pages | MOBI | 2.56 MB

Intellectual Property Strategy (The MIT Press Essential Knowledge series)  eBooks & eLearning

Posted by sasha82 at March 4, 2017
Intellectual Property Strategy (The MIT Press Essential Knowledge series)

Intellectual Property Strategy (The MIT Press Essential Knowledge series) by John Palfrey
2011 | ISBN: 0262516799 | English | 192 pages | EPUB | 0.2 MB

Heidegger's Hut (MIT Press)  eBooks & eLearning

Posted by Nice_smile) at Feb. 24, 2017
Heidegger's Hut (MIT Press)

Heidegger's Hut (MIT Press) by Adam Sharr
English | 2006 | ISBN: 0262195518 | 168 Pages | PDF | 21.32 MB

Free Will (The MIT Press Essential Knowledge series)  eBooks & eLearning

Posted by Nice_smile) at Feb. 22, 2017
Free Will (The MIT Press Essential Knowledge series)

Free Will (The MIT Press Essential Knowledge series) by Mark Balaguer
English | 2014 | ISBN: 0262525798 | 152 Pages | PDF | 650.71 KB

Dada East: The Romanians of Cabaret Voltaire (MIT Press)(Repost)  eBooks & eLearning

Posted by Nice_smile) at Feb. 21, 2017
Dada East: The Romanians of Cabaret Voltaire (MIT Press)(Repost)

Dada East: The Romanians of Cabaret Voltaire (MIT Press) by Tom Sandqvist
English | 2006 | ISBN: 0262195070 | 448 Pages | PDF | 35.90 MB

Asylum: Inside the Closed World of State Mental Hospitals (MIT Press)(Repost)  eBooks & eLearning

Posted by Nice_smile) at Feb. 21, 2017
Asylum: Inside the Closed World of State Mental Hospitals (MIT Press)(Repost)

Asylum: Inside the Closed World of State Mental Hospitals (MIT Press) by Christopher Payne
English | 2009 | ISBN: 0262013495 | 209 Pages | PDF | 224.50 MB

Curious Visions of Modernity: Enchantment, Magic, and the Sacred (MIT Press)  eBooks & eLearning

Posted by Nice_smile) at Feb. 19, 2017
Curious Visions of Modernity: Enchantment, Magic, and the Sacred (MIT Press)

Curious Visions of Modernity: Enchantment, Magic, and the Sacred (MIT Press) by David L Martin
English | 2011 | ISBN: 0262016060 | 274 Pages | PDF | 8.91 MB

Privacy on the Line: The Politics of Wiretapping and Encryption (MIT Press)  eBooks & eLearning

Posted by lengen at Feb. 17, 2017
Privacy on the Line: The Politics of Wiretapping and Encryption (MIT Press)

Privacy on the Line: The Politics of Wiretapping and Encryption (MIT Press) by Whitfield Diffie
English | Feb. 26, 2010 | ISBN: 0262514001 | 495 Pages | PDF | 4 MB

Telecommunication has never been perfectly secure. The Cold War culture of recording devices in telephone receivers and bugged embassy offices has been succeeded by a post-9/11 world of NSA wiretaps and demands for data retention. Although the 1990s battle for individual and commercial freedom to use cryptography was won, growth in the use of cryptography has been slow.

Free Innovation (MIT Press)  eBooks & eLearning

Posted by lengen at Feb. 17, 2017
Free Innovation (MIT Press)

Free Innovation (MIT Press) by Eric von Hippel
English | Nov. 18, 2016 | ISBN: 0262035219 | 236 Pages | PDF | 7 MB

In this book, Eric von Hippel, author of the influential Democratizing Innovation, integrates new theory and research findings into the framework of a "free innovation paradigm." Free innovation, as he defines it, involves innovations developed by consumers who are self-rewarded for their efforts, and who give their designs away "for free." It is an inherently simple grassroots innovation process, unencumbered by compensated transactions and intellectual property rights.
Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press)

Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant (MIT Press) by Adam Chlipala
English | Dec. 6, 2013 | ISBN: 0262026651 | 369 Pages | PDF | 4 MB

The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Coq software for writing and checking mathematical proofs. It takes a practical engineering focus throughout, emphasizing techniques that will help users to build, understand, and maintain large Coq developments and minimize the cost of code change over time.