Originally published as: The long revolution.A history of how India became a major player in the global technology industry, mapping technological, economic, and political transformations.OCLC-licensed vendor bibliographic record.
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, empha…
"This is a renaissance moment for video games--in the variety of genres they represent, and the range of emotional territory they cover. But how do games create emotion? In How Games Move Us, Katherine Isbister takes the reader on a timely and novel exploration of the design techniques that evoke strong emotions for players. She counters arguments that games are creating a generation of isolate…
Report from the OpenNet Initiative.Internet filtering, censorship of Web content, and online surveillance are increasing in scale, scope, and sophistication around the world, in democratic countries as well as in authoritarian states. The first generation of Internet controls consisted largely of building firewalls at key Internet gateways; China's famous "Great Firewall of China" is one of the…
An overview of emerging topics, theories, methods, and practices in sonic interactive design, with a focus on the multisensory aspects of sonic experience.OCLC-licensed vendor bibliographic record.
In this book, the author argues that in embarking on an unprecedented effort to build surveillance capabilities deeply into communications infrastructure, the U.S. government is opting for short-term security and creating dangerous long-term risks. Landau describes what makes communications security hard, warrantless wiretapping and the role of electronic surveillance in the war on terror, the …
An analysis of the ways that software creates new spatialities in everyday life, from supermarket checkout lines to airline flight paths.OCLC-licensed vendor bibliographic record.
Today--following housing bubbles, bank collapses, and high unemployment--the Internet remains the most reliable mechanism for fostering innovation and creating new wealth. The Internet's remarkable growth has been fueled by innovation. In this pathbreaking book, Barbara van Schewick argues that this explosion of innovation is not an accident, but a consequence of the Internet's architecture--a …
Using our moral and technical imaginations to create responsible innovations: theory, method, and applications for value sensitive design. Implantable medical devices and human dignity. Private and secure access to information. Engineering projects that transform the Earth. Multigenerational information systems for international justice. How should designers, engineers, architects, policy maker…
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 VCS was affordable and offered the flexibility of changeable cartridges. Nearly a thousand of these were created, the most significant of which established new techniques, mechanics, and even entire genres. This book offers a detailed and ac…