Skip navigation

Computer Science and Intelligent Systems

Computer Science and Intelligent Systems

  •  
  • Page 1 of 90

This book introduces programming to readers with a background in the arts and humanities; there are no prerequisites, and no knowledge of computation is assumed. In it, Nick Montfort reveals programming to be not merely a technical exercise within given constraints but a tool for sketching, brainstorming, and inquiring about important topics. He emphasizes programming’s exploratory potential—its facility to create new kinds of artworks and to probe data for new ideas.

The third edition of Java Precisely provides a concise description of the Java programming language, version 8.0. It offers a quick reference for the reader who has already learned (or is learning) Java from a standard textbook and who wants to know the language in more detail. The book presents the entire Java programming language and essential parts of the class libraries: the collection classes, the input-output classes, the stream libraries and Java 8’s facilities for parallel programming, and the functional interfaces used for that.

On Software and Sovereignty

What has planetary-scale computation done to our geopolitical realities? It takes different forms at different scales—from energy and mineral sourcing and subterranean cloud infrastructure to urban software and massive universal addressing systems; from interfaces drawn by the augmentation of the hand and eye to users identified by self—quantification and the arrival of legions of sensors, algorithms, and robots. Together, how do these distort and deform modern political geographies and produce new territories in their own image?
 

The BBC Micro

In 1982, the British Broadcasting Corporation launched its Computer Literacy Project, intended “to introduce interested adults to the world of computers and computing.” The BBC accompanied this initiative with television programs, courses, books, and software—an early experiment in multi-platform education. The BBC, along with Acorn Computers, also introduced the BBC Microcomputer, which would be at the forefront of the campaign.

Ecosystems of Bits, Bytes, and Biology

The relationship of humans to computers can no longer be represented as one person in a chair and one computer on a desk. Today computing finds its way into our pockets, our cars, our appliances; it is ubiquitous—an inescapable part of our everyday lives. Computing is even expanding beyond our devices; sensors, microcontrollers, and actuators are increasingly embedded into the built environment. In Architectural Robotics, Keith Evan Green looks toward the next frontier in computing: interactive, partly intelligent, meticulously designed physical environments.

If only today’s technology were simpler! It’s the universal lament, but it’s wrong. In this provocative and informative book, Don Norman writes that the complexity of our technology must mirror the complexity and richness of our lives. It’s not complexity that’s the problem, it’s bad design. Bad design complicates things unnecessarily and confuses us. Good design can tame complexity.

Evidence-Based Social Design

Online communities are among the most popular destinations on the Internet, but not all online communities are equally successful. For every flourishing Facebook, there is a moribund Friendster—not to mention the scores of smaller social networking sites that never attracted enough members to be viable. This book offers lessons from theory and empirical research in the social sciences that can help improve the design of online communities.

Logic, Language, and Analysis

In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach—which Jackson calls “lightweight formal methods” or “agile modeling”—takes from formal specification the idea of a precise and expressive notation based on a tiny core of simple and robust concepts but replaces conventional analysis based on theorem proving with a fully automated analysis that gives designers immediate feedback.

Making and Remaking the Modern Computer

Conceived in 1943, completed in 1945, and decommissioned in 1955, ENIAC (the Electronic Numerical Integrator and Computer) was the first general-purpose programmable electronic computer. But ENIAC was more than just a milestone on the road to the modern computer.

Designing Secure Socio-Technical Systems

Security requirements engineering is especially challenging because designers must consider not just the software under design but also interactions among people, organizations, hardware, and software. Taking this broader perspective means designing a secure socio-technical system rather than a merely technical system. This book presents a novel, model-driven approach to designing secure socio-technical systems.

  •  
  • Page 1 of 90