Dieter Hutter's Books

Mechanizing Mathematical Reasoning

Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

By: Dieter Hutter

Write a review Read reviews Take a Quiz Solve Book Puzzle

Mechanizing Mathematical Reasoning

Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

By: Dieter Hutter

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

573

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540250514

ISBN 13

9783540250517

Rippling: Meta-Level Guidance for Mathematical Reasoning

By: Alan Bundy

Write a review Read reviews Take a Quiz Solve Book Puzzle

Rippling: Meta-Level Guidance for Mathematical Reasoning

By: Alan Bundy

Rippling is a radically new technique for the automation of mathematical reasoning. It is widely applicable whenever a goal is to be proved from one or more syntactically similar givens. It was originally developed for inductive proofs, where the goal was the induction conclusion and the givens were the induction hypotheses. It has proved to be applicable to a much wider class of tasks, from summing series via analysis to general equational reasoning. The application to induction has especially important practical implications in the building of dependable IT systems, and provides solutions to issues such as the problem of combinatorial explosion. Rippling is the first of many new search control techniques based on formula annotation; some additional annotated reasoning techniques are also described here. This systematic and comprehensive introduction to rippling, and to the wider subject of automated inductive theorem proving, will be welcomed by researchers and graduate students alike.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

224

Publisher

Cambridge University Press

Published Date

ISBN 10

052183449X

ISBN 13

9780521834490

Materials with Memory

Initial-Boundary Value Problems for Constitutive Equations with Internal Variables

By: Hans-Dieter Alber

Write a review Read reviews Take a Quiz Solve Book Puzzle

Materials with Memory

Initial-Boundary Value Problems for Constitutive Equations with Internal Variables

By: Hans-Dieter Alber

This book contributes to the mathematical theory of systems of differential equations consisting of the partial differential equations resulting from conservation of mass and momentum, and of constitutive equations with internal variables. The investigations are guided by the objective of proving existence and uniqueness, and are based on the idea of transforming the internal variables and the constitutive equations. A larger number of constitutive equations from the engineering sciences are presented. The book is therefore suitable not only for specialists, but also for mathematicians seeking for an introduction in the field, and for engineers with a sound mathematical background.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

172

Publisher

Springer

Published Date

ISBN 10

354069689X

ISBN 13

9783540696896

Social Movements

A Theoretical Approach

By: Dieter Rucht

Write a review Read reviews Take a Quiz Solve Book Puzzle

Social Movements

A Theoretical Approach

By: Dieter Rucht

In Social Movements: A Theoretical Approach, Dieter Rucht offers a theoretically and historically informed approach to social movements as a phenomenon of modern societies. He links the analysis of social movements to general theories of society and processes of social change, and combines three basic perspectives: interactionist, constructivist, and process-oriented (ICP-approach). Drawing mainly on ideas from Jürgen Habermas, Pierre Bourdieu, and Anthony Giddens, Rucht recommends several revisions and highlights the important role of the public sphere as the central stage for social movements. He argues that it is a realm in its own right and the major domain in which social movements make themselves seen and heard, garner support, and possibly succeed in changing basic societal structures. This comprehensive treatise analyzes the external and internal activities of social movements, the role of different kinds of opportunities and restrictions, collective identities and framing, organizing, networking, and strategizing. It lucidly examines the complexity of social movements that have a status as both actors and systems, and whose logic cannot be reduced to either strategic or communicative action.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

525

Publisher

Oxford University Press

Published Date

ISBN 10

0198877420

ISBN 13

9780198877424

Methods for the Quantitative Assessment of Channel Processes in Torrents (Steep Streams)

By: Dieter Rickenmann

Write a review Read reviews Take a Quiz Solve Book Puzzle

Methods for the Quantitative Assessment of Channel Processes in Torrents (Steep Streams)

By: Dieter Rickenmann

An important part of the risk management of natural hazards in mountain regions concerns the hazard assessment and the planning of protection measures in steep headwater catchments, i.e. torrent control and slope stabilization. Torrent processes in steep channels have their rightful place among the various alpine natural hazards and the correspondi

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

150

Publisher

CRC Press

Published Date

ISBN 10

1498776620

ISBN 13

9781498776622

Applications of Quantum Dynamics in Chemistry

By: Fabien Gatti,Benjamin Lasorne,Hans-Dieter Meyer,André Nauts

Write a review Read reviews Take a Quiz Solve Book Puzzle

Applications of Quantum Dynamics in Chemistry

By: Fabien Gatti,Benjamin Lasorne,Hans-Dieter Meyer,André Nauts

This book explains the usage and application of Molecular Quantum Dynamics, the methodology where both the electrons and the nuclei in a molecule are treated with quantum mechanical calculations. This volume of Lecture Notes in Chemistry addresses graduate students and postdocs in the field of theoretical chemistry, as well as postgraduate students, researchers and teachers from neighboring fields, such as quantum physics, biochemistry, biophysics, or anyone else who is interested in this rising method in theoretical chemistry, and who wants to gain experience in the opportunities it can offer. It can also be useful for teachers interested in illustrative examples of time-dependent quantum mechanics as animations of realistic wave packets have been designed to assist in visualization. Assuming a basic knowledge about quantum mechanics, the authors link their explanations to recent experimental investigations where Molecular Quantum Dynamics proved successful and necessary for the understanding of the experimental results. Examples including reactive scattering, photochemistry, tunneling, femto- and attosecond chemistry and spectroscopy, cold chemistry or crossed-beam experiments illustrate the power of the method. The book restricts complicated formalism to the necessary and in a self-contained and clearly explained way, offering the reader an introduction to, and instructions for, practical exercises. Continuative explanation and math are optionally supplemented for the interested reader. The reader learns how to apply example simulations with the MCTDH program package (Multi Configuration Time Dependent Hartree calculations). Readers can thus obtain the tools to run their own simulations and apply them to their problems. Selected scripts and program code from the examples are made available as supplementary material. This book bridges the gap between the existing textbooks on fundamental theoretical chemistry and research monographs focusing on sophisticated applications. It is a must-read for everyone who wants to gain a sound understanding of Molecular Quantum Dynamics simulations and to obtain basic experience in running their own simulations.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

437

Publisher

Springer

Published Date

ISBN 10

331953923X

ISBN 13

9783319539232

Laser Processing and Chemistry

By: Dieter Bäuerle

Write a review Read reviews Take a Quiz Solve Book Puzzle

Laser Processing and Chemistry

By: Dieter Bäuerle

Laser Processing and Chemistry gives an overview of the fundamentals and applications of laser-matter interactions, in particular with regard to laser material processing. Special attention is given to laser-induced physical and chemical processes at gas-solid, liquid-solid, and solid-solid interfaces. Starting with the background physics, the book proceeds to examine applications of laser techniques in micro-machining, and the patterning, coating, and modification of material surfaces. This fourth edition has been revised and enlarged to cover new topics such as 3D microfabrication, advances in nanotechnology, ultrafast laser technology and laser chemical processing (LCP). Graduate students, physicists, chemists, engineers, and manufacturers alike will find this book an invaluable reference work on laser processing.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

846

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3642176135

ISBN 13

9783642176135

The Rise of Reptiles

320 Million Years of Evolution

By: Hans-Dieter Sues

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Rise of Reptiles

320 Million Years of Evolution

By: Hans-Dieter Sues

The defining masterwork on the evolution of reptiles. Over 300 million years ago, an early land vertebrate developed an egg that contained the embryo in an amnion, allowing it to be deposited on land. This moment marked the first step in the fascinating and complex evolutionary journey of the reptiles. In The Rise of Reptiles, paleontologist Hans-Dieter Sues explores the diversity of reptilian lineages, discussing the relationships among turtles, crocodylians, lizards and snakes, and many extinct groups. Reflecting the tremendous advances in the study of reptilian diversity and phylogeny over recent decades, this book is the first detailed, contemporary synthesis of the evolutionary history of these remarkable animals. Reptiles have always confused taxonomists, who have endlessly debated and rewritten their classifications. In this book, Sues adopts an explicitly phylogenetic framework to sift through the evidence and discuss the origin and diversification of Reptilia in a way no one has before. He also examines the genealogical link between dinosaurs and birds and sheds new light on the Age of Reptiles, a period that saw the rise and fall of most dinosaurs. With this single meticulously researched volume, Sues paints a complete portrait of reptilian evolution. Numerous photographs of key specimens from around the world introduce readers to the reptilian fossil record, and color images of present-day reptiles illustrate their diversity. The extensive bibliography provides an invaluable guide for readers who are interested in exploring individual topics more deeply. Accurate, synthetic, and sweeping, The Rise of Reptiles is the definitive work on the subject.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

401

Publisher

JHU Press

Published Date

ISBN 10

1421428687

ISBN 13

9781421428680

Computer Security – ESORICS 2006

11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings

By: Dieter Gollmann,Jan Meier

Write a review Read reviews Take a Quiz Solve Book Puzzle

Computer Security – ESORICS 2006

11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings

By: Dieter Gollmann,Jan Meier

This book constitutes the refereed proceedings of the 11th European Symposium on Research in Computer Security, ESORICS 2006. The 32 revised full papers presented were carefully reviewed and selected from 160 submissions. ESORICS is confirmed as the European research event in computer security; it presents original research contributions, case studies and implementation experiences addressing any aspect of computer security - in theory, mechanisms, applications, or practical experience.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

558

Publisher

Springer Science & Business Media

Published Date

ISBN 10

354044601X

ISBN 13

9783540446019

Hepatology, Principles and Practice

History, Morphology, Biochemistry, Diagnostics, Clinic, Therapy

By: Erwin Kuntz,Hans-Dieter Kuntz

Write a review Read reviews Take a Quiz Solve Book Puzzle

Hepatology, Principles and Practice

History, Morphology, Biochemistry, Diagnostics, Clinic, Therapy

By: Erwin Kuntz,Hans-Dieter Kuntz

Hepatology -- a systematic overview The 1st edition was sold out within one year and a reprint became necessary. The 2nd edition has been updated, revised and extended to include some 900 pages. Unique - 477 top-quality coloured figures containing clinical and immunological findings, laparoscopic and and histologic features as well as imaging procedures - all figures directly integrated in the respective text; this results in a new form of learning from "seeing" to "understanding" Attractive - 306 tables in colour - coloured highlighting of important principles and statements for better reading - well-structured and systematic approaches support the content - derived from clinical hepatology for practical use by specialists and in hospital Instructive - detailed presentation of morphology and its integration in liver disease - precise recommendations for therapy and summarized descriptions of special forms of treatment (inlcuding a separate chapter on "Therapy" Manual - about 7,000 references are listed in full; quotations of significant historical publications - first authors of therapy procedures, methods, medical techniques and invasive measures are given as far as possible - comprehensive subject index and register of abbreviations

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

902

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540289771

ISBN 13

9783540289777

Environmental Organic Chemistry

By: René P. Schwarzenbach,Philip M. Gschwend,Dieter M. Imboden

Write a review Read reviews Take a Quiz Solve Book Puzzle

Environmental Organic Chemistry

By: René P. Schwarzenbach,Philip M. Gschwend,Dieter M. Imboden

Environmental Organic Chemistry focuses on environmental factors that govern the processes that determine the fate of organic chemicals in natural and engineered systems. The information discovered is then applied to quantitatively assessing the environmental behaviour of organic chemicals. Now in its 2nd edition this book takes a more holistic view on physical-chemical properties of organic compounds. It includes new topics that address aspects of gas/solid partitioning, bioaccumulation, and transformations in the atmosphere. Structures chapters into basic and sophisticated sections Contains illustrative examples, problems and case studies Examines the fundamental aspects of organic, physical and inorganic chemistry - applied to environmentally relevant problems Addresses problems and case studies in one volume

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

1329

Publisher

John Wiley & Sons

Published Date

ISBN 10

0471743992

ISBN 13

9780471743996

Hepatology

Textbook and Atlas

By: Erwin Kuntz,Hans-Dieter Kuntz

Write a review Read reviews Take a Quiz Solve Book Puzzle

Hepatology

Textbook and Atlas

By: Erwin Kuntz,Hans-Dieter Kuntz

History, Morphology, Biochemistry, Diagnostics, Clinic, Therapy

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

944

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540768394

ISBN 13

9783540768395

Peripheral Arterial Disease

By: Robert S. Dieter,Raymond A. Dieter

Write a review Read reviews Take a Quiz Solve Book Puzzle

Peripheral Arterial Disease

By: Robert S. Dieter,Raymond A. Dieter

Market: Cardiologists, Vascular Specialists, Vascular Surgeons, Hematologists, Internists, Family Physicians, Rheumatologists More than 500 color charts and tables Includesw an entire section on diagnostic imaging modalities

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

1105

Publisher

McGraw Hill Professional

Published Date

ISBN 10

0071641203

ISBN 13

9780071641203

Mechanizing Mathematical Reasoning

Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

By: Dieter Hutter,Werner Stephan

Write a review Read reviews Take a Quiz Solve Book Puzzle

Mechanizing Mathematical Reasoning

Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

By: Dieter Hutter,Werner Stephan

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

573

Publisher

Springer

Published Date

ISBN 10

354032254X

ISBN 13

9783540322542

Security in Pervasive Computing

Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings

By: Dieter Hutter,Markus Ullmann

Write a review Read reviews Take a Quiz Solve Book Puzzle

Security in Pervasive Computing

Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings

By: Dieter Hutter,Markus Ullmann

This book constitutes the refereed proceedings of the Second International Conference on Security in Pervasive Computing, SPC 2005, held in Boppard, Germany in April 2005. The 14 revised full papers and 3 revised short papers presented together with abstracts of 5 invited talks were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on smart devices and applications, authentication, privacy and anonymity, and access control and information flow.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

249

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540255214

ISBN 13

9783540255215

Book's by Dieter Hutter

Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning

Rippling: Meta-Level Guidance for Mathematical Reasoning

Rippling: Meta-Level Guidance for Mathematical Reasoning

Materials with Memory

Materials with Memory

Social Movements

Social Movements

Methods for the Quantitative Assessment of Channel Processes in Torrents (Steep Streams)

Methods for the Quantitative Assessment of Channel Processes in Torrents (Steep Streams)

Applications of Quantum Dynamics in Chemistry

Applications of Quantum Dynamics in Chemistry

Laser Processing and Chemistry

Laser Processing and Chemistry

The Rise of Reptiles

The Rise of Reptiles

Computer Security – ESORICS 2006

Computer Security – ESORICS 2006

Hepatology, Principles and Practice

Hepatology, Principles and Practice

Environmental Organic Chemistry

Environmental Organic Chemistry

Hepatology

Hepatology

Peripheral Arterial Disease

Peripheral Arterial Disease

Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning

Security in Pervasive Computing

Security in Pervasive Computing

Username

Password

Username

Password

Password again

Birthday

Email