Hartmut Ehrig > Compare Discount Book Prices & Save up to 90%

Mathematisch-strukturelle Grundlagen der Informatik(2nd Edition)
द्वारा Hartmut Ehrig, Bernd Mahr, Felix Cornelius, P. Zeitz, Martin Große-Rhode, Martin Grobe-Rhode, Martin Groae-Rhode
Paperback, 622 पन्ने, प्रकाशित 2013 द्वारा Springer
ISBN-13: 978-3-540-41923-5, ISBN: 3-540-41923-3

"In fünf sorgfältig aufeinander abgestimmten Teilen behandelt das Buch die wesentlichen mathematischen Elemente der formalen Spezifikation von Systemen und der Aussagen- und Prädikatenlogik, die für das Verständnis des formalisierten Problemlösens entscheidend und damit für Informatiker unerläßlich sind. Eine Einführung in die intuitive Mengentheorie vermittelt zunächst notwendige mathematische Grundlagen. Mot ..."

Fundamentals of Algebraic Graph Transformation
(Monographs in Theoretical Computer Science. An EATCS Series)
द्वारा Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer, Erik Oberg, Franklin D. Jones, Henry H. Ryffel, Holbrook L. Horton
Hardcover, 390 पन्ने, प्रकाशित 2006 द्वारा Springer
ISBN-13: 978-3-540-31187-4, ISBN: 3-540-31187-4

"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 prac ..."

Graph Transformations
5th International Conference, ICGT 2010, Twente, The Netherlands, September 27--October 2, 2010, Proceedings (Lecture Notes in ... Computer Science and General Issues)
द्वारा Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr, Andy Schuerr
Paperback, 419 पन्ने, प्रकाशित 2010 द्वारा Springer
ISBN-13: 978-3-642-15927-5, ISBN: 3-642-15927-3

"Graphs are among the simplest and most universal models for a variety of s- tems, not just in computer science, but throughout engineering and the life sciences. When systems evolve we are interested in the way they change, to p- dict, support, or react to their evolution. Graph transformation combines the idea of graphs as a universal modelling paradigm with a rule-based approach to specify their evolution. ..."

Act
Algebraic Specification Techniques & Tools for Software Development (Amast Series in Computing)
द्वारा Hartmut Ehrig, Dietmar Wolz, Ingo Classen, Ingo Claben, Amast Fund, Werner Fey
Hardcover, 256 पन्ने, प्रकाशित 1993 द्वारा World Scientific Pub Co Inc
ISBN-13: 978-981-02-1227-8, ISBN: 981-02-1227-5

"The ACT Approach Ingo Classen, Hartmut Ehrig, Dietmar Wolz. The editor state consists of several components (see type STATE), ... Note how the bound variable res (see appendix B.2), that always contains the result of the last evaluation, is used. apt> eval key-m(key-a(key-r(key-g(key-o(key-r(key-p(key-clr jd(res)))))))) Now we apply the rule with name program. apt> eval key-apply(res) Next we put the cursor position on 4.2. USER IN ..."

Recent Trends in Data Type Specification
9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de ... Papers (Lecture Notes in Computer Science)
द्वारा Hartmut Ehrig, Fernando Orejas
Paperback, 356 पन्ने, प्रकाशित 1994 द्वारा Springer
ISBN-13: 978-3-540-57867-3, ISBN: 3-540-57867-6

"Research in the area of abstract data types started about 20 years ago. Since then there has been continuous activity with strong influence both on the applications and the theoretical foundations of methodologies for software design. The Ninth Workshop on Specification of Abstract Data Types was held jointly with the Fourth COMPASS Workshop in Spain in 1992. The main topics covered were: object-oriented specifications, rewriting method ..."

Graph Transformations
Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings (Lecture Notes in Computer Science)
द्वारा Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg, Francesco Parisi-Presicce
Paperback, 456 पन्ने, प्रकाशित 2004 द्वारा Springer
ISBN-13: 978-3-540-23207-0, ISBN: 3-540-23207-9

"ICGT 2004 was the 2nd International Conference on Graph Transformation, following the ?rst one in Barcelona (2002), and a series of six international workshops on graph grammars with applications in computer science between 1978 and 1998. ICGT 2004 was held in Rome (Italy), Sept. 29-Oct. 1, 2004 under the auspices of the European Association for Theoretical Computer S- ence (EATCS), the European Association o ..."

Theory and Application of Graph Transformations
6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers (Lecture Notes in Computer Science)
द्वारा Hartmut Ehrig, University Gregor Engels, Gregor Engels, Grzegorz Rozenberg, Hans-Jörg Kreowski, Rozenberg Kreowski, Rg
Paperback, 506 पन्ने, प्रकाशित 2000 द्वारा Springer
ISBN-13: 978-3-540-67203-6, ISBN: 3-540-67203-6

"Theareaofgraphtransformationoriginatedinthelate1960sunderthename "graph grammars" - the main motivation came from practical considerations concerning pattern recognition and compiler construction. Since then, the list of areas which have interacted with the development of graph transformation has grown impressively. The areas include: software speci?cation and development, VLSI layout schemes, database design ..."

Petri Net Technology for Communication-Based Systems
Advances in Petri Nets (Lecture Notes in Computer Science)
द्वारा Hartmut Ehrig, Wolfgang Ehrig Reisig, Grzegorz Rozenberg, Herbert Weber
Paperback, 468 पन्ने, प्रकाशित 2008 द्वारा Springer
ISBN-13: 978-3-540-20538-8, ISBN: 3-540-20538-1

"This volume, "Petri Net Technology for Communication-Based Systems," is a state-of-the-artreportin the seriesAdvances in Petri Nets. It showshowvarious well-established and new Petri net notions and techniques can be used for m- elingcommunication-basedsystems,withspecialfocusonwork?owmanagement and business processes. In the last 6 years this topic has been studied by the DFG Forschergruppe Petri Net Technol ..."

Fundamentals of Algebraic Specification 2(Reprint)
Module Specifications and Constraints (Monographs in Theoretical Computer Science. An E.A.T.C.S. Series)
द्वारा Hartmut Ehrig, Bernd Mahr
Paperback, 444 पन्ने, प्रकाशित 2011 द्वारा Springer-Verlag
ISBN-13: 978-3-642-64776-5, ISBN: 3-642-64776-6

"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, ar ..."

Graph Grammars and Their Application to Computer Science
4th International Workshop Bremen, Germany, March 5-9, 1990 : Proceedings (Lecture Notes in Computer Science)
द्वारा Hartmut Ehrig, Hans-Jörg Kreowski, Grzegorz Rozenberg
Paperback, 703 पन्ने, प्रकाशित 1991 द्वारा Springer-Verlag
ISBN-13: 978-0-387-54478-6, ISBN: 0-387-54478-X

"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 state of 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 a ..."

Graph Transformations
Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings (Lecture Notes in ... Computer Science and General Issues)
द्वारा Andrea Corradini, Hartmut Ehrig, Ugo Montanari, Leila Ribeiro, Grzegorz Rozenberg
Paperback, 473 पन्ने, प्रकाशित 2006 द्वारा Springer
ISBN-13: 978-3-540-38870-8, ISBN: 3-540-38870-2

"Graph Transformation in Constant Time............................. 367 Mike Dodds, Detlef Plump GrGen: A Fast SPO-Based Graph Rewriting Tool ..................... 383 Rubino Geiß, Gernot Veit Batz, Daniel Grund, Sebastian Hack, Adam Szalkowski Realizing Graph Transformations by Pre- and Postconditions and Command Sequences . ... Logics. Satisfiability of High-Level Conditions ............................... 430 Annegret Habel, Karl ..."

Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report (Lecture Notes in Computer Science)
द्वारा Hartmut Ehrig, Werner Damm, Wolfgang Reif, Eckehard Schnieder, Jörg Desel, Engelbert Westkämper, Martin Große-Rhode, Rg, ... Π. E-Rhode, Jã Rg Desel, Engelbert Westkã¤Mper, Jrg Desel, Deutsche Forschungsgemeinschaft, Martin GroãE-Rhode
Paperback, 630 पन्ने, प्रकाशित 2004 द्वारा Springer
ISBN-13: 978-3-540-23135-6, ISBN: 3-540-23135-8

"This volume is a documentation of the main results in the research area "In- gration of Software Speci?cation Techniques for Applications in Engineering". On one hand it is based on the Priority Program "Integration von Techniken der Softwarespezi?kation fur ¨ ingenieurwissenschaftliche Anwendungen", short Soft- Spez,oftheGermanResearchCouncil(DFG). Ontheotherhanditcontainsnew contributions of international e ..."

Fundamentals of Algebraic Graph Transformation(Reprint)
(Monographs in Theoretical Computer Science. An EATCS Series)
द्वारा Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
Paperback, 390 पन्ने, प्रकाशित 2010 द्वारा Springer
ISBN-13: 978-3-642-06831-7, ISBN: 3-642-06831-6

"Graphs are widely used to represent structural information in the form of objects and connections between them. Graph transformation is the rule-based manipulation of graphs, an increasingly important concept in computer science and related fields. This is the first textbook treatment of the algebraic approach to graph transformation, based on algebraic structures and category theory. Part I is an introduction to the classical case of g ..."

Fundamentals of Algebraic Specification 2
Module Specifications and Constraints (Monographs in Theoretical Computer Science. An EATCS Series) (v. 2)
द्वारा Hartmut Ehrig, Bernd Mahr
Hardcover, 429 पन्ने, प्रकाशित 1990 द्वारा Springer
ISBN-13: 978-3-540-51799-3, ISBN: 3-540-51799-5

Graph Transformation
6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)
द्वारा Hartmut Ehrig, Gregor Engels, Grzegorz Rozenberg, Hans-Jörg Kreowski
Paperback, 440 पन्ने, प्रकाशित 2012 द्वारा Springer
ISBN-13: 978-3-642-33653-9, ISBN: 3-642-33653-1

"This book constitutes the proceedings of the 6th International Conference on Graph Transformations, ICGT 2012, held in Bremen, Germany, in September 2012. The 30 papers and 3 invited papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on behavioural analysis, high-level graph transformation, revisited approaches, general transformation ..."

Recent Trends in Data Type Specification
7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings (Lecture Notes in Computer Science)
द्वारा Hartmut Ehrig, Fernando Orejas, Horst Reichel, Klaus P. Jantke
Paperback, 384 पन्ने, प्रकाशित 2008 द्वारा Springer
ISBN-13: 978-3-540-54496-8, ISBN: 3-540-54496-8

"The algebraic specification of abstract data types is now a well establishedresearch topic in computer science. This area influences both applications and theoretical foundations of methodologies which support the design and formal development of reliable software. The Seventh Workshop on Specification of Abstract Data Types took place in Wusterhausen/Dosse, April17-20, 1990, and was organized in co ..."

Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development ...
द्वारा Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher
Paperback, 422 पन्ने, प्रकाशित 2008 द्वारा Springer
ISBN-13: 978-3-540-15198-2, ISBN: 3-540-15198-2

"Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85) Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher. AGENT" s [D"1 -> D"] The set of all agents is defined by ... this particular semantic model is chosen . Let f c B0r[f(E'|, En)] =def { h: ENV -> D: 3 g □ cr[f], c B^CE,] h„ c B^CEp]: V e s ENV: h(e) = gth^e) hn(e)) } Barest E] =def { h: ENV -> D: 3 g « B^CE]: Ve c ENV: h(e) = rest(g(e)) } Bo- ..."

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development , ...
द्वारा Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher, J. Hartmanis, G. Goos
Paperback, 459 पन्ने, प्रकाशित 2008 द्वारा Springer
ISBN-13: 978-3-540-15199-9, ISBN: 3-540-15199-0

"Report TR-EE-81-22 /DC 80/ Donzeau-Gouge, M. et.al.: Programming Environments Based on Structured Editors - The MENTOR Experience, Techn. Report 26, INRIA, France /EG 83/ Engels, G./Gall, R./Nagl, M./Schafer, W. : Software Specification using Graph Grammars, Computing 31, 317-3*6 /ES 84/ Engels, G./ Schafer, W.: The Design of an Adaptive and Portable Programming Support Environment, submitted for publication /Ha 82/ Habermann, N. e ..."

Formal and Natural Computing
Essays Dedicated to Grzegorz Rozenberg (Lecture Notes in Computer Science)
द्वारा Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa, Grzegorz Rozenberg, Springer-Verlag
Paperback, 436 पन्ने, प्रकाशित 2002 द्वारा Springer
ISBN-13: 978-3-540-43190-9, ISBN: 3-540-43190-X

"This book presents state of the art research in theoretical computer science and related ?elds. In particular, the following areas are discussed: automata theory, formal languages and combinatorics of words, graph transformations, Petri nets, concurrency, as well as natural and molecular computing. The articles are written by leading researchers in these areas. The writers were originally invited to contribute to this book but then the ..."

Graph Transformation
First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings (Lecture Notes in Computer Science)
द्वारा Andrea Corradini, Hartmut Ehrig, Grzegorz Rozenberg, Hans-Jörg Kreowski, Jorge Albores-Saavedra, Hans-Jürg Kreowski
Paperback, 466 पन्ने, प्रकाशित 2009 द्वारा Springer
ISBN-13: 978-3-540-44310-0, ISBN: 3-540-44310-X

"ICGT 2002 was the ?rst International Conference on Graph Transformation following a series of six international workshops on graph grammars with - plications in computer science, held in Bad Honnef (1978), Osnabruc ¨ k (1982), Warrenton (1986), Bremen (1990), Williamsburg (1994), and Paderborn (1998). ICGT 2002 was held in Barcelona (Spain), October 7-12, 2002 under the a- pices of the European Association of ..."

Books by Hartmut Ehrig