Skip navigation

Computer Science and Intelligent Systems

Computer Science and Intelligent Systems

  • Page 2 of 90

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.

The Definitive Guide

The study of business processes has emerged as a highly effective approach to coordinating an organization’s complex service- and knowledge-based activities. The growing field of business process management (BPM) focuses on methods and tools for designing, enacting, and analyzing business processes. This volume offers a definitive guide to the use of patterns, which synthesize the wide range of approaches to modeling business processes.

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.

Implementing and Evaluating Search Engines

Information retrieval is the foundation for modern search engines. This textbook offers an introduction to the core topics underlying modern search technologies, including algorithms, data structures, indexing, retrieval, and evaluation. The emphasis is on implementation and experimentation; each chapter includes exercises and suggestions for student projects. Wumpus—a multiuser open-source information retrieval system developed by one of the authors and available online—provides model implementations and a basis for student work.

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.

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.

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.

  • Page 2 of 90