Electromagnetic Vibrations, Waves, And Radiation (mit Press)

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.

Market Discipline Across Countries and Industries (MIT Press)(Repost)  eBooks & eLearning

Posted by Nice_smile) at Feb. 3, 2017
Market Discipline Across Countries and Industries (MIT Press)(Repost)

Market Discipline Across Countries and Industries (MIT Press) by Claudio Borio
English | 2004 | ISBN: 0262025752 | 446 Pages | PDF | 3.69 MB

Waves and Oscillations: A Prelude to Quantum Mechanics [Repost]  eBooks & eLearning

Posted by metalero87 at May 29, 2015
Waves and Oscillations: A Prelude to Quantum Mechanics [Repost]

"Waves and Oscillations: A Prelude to Quantum Mechanics" by Smith
2010 | ISBN: 019539349X | Pages: 416 | English | PDF | 6 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

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.