Skip navigation


  • Page 2 of 3
Choosing Among Options

Human survival depends on a continuing supply of energy, but the need for ever-increasing amounts of it poses a dilemma: How can we find energy sources that are sustainable and ways to convert and utilize energy that are more efficient? This widely used textbook is designed for advanced undergraduate and graduate students as well as others who have an interest in exploring energy resource options and technologies with a view toward achieving sustainability on local, national, and global scales.

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.

This text offers a comprehensive treatment of VHDL and its applications to the design and simulation of real, industry-standard circuits. It focuses on the use of VHDL rather than solely on the language, showing why and how certain types of circuits are inferred from the language constructs and how any of the four simulation categories can be implemented. It makes a rigorous distinction between VHDL for synthesis and VHDL for simulation.

From Insects to Jumbo Jets

From the smallest gnat to the largest aircraft, all things that fly obey the same aerodynamic principles. In The Simple Science of Flight, Henk Tennekes investigates just how machines and creatures fly: what size wings they need, how much energy is required for their journeys, how they cross deserts and oceans, how they take off, climb, and soar. Fascinated by the similarities between nature and technology, Tennekes offers an introduction to flight that teaches by association. Swans and Boeings differ in numerous ways, but they follow the same aerodynamic principles.

This text is a guide to the foundations of method engineering, a developing field concerned with the definition of techniques for designing software systems. The approach is based on metamodeling, the construction of a model about a collection of other models. The book applies the metamodeling approach in five case studies, each describing a solution to a problem in a specific domain. Suitable for classroom use, the book is also useful as a reference for practitioners.

This text is the first comprehensive presentation of reduction semantics in one volume; it also introduces the first reliable and easy-to-use tool set for such forms of semantics. Software engineers have long known that automatic tool support is critical for rapid prototyping and modeling, and this book is addressed to the working semantics engineer (graduate student or professional language designer). The book comes with a prototyping tool suite to develop, explore, test, debug, and publish semantic models of programming languages.

Building a Modern Computer from First Principles

In the early days of computer science, the interactions of hardware, software, compilers, and operating system were simple enough to allow students to see an overall picture of how computers worked. With the increasing complexity of computer technology and the resulting specialization of knowledge, such clarity is often lost. Unlike other texts that cover only one aspect of the field, The Elements of Computing Systems gives students an integrated and rigorous picture of applied computer science, as its comes to play in the construction of a simple yet powerful computer system.


Cellular Biophysics is a quantitatively oriented basic physiology text for senior undergraduate and graduate students in bioengineering, biophysics, physiology, and neuroscience programs. It will also serve as a major reference work for biophysicists.

Technology has long played a central role in the formation of Americans' sense of selfhood. From the first canal systems through the moon landing, Americans have, for better or worse, derived unity from the common feeling of awe inspired by large-scale applications of technological prowess. American Technological Sublime continues the exploration of the social construction of technology that David Nye began in his award-winning book Electrifying America.

In this insightful and incisive essay, Eugene Ferguson demonstrates that good engineering is as much a matter of intuition and nonverbal thinking as of equations and computation. He argues that a system of engineering education that ignores nonverbal thinking will produce engineers who are dangerously ignorant of the many ways in which the real world differs from the mathematical models constructed in academic minds.

  • Page 2 of 3