This book presents an extensive verification methodology for proving that reactive systems meet their specifications, expressed as safety properties in the language of temporal logic. The methods incl
Thirty-two years after the publication of the legendary 'Rasch book' (Rasch, 1960), the rich literature on the Rasch model and its extensions was scattered in journals and many less accessible sources
This paper is a greatly expanded account of the preliminary material that appeared in Atiyah & Bott (1980). Part ofthe reason for the long delay between that paper and this present version was
Knowledge of the principles and methods of petroleum sedimentology is essential for oil and gas exploration and exploitation. This book is designed as an introductory text for students in petroleum ge
Practicing neuropsychologists and students in clinical neuropsychology must increas ingly cross disciplinary boundaries to understand and appreciate the neuroanatomical, neurophysiological, and neuro
Springer is reissuing a selected few highly successful books in a new, inexpensive softcover edition to make them easily accessible to younger generations of students and researchers. Springer-Verlag
From the reviews: "Although several textbooks on modern algebraic geometry have been published in the meantime, Mumford's "Volume I" is, together with its predecessor the red book of varieties and sch
From the reviews of the second edition: "The new methods of complex manifold theory are very useful tools for investigations in algebraic geometry, complex function theory, differential operators and
This is a continuation of the subject matter discussed in the first book, with an emphasis on systems of ordinary differential equations and will be most appropriate for upper level undergraduate and
This book presents a complete summary of the major results in duality theory pioneered by Ronald W. Shephard. Building on this base, the authors present new findings including the duality relationsh
The fundamental concept of Lebesgue integration provides a basis for approaching theoretical and applied problems in mathematics, engineering, physics and many other sciences.Lebesgue Integration pres
The Collected Papers of Raoul Bott are contained in five volumes, with each volume covering a different subject and each representing approximately a decade of Bott's work. The volumes are:Volume 1: T
Descriptive set theory is the area of mathematics concerned with the study of the structure of definable sets in Polish spaces. Beyond being a central part of contemporary set theory, the concepts and
Each Oklahoma Notes book presents the core information of one segment of the medical school curriculum. Written by some of the most effective medical educators in the U.S., and now thoroughly updated
Mathematicians and non-mathematicians alike have long been fascinated by geometrical problems, particularly those that are intuitive in the sense of being easy to state, perhaps with the aid of a simp
Algebraic K-theory is a modern branch of algebra, which has many important applications in fundamental areas of mathematics connected with algebra, topology, algebraic geometry, functional analysis an
This interactive CD-ROM describes and illustrates in full colour (drawings and micrographs) more than 90 species of sea cucumbers which occur throughout the Pacific and can be seen at the Great Barrie
This monograph is devoted to computational morphology, particularly to the construction of a two-dimensional or a three-dimensional closed object boundary through a set of points in arbitrary position
Covers topics in the field of partial differential equations. Written by well-known researchers and part of a multi-volume subseries of the EMS devoted to partial differential equations, this book is
The First Nuclear Era is Alvin Weinberg's autobiography, the memoirs of a most influential American nuclear engineer/physicist. These reminiscences date from the dawning of the nuclear age in the earl
Algebra is abstract mathematics - let us make no bones about it - yet it is also applied mathematics in its best and purest form. It is not abstraction for its own sake, but abstraction for the sake o
Ancient DNA refers to DNA which can be recovered and analyzed from clinical, museum, archaeological and paleontological specimens. Ancient DNA ranges in age from less than 100 years to tens of million
Proceedings of the International Symposium on `Zinc in Soils and Plants', held at The University of Western Australia, Perth, Western Australia, 27--28 September 1993
In this book the rapidly developing field of Interior Point Methods (IPMs) is described.An extensive analysis of so-called path-following methods for linear programming, quadratic programming and conv
The book reviews, updates and integrates recent advances in the modelling and measurement of turbulent jets and plumes -- phenomena which are common to many areas of fundamental and applied scientif
Market: Scientists, engineers, and graduate students involved in the phenomenon of plasma physics. This 1966 reference work is a compilation of some of the most important plasma physics measurements p
This book is devoted to pseudo-holomorphic curve methods in symplectic geometry. It contains an introduction to symplectic geometry and relevant techniques of Riemannian geometry, proofs of Gromov's c
Essential background reading for engineers and scientists working in such fields as communications, control, signal, and image processing, radar and sonar, radio astronomy, seismology, remote sensing,
This text presents a comprehensive introduction to anextended Entity-Relationship model both on a conceptual andon a formal, mathematicallevel. In addition to theprimitives given by the data model t
Economic policy debates have devoted increasing attention to the design and implementation of policies to aid the growth of high-technology firms and industries. In the United States this focus on
In 20 contributions, this volume reviews the major approaches developed to consider the effects of time constraints, time pressure, and stress on individual decision making; explores the relevance of
In response to the emerging need to develop teachers as professionals who evaluate their own work, this book presents the foundations of self-evaluation as well as self-evaluation models and tools
Combinatorial group theory is a loosely defined subject, with close connections to topology and logic. With surprising frequency, problems in a wide variety of disciplines, including differential equa
At the age of 6, I discovered a jar of brightly colored shells under my grandmother's kitchen sink. When I inquired where they had come from, she did not answer. Instead, she told me in broken English
Aesthetics and Economics is a pioneering effort at treating aesthetics from the point of view of economic theory, and addresses the contradictions which have arisen from economists' work in this field
A textbook for a one term or semester undergraduate course in computer science, updated (from 1988) to include newer operating systems such as IBM's OS/2 and the latest hardware. Assumes a familiarity
The origins of the mathematics in this book date back more than two thou- sand years, as can be seen from the fact that one of the most important algorithms presented here bears the name of the Greek
vi the text can engender. Of course, translations by scholars of advanced standing are not a novelty in modern scholarship. The Plenum translations ofVygotsky' s texts are appearing at a moment when a
Provides a background to general principles, such as contaminant migration in soil, and specific guidelines for analysis and design of new waste contaminant facilities, remediation technologies for cl
This book deals with the theory of Kac algebras and their dual- ity, elaborated independently by M. Enock and J . -M. Schwartz, and by G. !. Kac and L. !. Vajnermann in the seventies. The sub- ject ha
