Learn IT - MIT Press

Foundations of Object-Oriented Languages: Types and Semantics

MIT Press, 2002

I wrote this book to provide a description of the foundations of statically
typed class-based object-oriented programming languages for those interested
in learning about this area. An important goal is to explain how the
different components of these languages interact, and how this results in
the kind of type systems that are...

Simply Scheme - 2nd Edition: Introducing Computer Science

MIT Press, 1999

There are two schools of thought about teaching computer science. We might caricature the two views this way:

· The conservative view: Computer programs have become too large and complex to encompass in a human mind.
Therefore, the job of computer science education is to teach people how to discipline their work in such a way...

Types and Programming Languages

MIT Press, 2002

A type system is a syntactic method for automatically checking the absence of certain erroneous behaviors by classifying program phrases according to the kinds of values they compute. The study of type systems--and of programming languages from a type-theoretic perspective--has important applications in software engineering, language design,...

Improvisational Design: Continuous, Responsive Digital Communication

MIT Press, 2002

"This original and sound book should have a profound effect on design for digital media."
-- Mark D. Gross, Design Machine Group, Department of Architecture, University of Washington

Traditional visual design expresses information in fixed forms, such as print or film, so the message can be stored or...

Reasoning About Knowledge

MIT Press, 2003

This book provides a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory, as well as reasoning about the knowledge of agents who reason about the world.

Reasoning about knowledge—particularly the knowledge of agents who reason about the...

Is Human Nature Obsolete?: Genetics, Bioengineering, and the Future of the Human Condition

MIT Press, 2004

"Modifying ourselves through molecular biology is a humanitarian utopia to some, an imminent nightmare to others. But to all, the prospect should be a challenge because it touches on so many basic and unresolved questions. This excellent, probing collection of papers -- spanning philosophy, history, social science, and theology -- will be...

The Coming Generational Storm: What You Need to Know about America's Economic Future

MIT Press, 2004

In 2030, as 77 million baby boomers hobble into old age, walkers will outnumber strollers; there will be twice as many retirees as there are today but only 18 percent more workers. How will America handle this demographic overload? How will Social Security and Medicare function with fewer working taxpayers to support these programs? According to...

Unit Operations: An Approach to Videogame Criticism

MIT Press, 2006

"Bogost challenges humanists and technologists to pay attention to one another, something they desperately need to do as computation accelerates us into the red zones of widespread virtual reality. This book gives us what we need to meet that challenge: a general theory for understanding creativity under computation, one that will apply...

Introduction to Algorithms, Second Edition

MIT Press, 2001

The book moves forward with more advanced algorithms that implement strategies for solving more complicated problems (including dynamic programming techniques, greedy algorithms, and amortized analysis). Algorithms for graphing problems (used in such real-world business problems as optimizing flight schedules or flow through pipelines) come next....

Digital Crossroads: American Telecommunications Policy in the Internet Age

MIT Press, 2005

Telecommunications policy profoundly affects the economy and our everyday lives. Yet accounts of important telecommunications issues tend to be either superficial (and inaccurate) or mired in jargon and technical esoterica. In Digital Crossroads, Jonathan Nuechterlein and Philip Weiser offer a clear, balanced, and accessible analysis of...

The Handbook of Brain Theory and Neural Networks: Second Edition

MIT Press, 2002

Dramatically updating and extending the first edition, published in 1995, the second edition of The Handbook of Brain Theory and Neural Networks presents the enormous progress made in recent years in the many subfields related to the two great questions: How does the brain work? and, How can we build intelligent machines?

Once...

Modernity and Technology

MIT Press, 2003

Review
"An interesting and well-integrated collection..." -- Peter Beech, First Monday

Reconstruction (2004 4#2)
Modernity and Technology succeeds in opening up a much needed dialog, and in inspiring curiosity for scholars on both sides.
...

Result Page: 21 20 19 18 17 16 15 14 13 12 11 10 9 8 7