The Little Typer

Daniel P. Friedman

评分 9.5分

An introduction to dependent types, demonstrating the most beautiful aspects, one step at a time. A program's type describes its behavior. Dependent types are a first-class part of a language,

How to Design Programs, 2nd Edition

Matthias Felleisen

评分 暂无

A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed programming.<

Machine Learning

Kevin Murphy

评分 9.0分

Today's Web-enabled deluge of electronic data calls for automated methods of data analysis. Machine learning provides these, developing methods that can automatically detect patterns in data a

Coding Places

Yuri Takhteyev

评分 暂无

Software development would seem to be a quintessential example of today's Internet-enabled "knowledge work"--a global profession not bound by the constraints of geography. In Coding Places, Yu

The Design Way

Nelson, Harold G

评分 暂无

Humans did not discover fire--they designed it. Design is not defined by software programs, blueprints, or font choice. When we create new things--technologies, organizations, processes, syste

Introduction to Algorithms, Third Edition (International Edition)

T Cormen

评分 9.1分

Persuasive Games

Ian Bogost

评分 暂无

Review "Bogost creates and writes about serious games, seemingly simple diversions that deliver educational political and advertising content alongside entertainment. In Persuasive Games,

Designing Interactions

Bill Moggridge

评分 9.0分

Digital technology has changed the way we interact with everything from the games we play to the tools we use at work. Designers of digital technology products no longer regard their job as de

Theoretical Anxiety and Design Strategies in the Work of Eight Contemporary Architects

Rafael Moneo

评分 9.1分

http://www.amazon.com/exec/obidos/tg/sim-explorer/explore-items/-/0262134438/0/101/1/none/purchase/ref%3Dpd%5Fsxp%5Fr0/103-5955717-0655841

Where the Action is

Paul Dourish

评分 暂无

Computer science as an engineering discipline has been spectacularly successful. Yet it is also a philosophical enterprise in the way it represents the world and creates and manipulates models

Rethinking Innateness

Jeffery Elman

评分 暂无

Rethinking Innateness asks the question, "What does it really mean to say that a behavior is innate?" The authors describe a new framework in which interactions, occurring at all levels, give

Endogenous Growth Theory

Philippe Aghion

评分 暂无

Advanced economies have experienced a tremendous increase in material well- being since the industrial revolution. Modern innovations such as personal computers, laser surgery, jet airplanes, and s

A Logical Journey

Hao Wang

评分 暂无

Hao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Godel. A Logical Journey is a continuation of Wang's Reflections on Godel and also elaborates on disc

Inventing Accuracy

Donald Mackenzie

评分 暂无

Among books on the arms race, Donald MacKenzie's stands out for its welcome demystification of the "black box" of nuclear weapons technology. MacKenzie follows one line of technology - strategic ba

Too Smart

Jathan Sadowski

评分 暂无

Who benefits from smart technology? Whose interests are served when we trade our personal data for convenience and connectivity? Smart technology is everywhere: smart umbrellas that

Distributed Algorithms: An Intuitive Approach

Wan Fokkink

评分 暂无

The new edition of a guide to distributed algorithms that emphasizes examples and exercises rather than the intricacies of mathematical models. This book offers students and research

Programming for the Puzzled

Srini Devadas

评分 暂无

This book builds a bridge between the recreational world of algorithmic puzzles (puzzles that can be solved by algorithms) and the pragmatic world of computer programming, teaching readers to

Once Upon an Algorithm

Martin Erwig

评分 暂无

How Hansel and Gretel, Sherlock Holmes, the movie Groundhog Day, Harry Potter, and other familiar stories illustrate the concepts of computing. Picture a computer scientist, staring

White City, Black City

Sharon Rotbard

评分 暂无

The history of Tel Aviv, presented for a moment as an architectural history, can be seen as a part of a wider process in which the physical shaping of Tel Aviv and its political and cultural constr

Speculative Everything

Anthony Dunne

评分 9.0分

How to use design as a tool to create not only things but ideas, to speculate about possible futures. Today designers often focus on making technology easy to use, sexy, and consumable. I

Wired for Innovation

Erik Brynjolfsson

评分 暂无

A wave of business innovation is driving the productivity resurgence in the U.S. economy. In Wired for Innovation , Erik Brynjolfsson and Adam Saunders describe how information technology directly