Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science. It introduces the mathematical theory of program
The Formal Semantics of Programming Languages provides the basic mathematicaltechniques necessary for those who are beginning a study of the semantics and logics of programminglanguages. These techniq
Designed for undergraduates, An Introduction to High-Performance Scientific Computing assumes a basic knowledge of numerical computation and proficiency in Fortran or C programming and can be used in
The Structure of Typed Programming Languages describes the fundamental syntactic andsemantic features of modern programming languages, carefully spelling out their impacts on languagedesign. Using cla
Concurrent Constraint Programming introduces a new and rich class of programming languages based on the notion of computing with partial information, or constraints, that synthesize and extend work on
Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic programs as grammars an
Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design
A completely revised edition, offering new design recipes for interactive programs and support for images as plain values, testing, event-driven programming, and even distributed programming.This intr
Addressed to readers at different levels of programming expertise, The Practice of Prolog offers a departure from current books that focus on small programming examples requiring additional instructio
In recent years, object-oriented programming has emerged as the dominant computer programming style, and object-oriented languages such as C++ and Java enjoy wide use in academia and industry. This te
This series is for people—adults and teenagers—who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of com
This series is for people—adults and teenagers—who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an exploration of com
This series is for people—adults and teenagers—who are interested in computer programming because it's fun. The three volumes use the Logo programming language as the vehicle for an explo
In 1925-26, the late Max Born gave two sets of lectures at M.I.T., one on thestructure of the atom, the other on the lattice theory of rigid bodies. Problems of Atomic Dynamicscontains the text of bot
This second edition of Basic Data of Plasma Physics is, in essence, a new book, for several reasons. First, so voluminous have been the research results in this area since the first edition of 1959 th
A new edition of the essential text and professional reference, with substantial newmaterial on such topics as vEB trees, multithreaded algorithms, dynamic programming, and edge-baseflow.
The research reported in this book fulfills both a general and a specific purpose. Linear programming models are developed in order to improve the process of planning for economic development, both sh
This book takes a single line of code--the extremely concise BASIC program for theCommodore 64 inscribed in the title--and uses it as a lens through which to consider the phenomenonof creative computi
How the basic concepts of economics -- including markets, institutions, and money -- can be used to create and analyze economies based on virtual goods.In the twenty-first-century digital world, virtu
The philosophy of deep ecology originated in the 1970s with the Norwegian philosopherArne Naess and has since spread around the world. Its basic premises are a belief in the intrinsicvalue of nonhuman
John Templer has written the first theoretical, historical, and scientific analysis of one of the most basic and universal building elements: the stair. Together, these two volumes present a detailed
For the first time in human history we are altering the basic physiology of the planet, yet until now there has been no single source that summarizes the medical consequences of this environmental cri
Connections and Symbols provides the first systematic analysis of the explosive newfield of Connectionism that is challenging the basic tenets of cognitive science.
This basic text presents a step-by-step impact evaluation methodology that can beused by students and administrators without prior exposure to the field. The treatment isnontechnical and sparing in it
The significance of panorama painting in the nineteenth century is frequently cited in contemporary debates about visuality and the emergence of the modern spectator. Stephan Oettermann's The Panoram
How the social and political differences between France and Germany contributed to the success or failure of recent antinuclear movements. Broadly based antinuclear movements made their voices heard
A basic text on the theoretical foundations of information theory, for graduate students and engineers interested in electrical communications and for others seeking a general introduction to the fiel
A symposium on noise, stressing mathematical theory and basic physical phenomena, and covering such topics as cathode noise phenomena, signal amplification in microwave tubes, solid-state noise, and m
With wit and thoughtful compassion, Richard Meehan presents one of the most perplexing of contemporary moral predicaments, one that arises in every attempt to assess potentially hazardous technologies
Foreword by Bjarne Stroustrup Software is generally acknowledged to be the single greatest obstacle preventing mainstream adoption of massively-parallel computing. While sequential applications are ro
This book brings together the most important contributions to its development to date, focusing in particular on how advances in type systems and semantic models can contribute to new language designs
At the heart of medical history is a deep enigma.The true structure and workings ofthe human body are, we casually assume, everywhere the same, a universal reality. But then we lookinto the past, and
Recent progress in VLSI provides massive parallelism but general purpose parallel computers remain elusive due to limited communications performance. This book proposes a new high level approach to pr
How information can make us happy or miserable, and why we sometimes avoid it and sometimes seek it out.How much information is too much? Do we need to know how many calories are in the giant vat of p
An introductory engineering textbook by an award-winning MIT professor that covers the history of dynamics and the dynamical analyses of mechanical, electrical, and electromechanical systems. This i
A panoramic view of gay rights, gay life, and the gay experience around the world.In Global Gay, Frédéric Martel visits more than fifty countries and documents a revolution underway around the world:
An accessible introduction to an exciting new area in computation, explaining such topics as qubits, entanglement, and quantum teleportation for the general reader.Quantum computing is a beautiful fus
An investigation of the syntax and semantics of wh-questions through the lens of intervention effects, offering a new proposal on overt and covert wh-movement. In this book, Hadas Kotek investigates
How the planet's two largest greenhouse gas emitters navigate climate policy. The United States and China together account for a disproportionate 45 percent of global carbon dioxide emissions. In 20
Converging and diverging views on the mind, the self, consciousness, the unconscious, free will, perception, meditation, and other topics.Buddhism shares with science the task of examining the mind em