Hartmut Brauer's Books

Fundamentals of Algebraic Graph Transformation

By: Hartmut Ehrig,Karsten Ehrig,Ulrike Prange,Gabriele Taentzer

Write a review Read reviews Take a Quiz Solve Book Puzzle

Fundamentals of Algebraic Graph Transformation

By: Hartmut Ehrig,Karsten Ehrig,Ulrike Prange,Gabriele Taentzer

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 advanced results are first shown for an abstract form of replacement systems and are then instantiated to several forms of graph and Petri net transformation systems. The book develops typed attributed graph transformation and contains a practical case study.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

383

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540311882

ISBN 13

9783540311881

Imagery Synergetics

Science of Cooperation

By: Peter J. Plath,Ernst-Christoph Haß,Hartmut Linde

Write a review Read reviews Take a Quiz Solve Book Puzzle

Imagery Synergetics

Science of Cooperation

By: Peter J. Plath,Ernst-Christoph Haß,Hartmut Linde

This text will be replaced by the correThis book is aimed to a broad audience of researchers and students who are interested in questions of structure formation in complex systems in nature and society. When we think of synergetics, impressive images of complex structures immediately come to mind. Such images serve us as starting point and guide for understanding structure formation in chemical, biological, physical, geological, and social systems. Many fascinating pictures of new experimental results illustrate the imagery of synergetics and at the same time enable precise statements about the underlying laws based on precise and discussed measurements. In this way, for example, the famous Runge pictures are accessible to a physico-chemical description, and it turns out that the well-known disintegration of the beer foam satisfies a consecutive kinetics with feedback. The modeling by means of cellular automata and iterated function systems enables us to study the cooperative character of pattern formation on sea shells on the one hand but also to show that creativity is a cooperative effect.ct back cover text / information text as soon as we get it.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

414

Publisher

Springer Nature

Published Date

ISBN 10

3030956075

ISBN 13

9783030956073

Fundamentals of Algebraic Specification 2

Module Specifications and Constraints

By: Hartmut Ehrig,Bernd Mahr

Write a review Read reviews Take a Quiz Solve Book Puzzle

Fundamentals of Algebraic Specification 2

Module Specifications and Constraints

By: Hartmut Ehrig,Bernd Mahr

Since the early seventies concepts of specification have become central in the whole area of computer science. Especially algebraic specification techniques for abstract data types and software systems have gained considerable importance in recent years. They have not only played a central role in the theory of data type specification, but meanwhile have had a remarkable influence on programming language design, system architectures, arid software tools and environments. The fundamentals of algebraic specification lay a basis for teaching, research, and development in all those fields of computer science where algebraic techniques are the subject or are used with advantage on a conceptual level. Such a basis, however, we do not regard to be a synopsis of all the different approaches and achievements but rather a consistently developed theory. Such a theory should mainly emphasize elaboration of basic concepts from one point of view and, in a rigorous way, reach the state of the art in the field. We understand fundamentals in this context as: 1. Fundamentals in the sense of a carefully motivated introduction to algebraic specification, which is understandable for computer scientists and mathematicians. 2. Fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs. 3. Fundamentals in the sense of concepts from computer science, which are introduced on a conceptual level and formalized in mathematical terms.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

460

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540517995

ISBN 13

9783540517993

Positron Annihilation in Semiconductors

Defect Studies

By: Reinhard Krause-Rehberg,Hartmut S. Leipner

Write a review Read reviews Take a Quiz Solve Book Puzzle

Positron Annihilation in Semiconductors

Defect Studies

By: Reinhard Krause-Rehberg,Hartmut S. Leipner

This comprehensive book reports on recent investigations of lattice imperfections in semiconductors by means of positron annihilation. It reviews positron techniques, and describes the application of these techniques to various kinds of defects, such as vacancies, impurity vacancy complexes and dislocations.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

408

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540643710

ISBN 13

9783540643715

Fundamentals of Algebraic Specification 1

Equations and Initial Semantics

By: Hartmut Ehrig,Bernd Mahr

Write a review Read reviews Take a Quiz Solve Book Puzzle

Fundamentals of Algebraic Specification 1

Equations and Initial Semantics

By: Hartmut Ehrig,Bernd Mahr

The aim of this book is to present fundamentals of algebraic specifications with respect to the following three aspects: fundamentals in the sense of a carefully motivated introduction to algebraic specifications, which is easy to understand for computer scientists and mathematicians; fundamentals in the sense of mathematical theories which are the basis for precise definitions, constructions, results, and correctness proofs; and fundamentals in the sense of concepts, which are introduced on a conceptual level and formalized in mathematical terms. The book is equally suitableas a text book for graduate courses and as a reference for researchers and system developers.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

333

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3642699626

ISBN 13

9783642699627

Integration of Software Specification Techniques for Applications in Engineering

Priority Program SoftSpez of the German Research Foundation (DFG). Final Report

By: Hartmut Ehrig

Write a review Read reviews Take a Quiz Solve Book Puzzle

Integration of Software Specification Techniques for Applications in Engineering

Priority Program SoftSpez of the German Research Foundation (DFG). Final Report

By: Hartmut Ehrig

This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004. The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

638

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3540231358

ISBN 13

9783540231356

Graph and Model Transformation

General Framework and Applications

By: Hartmut Ehrig,Claudia Ermel,Ulrike Golas,Frank Hermann

Write a review Read reviews Take a Quiz Solve Book Puzzle

Graph and Model Transformation

General Framework and Applications

By: Hartmut Ehrig,Claudia Ermel,Ulrike Golas,Frank Hermann

This book is a comprehensive explanation of graph and model transformation. It contains a detailed introduction, including basic results and applications of the algebraic theory of graph transformations, and references to the historical context. Then in the main part the book contains detailed chapters on M-adhesive categories, M-adhesive transformation systems, and multi-amalgamated transformations, and model transformation based on triple graph grammars. In the final part of the book the authors examine application of the techniques in various domains, including chapters on case studies and tool support. The book will be of interest to researchers and practitioners in the areas of theoretical computer science, software engineering, concurrent and distributed systems, and visual modelling.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

468

Publisher

Springer

Published Date

ISBN 10

366247980X

ISBN 13

9783662479803

Chaos and Fractals

New Frontiers of Science

By: Heinz-Otto Peitgen,Hartmut Jürgens,Dietmar Saupe

Write a review Read reviews Take a Quiz Solve Book Puzzle

Chaos and Fractals

New Frontiers of Science

By: Heinz-Otto Peitgen,Hartmut Jürgens,Dietmar Saupe

For almost ten years chaos and fractals have been enveloping many areas of mathematics and the natural sciences in their power, creativity and expanse. Reaching far beyond the traditional bounds of mathematics and science to the realms of popular culture, they have captured the attention and enthusiasm of a worldwide audience. The fourteen chapters of the book cover the central ideas and concepts, as well as many related topics including, the Mandelbrot Set, Julia Sets, Cellular Automata, L-Systems, Percolation and Strange Attractors, and each closes with the computer code for a central experiment. In the two appendices, Yuval Fisher discusses the details and ideas of fractal image compression, while Carl J.G. Evertsz and Benoit Mandelbrot introduce the foundations and implications of multifractals.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

1013

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1475747403

ISBN 13

9781475747409

Neurosurgery of Arteriovenous Malformations and Fistulas

A Multimodal Approach

By: Robert Schmid-Elsaesser,Alexander Muacevic,Hartmut Brückmann,Berndt Wowra

Write a review Read reviews Take a Quiz Solve Book Puzzle

Neurosurgery of Arteriovenous Malformations and Fistulas

A Multimodal Approach

By: Robert Schmid-Elsaesser,Alexander Muacevic,Hartmut Brückmann,Berndt Wowra

Arteriovenous malformations (AVM) and arteriovenous fistulas (AVF) differ from all other pathology affecting the central nervous system by their high-flow arteriovenous shunts. Permanent occlusion of these shunts is the essence and the challenge of therapy. Endovascular therapy and radiosurgery became accepted alternatives or adjuncts to surgery. In many instances the choice of the primary therapeutic modality is not clear and arguments can be found for several options. However, microsurgery, endovascular therapy and radiosurgery differ very much with regard to invasiveness, length of stay at the hospital but also residual risk after therapy. The emerging treatment concepts are the object of this book. The result is a unique structured presentation of AVM and AVF therapy.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

475

Publisher

Springer Science & Business Media

Published Date

ISBN 10

3709161630

ISBN 13

9783709161630

The Goethe-Medal for Art and Science

By: Hartmut Heyck

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Goethe-Medal for Art and Science

By: Hartmut Heyck

History of the "Goethe Medaille für Kunst und Wissenschaft" ("Goethe Medal for Art and Science")which was awarded by President Hindenburg and Chancellor Hitler between 1932-1944, including the listing of 601 recipients together with their life dates and occupations.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

Publisher

Lulu.com

Published Date

ISBN 10

0981218202

ISBN 13

9780981218205

Rowland and Tozer's Clinical Pharmacokinetics and Pharmacodynamics: Concepts and Applications

By: Hartmut Derendorf,Stephan Schmidt

Write a review Read reviews Take a Quiz Solve Book Puzzle

Rowland and Tozer's Clinical Pharmacokinetics and Pharmacodynamics: Concepts and Applications

By: Hartmut Derendorf,Stephan Schmidt

Updated with the latest clinical advances, Rowland and Tozer’s Clinical Pharmacokinetics and Pharmacodynamics, Fifth Edition , explains the relationship between drug administration and drug response, taking a conceptual approach that emphasizes clinical application rather than science and mathematics. Bringing a real-life perspective to the topic, the book simplifies concepts and gives readers the knowledge they need to better evaluate drug applications.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

1334

Publisher

Lippincott Williams & Wilkins

Published Date

ISBN 10

1496385896

ISBN 13

9781496385895

Graph Grammars and Their Application to Computer Science

4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings

By: Hartmut Ehrig,Hans-Jörg Kreowski

Write a review Read reviews Take a Quiz Solve Book Puzzle

Graph Grammars and Their Application to Computer Science

4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings

By: Hartmut Ehrig,Hans-Jörg Kreowski

This volume contains papers selected from the contributions to the 4th International Workshop on Graph Grammars and Their Application to Computer Science. It is intended to provide a rich source of information on the stateof the art and newest trends to researchers active in the area and for scientists who would like to know more about graph grammars. The topics of the papers range from foundations through algorithmic and implemental aspects to various issues that arise in application areas like concurrent computing, functional and logic programming, software engineering, computer graphics, artificial intelligence and biology. The contributing authors are F.-J. Brandenburg, H. Bunke, T.C. Chen, M. Chytil, B. Courcelle, J. Engelfriet, H. G|ttler, A. Habel, D. Janssens, C. Lautemann, B. Mayoh, U. Montanari, M. Nagl, F. Parisi-Presicci, A. Paz, P. Prusinkiewics, M.R. Sleep, A. Rosenfeld, J. Winkowski and others.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

724

Publisher

Springer Science & Business Media

Published Date

ISBN 10

354054478X

ISBN 13

9783540544784

Fractals for the Classroom

Part One Introduction to Fractals and Chaos

By: Heinz-Otto Peitgen,Hartmut Jürgens,Dietmar Saupe

Write a review Read reviews Take a Quiz Solve Book Puzzle

Fractals for the Classroom

Part One Introduction to Fractals and Chaos

By: Heinz-Otto Peitgen,Hartmut Jürgens,Dietmar Saupe

Fractals for the Classroom breaks new ground as it brings an exciting branch of mathematics into the classroom. The book is a collection of independent chapters on the major concepts related to the science and mathematics of fractals. Written at the mathematical level of an advanced secondary student, Fractals for the Classroom includes many fascinating insights for the classroom teacher and integrates illustrations from a wide variety of applications with an enjoyable text to help bring the concepts alive and make them understandable to the average reader. This book will have a tremendous impact upon teachers, students, and the mathematics education of the general public. With the forthcoming companion materials, including four books on strategic classroom activities and lessons with interactive computer software, this package will be unparalleled.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

468

Publisher

Springer Science & Business Media

Published Date

ISBN 10

1475721722

ISBN 13

9781475721720

Compounds with S

By: Hartmut Bergmann,Bernhard Czeska,Irene Haas,Brigitte Mohsin,Karl-Heinz Wandner

Write a review Read reviews Take a Quiz Solve Book Puzzle

Compounds with S

By: Hartmut Bergmann,Bernhard Czeska,Irene Haas,Brigitte Mohsin,Karl-Heinz Wandner

The Molybdenum Supplement Volume B/7 covers binary molybdenum sulfides and sulfide ions, the most prominent being molybdenum sulfide MoS2 on account of its numerous practical applications. It is a dry lubricant material and has become indispensable in high-vacuum and space applications. Semiconducting MoS2 photoelectrodes have achieved sizable solar energy conversions in photoelectrochemical cells. Its capability to reversibly intercalate lithium ions enables the construction of low-weight, high efficiency, secondary batteries. MoS2 doped with cobalt is useful as a catalyst of the hydrosulfurization of organic compounds. All these remarkable properties are related to its layered structure built up of covalently bound SMoS sheets held together by only weak van der Waals forces.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

376

Publisher

Springer

Published Date

ISBN 10

3540936505

ISBN 13

9783540936503

Motion-Induced Eddy Current Techniques for Non-Destructive Testing and Evaluation

By: Hartmut Brauer,Marek Ziolkowski,Konstantin Weise,Matthias Carlstedt,Robert P. Uhlig,Mladen Zec

Write a review Read reviews Take a Quiz Solve Book Puzzle

Motion-Induced Eddy Current Techniques for Non-Destructive Testing and Evaluation

By: Hartmut Brauer,Marek Ziolkowski,Konstantin Weise,Matthias Carlstedt,Robert P. Uhlig,Mladen Zec

Non-destructive testing (NDT) analysis techniques are used in science, technology and medicine to evaluate the properties of a material, component or system, without causing damage or altering the article being inspected. It is a highly valuable technique that can save money and time in product evaluation, troubleshooting, and research. Well known and widely used in industrial applications since the 60s, the NDT market is developing and growing fast. This book focuses on electromagnetic NDT methods and more specifically on the motion induced eddy current testing and evaluation (MIECTE) techniques used for conductive materials via electromagnetic methods, focusing on the Lorentz force eddy current testing (LET) method which was introduced recently. The authors present the modelling and simulation of LET systems as well as the optimal design of the measurement setups. They also show the wide variety of applications of the LET method including defect identification and sigmometry to estimate electrical conductivity of the tested material.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

359

Publisher

Institution of Engineering and Technology

Published Date

ISBN 10

1785612158

ISBN 13

9781785612152

Book's by Hartmut Brauer

Fundamentals of Algebraic Graph Transformation

Fundamentals of Algebraic Graph Transformation

Imagery Synergetics

Imagery Synergetics

Fundamentals of Algebraic Specification 2

Fundamentals of Algebraic Specification 2

Positron Annihilation in Semiconductors

Positron Annihilation in Semiconductors

Fundamentals of Algebraic Specification 1

Fundamentals of Algebraic Specification 1

Integration of Software Specification Techniques for Applications in Engineering

Integration of Software Specification Techniques for Applications in Engineering

Graph and Model Transformation

Graph and Model Transformation

Chaos and Fractals

Chaos and Fractals

Neurosurgery of Arteriovenous Malformations and Fistulas

Neurosurgery of Arteriovenous Malformations and Fistulas

The Goethe-Medal for Art and Science

The Goethe-Medal for Art and Science

Rowland and Tozer's Clinical Pharmacokinetics and Pharmacodynamics: Concepts and Applications

Rowland and Tozer's Clinical Pharmacokinetics and Pharmacodynamics: Concepts and Applications

Graph Grammars and Their Application to Computer Science

Graph Grammars and Their Application to Computer Science

Fractals for the Classroom

Fractals for the Classroom

Compounds with S

Compounds with S

Motion-Induced Eddy Current Techniques for Non-Destructive Testing and Evaluation

Motion-Induced Eddy Current Techniques for Non-Destructive Testing and Evaluation

Username

Password

Username

Password

Password again

Birthday

Email