Probabilistic Robotics (Intelligent Robotics and Autonomous Agents series)
Probabilistic robotics is a new and growing area in robotics, concerned with perception and control in the face of uncertainty. Building on the field of mathematical …
Computing: A Concise History (The MIT Press Essential Knowledge series)
The history of computing could be told as the story of hardware and software, or the story of the Internet, or the story of “smart” hand-held …
Racing the Beam: The Atari Video Computer System (Platform Studies)
The Atari Video Computer System dominated the home video game market so completely that “Atari” became the generic term for a video game console. The Atari …
Cybernetic Revolutionaries: Technology and Politics in Allende’s Chile
In Cybernetic Revolutionaries, Eden Medina tells the history of two intersecting utopian visions, one political and one technological. The first was Chile’s experiment with peaceful socialist …
Peripheral Vision: Bell Labs, the S-C 4020, and the Origins of Computer Art (Platform Studies)
In 1959, the electronics manufacturer Stromberg-Carlson produced the S-C 4020, a device that allowed mainframe computers to present and preserve images. In the mainframe era, the …
Since the late 1960s the Internet has grown from a single experimental network serving a dozen sites in the United States to a network of networks linking millions of computers worldwide. In Inventing the Internet, Janet Abbate recounts the key players and technologies that allowed the Internet to develop; but her main focus is always on the social …
Recoding Gender: Women’s Changing Participation in Computing (History of Computing)
Today, women earn a relatively low percentage of computer science degrees and hold proportionately few technical computing jobs. Meanwhile, the stereotype of the male “computer geek” …
As Apollo 11’s Lunar Module descended toward the moon under automatic control, a program alarm in the guidance computer’s software nearly caused a mission abort. Neil …
The Little Prover introduces inductive proofs as a way to determine facts about computer programs. It is written in an approachable, engaging style of question-and-answer, …
This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. The book focuses on techniques of …