Fundamentals of Python programming

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

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,

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

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.

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

In Between Facts and Norms Jurgen Habermas works out the legal and politicalimplications of his Theory of Communicative Action (1981), bringing to fruition the projectannounced with his publication of The Structural Transformation of the Public Sphere in 1962. Thisnew work is a major contribution to recent debates on the rule of law and the possibilities ofdemocracy in postindustrial societies, but it is much more.The introduction by William Rehgsuccinctly captures the special nature of the work, noting that it offers a sweeping, sociologicallyinformed conceptualization of law and basic rights, a normative account of the rule of law and theconstitutional state, an attempt to bridge normative and empirical approaches to democracy, and anaccount of the social context required for democracy. Finally, the work frames and caps thesearguments with a bold proposal for a new paradigm of law that goes beyond the dichotomies that haveafflicted modern political theory from its inception and that

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

Clause Offe, one of the most insightful contemporary theorists of society and politics, has contributed greatly to our understanding of social policy and the odyssey of advanced capitalism in the lat

Max Horkheimer (1895-1973), one of the founders of critical theory and a sometimecolleague of Herbert Marcuse, Theodor Adorno, and Walter Benjamin, has become a subject of renewedattention and appreci

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

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

This book uses the methodology of artificial intelligence to investigate the phenomena of visual motion perception: how the visual system constructs descriptions of the environment in terms of objects

From the Preface: This book represents the implementation of a decision adopted by the Council of the National Academy of Sciences relating to the celebration of the 500th anniversary of the birth of

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

In America today the debate over the censorship of pornography continues to call into question the values of a modern, democratic culture. The Invention of Pornography, a groundbreaking collection of

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