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

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

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

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

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

Monographs in Theoretical Computer Science. an EATCS Ser.
Fundamentals of Algebraic Graph Transformation
द्वारा Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer
390 पन्ने, प्रकाशित 2006 द्वारा Springer Science & Business Media
ISBN-13: 978-3-540-31188-1, ISBN: 3-540-31188-2

"[BKPT05] P. Bottoni, M. Koch, F. Parisi-Presicce, and G. Taentzer. Termination of High-Level Replacement Units with Application to Model Transformation. In M. Minas, editor, Proceedings of VLFM 2004, Electronic Notes in Theoretical Computer Science, Vol. 127(4), pages 71–86. Elsevier, 2005. [BP02] L. Baresi and M. Pezze. A Toolbox for Automating Visual Software Engineering. In R. Kutsche and H. Weber, editors, Proceedings of FASE 2 ..."

Lecture Notes in Computer Science Ser.
Graph Transformations : Second International Conference, ICGT 2004, Rome, Italy, September 28-October 2, 2004 : Proceedings 3256
द्वारा Hartmut Ehrig, Gregor Engels, Francesco Parisi-Presicce, Grzegorz Rozenberg
456 पन्ने, प्रकाशित 2004 द्वारा Springer
ISBN-13: 978-3-540-30203-2, ISBN: 3-540-30203-4

"Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings Hartmut Ehrig, Gregor Engels, Francesco Parisi- Presicce, Grzegorz Rozenberg. 3 Program Committee The following program committee is responsible for the selection of papers. 4 – Giulio Antoniol (Universit `a degli Studi del Sannio, Italy) – Andrea Corradini (Universit`a di Pisa, Italy) – Stephane Ducasse (University of Bern, Switzerla ..."

Theory and Application of Graph Transformations
6th International Workshop, TAGT'98 Paderborn, Germany, November 16-20, 1998 Selected Papers
द्वारा Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg
506 पन्ने, प्रकाशित 2004 द्वारा Springer
ISBN-13: 978-3-540-46464-8, ISBN: 3-540-46464-6

"V. Claus, H. Ehrig, and G. Rozenberg, editors. Proc. of Graph Grammars and their Application to Computer Science, volume 73 of Lect. Notes in Comput. Sci. Springer-Verlag, New York/Berlin, 1979. 45 4. B. Courcelle, J. Engelfriet, and G. Rozenberg. Handle-rewriting hypergraph grammars. J. Comput. System Sci., 46: 218–270, 1993. 48 5. J. Cuny, H. Ehrig, G. Engels, and G. Rozenberg, editors. Proc. of Graph Grammars and their Applicatio ..."

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

"Essays Dedicated to Grzegorz Rozenberg Wilfried Brauer, Hartmut Ehrig, Juhani Karhumäki, Arto K. Salomaa. This, however, would require an extension of the notion of abstract Petri nets in [Pad96]. 4.2 Higher Order Net Processes In [Hof00, Hof01] we have introduced the concept and formal definition of Algebraic Higher Order Nets to model flexible business processes. Algebraic Higher Order Nets are AHL-nets where the data type part i ..."

Petri Net Technology for Communication-Based Systems(1st Edition)
Advances in Petri Nets
द्वारा Hartmut Ehrig, Wolfgang Reisig, Grzegorz Rozenberg, Herbert Weber
Digital, 468 पन्ने, प्रकाशित 2003 द्वारा Springer
ISBN-13: 978-3-540-40022-6, ISBN: 3-540-40022-2

"The PetriNet Baukasten of the DFG Forschergruppe PETRINET TECHNOLOGY H. Weber, H. Ehrig, W. Reisig, A. Borusan, S. Lembke, J. Dehnert, M. Weber, A. Martens, J. Padberg, C. Ermel, and A. Qemali ............... 1 Application Development Assistance with the PetriNet Baukasten Herbert Weber . ... with VIPbusiness Jörg Desel and Thomas Erwin ............................................ 219 Inter- organizational Business Process Managemen ..."

Unifying Petri Nets
Advances in Petri Nets
द्वारा Hartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz Rozenberg
488 पन्ने, प्रकाशित 2003 द्वारा Springer
ISBN-13: 978-3-540-45541-7, ISBN: 3-540-45541-8

"Advances in Petri Nets Hartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz Rozenberg ... 1, pages 2-4, 1996 A. Finkelstein, J. Kramer, J. Nuseibeh, L. Finkelstein, M. Goedecke, Viewpoints: A Framework for Integrating Multiple Perspectives in System Development, Int. Journal of Software Engineering & Knowledge Engineering, World Scient. Publ., Vol. ... 1764, Springer Verlag, 2000 M. Gajewski, The Expert View of the "Petri Net Bauk ..."