This book describes reversible computing from the standpoint of the theory of automata and computing. It investigates how reversibility can be effectively utilized in computing. A reversible computing
This book is a comprehensive explanation of graph and model transformation. After a detailed introduction, including references to the historical context, the book includes detailed chapters on adhesi
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studyi
Why a book on fault-tolerant search algorithms? Searching is one of the fundamental problems in computer science. Time and again algorithmic and combinatorial issues originally studied in the context
This book presents an overview of the most fundamental aspects of the theory that underlies the Relational Database Model. As such it is self-contained though experience with formal models and abstrac
This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studyi
One must be able to say at all times - in- stead of points, straight lines, and planes - tables, chairs and beer mugs. (David Hilbert) One service mathematics has rendered the human race. It has put c
This is the second volume of a two volume collection on Structural Complexity. This volume assumes as a prerequisite knowledge about the topics treated in Volume I, but the present volume itself is ne
This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. It contains an introduction to classical graphs. Basic and ad
Developed by one of the most famous German airplane manufacturing companies at the request of Yugoslavia, the Dornier Do 22 was never adopted by the Luftwaffe and was condemned to obscurity as one of
The events of World War 2 proved beyond any doubt that the strategic bombing campaign greatly contributed to the Allies' ultimate victory over Nazi Germany. British night bombing raids and daylight ca
Altera Roma explores the confrontation of two cultures, European and Amerindian, and two empires, Spanish and Aztec. In an age of exploration and conquest, Spanish soldiers, missionaries, and merchant
This festschrift honors UCLA professor emerita Susan Downey and her meticulous scholarship on religious architecture and imagery in the Roman/Hellenistic world. The iconography of gods and goddesses,
The monograph on the WW2 German bombers Dornier Do 17 and Dornier Do 215 discusses their design, development and operational history. Each variant is specified and comprehensively described with cover
This superb monograph is devoted to the Ar 196, a shipboard reconnaissance aircraft, which became the standard aircraft of the Kriegsmarine throughout World War II.
The second volume carries on the story of the F4U Corsair by examining its development and operational service in later stages of the World War Two. By early 1944 the Corsair well proved its worth in
Gold signet rings, jet pendants or simple lace ends – all dress accessories were highly significant and meaningful objects used in everyday life in later medieval Britain. This study of archaeological
Archaeology of the Chinese Bronze Age is a synthesis of recent Chinese archaeological work on the 2nd millennium BCE--the period associated with China's first dynasties and East Asia's first "states."
Containing twelve papers from senior scholars, Visions of Tiwanaku stays true to its name by providing a platform for each scholar to present an informed view on the nature of this enigmatic place tha
This volume, the second in a series of studies on the archaeology of the Titicaca Basin, serves as an excellent springboard for broader discussions of the roles of ritual, authority, coercion, and the
Honoring Jane Buikstra's pioneering work in the development of bioarchaeological research, the essays in this volume stem from a symposium held at the annual meeting of the Society for American Archae
The origins of the book go back to an August 2007 conference where no papers were presented, only questions asked and knowledge shared about the demography, landscape, and cultural diversity of the no
