Hartmut Ehrig – författare
Visar alla böcker från författaren Hartmut Ehrig. Handla med fri frakt och snabb leverans.
51 produkter
Mathematical Foundations of Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)
Av Hartmut Ehrig, Christiane Floyd m. fl.
Häftad, 1985
443 kr
Lägg i varukorg
Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985
Volume 2: Colloquium on Software Engineering (CSE)
Av Hartmut Ehrig, Christiane Floyd m. fl.
Häftad, 1985
535 kr
Lägg i varukorg
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Volume 2: Advanced Seminar on Foundations of Innovative Software Development II and Colloquium on Functional and Logic Programming and Specifications (CFLP)
Av Hartmut Ehrig, Robert A. Kowalski m. fl.
Häftad, 1987
400 kr
Lägg i varukorg
TAPSOFT '87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 1987
Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming (CAAP '87)
Av Hartmut Ehrig, Robert Kowalski m. fl.
Häftad, 1987
400 kr
Lägg i varukorg
Graph-Grammars and Their Application to Computer Science
3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986
Av Hartmut Ehrig, Manfred Nagl m. fl.
Häftad, 1987
1098 kr
Lägg i varukorg
The generic term "graph-grammars" refers to a variety of methods for specifying (possibly infinite) sets of graphs or sets of maps. The area of graph-grammars originated in the late 60s motivated by considerations concerning pattern recognition - since then the list of areas which have interacted …
Petri Net Technology for Communication-Based Systems
Advances in Petri Nets
Av Hartmut Ehrig, Wolfgang Reisig m. fl.
Häftad, 2003
552 kr
Lägg i varukorg
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 …
Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
Av Hartmut Ehrig, Werner Damm m. fl.
Häftad, 2004
569 kr
Lägg i varukorg
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 …
Graph Transformations
Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings
Av Hartmut Ehrig, Gregor Engels m. fl.
Häftad, 2004
552 kr
Lägg i varukorg
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 …
Integration of Software Specification Techniques for Applications in Engineering
Priority Program SoftSpez of the German Research Foundation (DFG) Final Report
Av Engelbert Westkamper, Eckehard Schnieder m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
Graph Transformations
Second International Conference, ICGT 2004, Rome, Italy, September 28 - October 1, 2004, Proceedings
Av Grzegorz Rozenberg, Francesco Parisi-Presicce m. fl.
E-bok, 2004
718 kr
Lägg i varukorg
Fundamentals of Algebraic Graph Transformation
Av Hartmut Ehrig, Karsten Ehrig m. fl.
Inbunden, 2006
1355 kr
Lägg i varukorg
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 …
Fundamentals of Algebraic Graph Transformation
Av Gabriele Taentzer, Ulrike Prange m. fl.
E-bok, 2006
1838 kr
Lägg i varukorg
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 …
Graph Transformations
Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Av Andrea Corradini, Hartmut Ehrig m. fl.
Häftad, 2006
552 kr
Lägg i varukorg
ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998. ICGT 2006 was held in Natal (Rio Grande do Norte, Brazil) on September 17-23, 2006, co-located …
Graph Transformations
Third International Conference, ICGT 2006, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings
Av Grzegorz Rozenberg, Leila Ribeiro m. fl.
E-bok, 2006
718 kr
Lägg i varukorg
ICGT 2006 was the 3rd International Conference on Graph Transformation, following the previous two in Barcelona (2002) and Rome (2004), and a series of six international workshops between 1978 and 1998. ICGT 2006 was held in Natal (Rio Grande do Norte, Brazil) on September 17-23, 2006, co-located …
Petri Net Technology for Communication-Based Systems
Advances in Petri Nets
Av Herbert Weber, Grzegorz Rozenberg m. fl.
E-bok, 2003
712 kr
Lägg i varukorg
Mathematisch-strukturelle Grundlagen der Informatik
Av Hartmut Ehrig, Bernd Mahr m. fl.
Häftad, 2001
415 kr
Lägg i varukorg
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 …
Unifying Petri Nets
Advances in Petri Nets
Av Hartmut Ehrig, Gabriel Juhas m. fl.
Häftad, 2001
552 kr
Lägg i varukorg
Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth.These successful …
Formal and Natural Computing
Essays Dedicated to Grzegorz Rozenberg
Av Wilfried Brauer, Hartmut Ehrig m. fl.
Häftad, 2002
569 kr
Lägg i varukorg
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. …
Graph Transformation
First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings
Av Andrea Corradini, Hartmut Ehrig m. fl.
Häftad, 2002
552 kr
Lägg i varukorg
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 …
Unifying Petri Nets
Advances in Petri Nets
Av Grzegorz Rozenberg, Julia Padberg m. fl.
E-bok, 2003
718 kr
Lägg i varukorg
Since their introduction nearly 40 years ago, research on Petri nets has diverged in many different directions. Various classes of Petri net, motivated either by theory or applications, with its own specific features and methods of analysis, have been proposed and studies in depth. These successful …
Formal and Natural Computing
Essays Dedicated to Grzegorz Rozenberg
Av Arto K. Salomaa, Juhani Karhumaki m. fl.
E-bok, 2003
755 kr
Lägg i varukorg
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. …
Graph Transformation
First International Conference, ICGT 2002, Barcelona, Spain, October 7-12, 2002, Proceedings
Av Grzegorz Rozenberg, Hans-Jorg Kreowski m. fl.
E-bok, 2003
712 kr
Lägg i varukorg
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 …
Theory and Application of Graph Transformations
6th International Workshop, TAGT''98 Paderborn, Germany, November 16-20, 1998 Selected Papers
Av Grzegorz Rozenberg, Hans-Jorg Kreowski m. fl.
E-bok, 2004
734 kr
Lägg i varukorg
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 …
Categorical Methods in Computer Science
With Aspects from Topology
Av Hartmut Ehrig, Horst Herrlich m. fl.
Häftad, 1989
569 kr
Lägg i varukorg
This volume contains selected papers of the International Workshop on "Categorical Methods in Computer Science - with Aspects from Topology" and of the "6th International Data Type Workshop" held in August/September 1988 in Berlin. The 23 papers of this volume are grouped into three parts: Part 1 …
Fundamentals of Algebraic Specification 2
Module Specifications and Constraints
Inbunden, 1989
552 kr
Lägg i varukorg
Two important new concepts, module specifications and constraints, are introduced in this second volume of a three-volume set on fundamentals of algebraic specification. These concepts are motivated by problems in practical software development and are studied here from a theoretical point of view. …
Graph Grammars and Their Application to Computer Science
4th International Workshop, Bremen, Germany, March 5-9, 1990. Proceedings
Av Hartmut Ehrig, Hans-Jörg Kreowski m. fl.
Häftad, 1991
1098 kr
Lägg i varukorg
This volume contains papers selected from the contributionsto the 4th International Workshop on Graph Grammars andTheir Application to Computer Science. It is intended toprovide a rich source of information on the stateof the artand newest trends to researchers active in the area and forscientists …
Recent Trends in Data Type Specification
7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17-20, 1990. Proceedings
Av Hartmut Ehrig, Klaus P. Jantke m. fl.
Häftad, 1991
569 kr
Lägg i varukorg
The algebraic specification of abstract data types is now awell establishedresearch topic in computer science. Thisarea influences both applications and theoreticalfoundations of methodologies which support the design andformal development of reliable software.The Seventh Workshop on Specification …
Graph Transformations in Computer Science
International Workshop, Dagstuhl Castle, Germany, January 4 - 8, 1993. Proceedings
Av Hans J. Schneider, Hartmut Ehrig
Häftad, 1994
569 kr
Lägg i varukorg
The research area of graph grammars and graph transformations dates back only two decades. But already methods and results from the area of graph transformation have been applied in many fields of computer science, such as formal language theory, pattern recognition and generation, compiler …
