Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design
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
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
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
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
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.
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 explo
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 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
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 volume of case studies serves as a guide and reference manual for the application of engineering science fundamentals in the solution of chemical development and process design problems. The intr
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
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
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
A fascinating account, written in real time, of the unfolding of a scientific discovery: the first detection of gravitational waves.Scientists have been trying to confirm the existence of gravitationa
This anthology provides a multivocal critique of the exhibition of contemporary art,bringing together the writings of artists, curators, and theorists. Collectively these diverseperspectives are unite
A study of the labor market integration of highly skilled Soviet immigrants to Israel that formulates dynamic models of job search and human capital investment. After the collapse of the Soviet Unio
Certain ideas have preoccupied thinkers since ancient times: the nature of mind, thesources of knowledge and belief, the nature of the self, ethics and the best way to lead our lives,the question of f
An analysis of the effect of public pension schemes on a country's fertility rate and a proposal for policies to reform pension coverage in light of this. The rapidly aging populations of many devel
Exploring the thought of Mulla Sadra Shirazi, an Iranian Shi'ite of the seventeenthcentury: a universe of politics, morality, liberty, and order that is indispensable to ourunderstanding of Islamic th
More than a simple expository history, A Thousand Years of Nonlinear History sketches the outlines of a renewed materialist philosophy of history in the tradition of Fernand Braudel, Gilles Deleuze,
Ed Ruscha is among the most innovative artists of the last forty years. He is also one of the first Americans to introduce a critique of popular culture and an examination of language into the visual
This book presents in detail a pair of models of the economics of climate change. The models, called RICE-99 (for the Regional Dynamic Integrated model of Climate and the Economy) and DICE-99 (for the
The five chapters of this book collect and illustrate techniques that have beenapplied to the prediction of reliability and availability of the various specific segments of anelectric power system. Th
Suspensions of Perception decisively relocates the problem of aesthetic contemplation within a broader collective encounter with the unstable nature of perception—in psychology, philosophy, neu
The work of Alois Riegl (1858-1905) has been highly influential in art history of the modern age. Riegl, the most important member of the so-called Vienna School, developed a refined technique of vis
A common theme of this set of thirteen essays by one of the major figures in contemporary German philosophy is the idea of a postmetaphysical modernity. In his preface Wellmer relates the title of his
Passive Cooling addresses all of the existing creative energyless means of keeping buildings cool. Passive Cooling addresses all of the existing creative energyless means of keeping buildings cool.
Richard H. Day was one of the first economists to recognize the importance of complex dynamics, or chaos theory, to economics. He can justly be described as one of the originators of the now extensive
Lively, sometimes contrary policy writings by one of our leading economists. Winner of the 1998 Eccles Prize for Excellence in EconomicWritingA Stream of Windows offers a selection of Jagdish Bhagwa
In this groundbreaking work, Ariella Azoulay provides a compelling rethinking of the political and ethical status of photography. In her extraordinary account of the "civil contract" of pho
The greatest strength of this thoroughly revised and expanded edition of Lectures onInternational Trade is its rigorous algebraic and geometric treatment of the various models andresults of trade theo
The chapters of this volume evaluate models of the short-term retention of knowledge,conceptual knowledge, autobiographical knowledge, transitory mental representations, theneurobiological basis of me
Readers of Jurgen Habermas's Theory of Communicative Action and his later social theory know that the idea of communicative rationality is central to his version of critical theory. Language and Reaso
