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

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

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

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

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

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

Graph Transformations
4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008, Proceedings (Lecture Notes in ... Computer Science and General Issues)
द्वारा Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer
Paperback, 523 पन्ने, प्रकाशित 2008 द्वारा Springer
ISBN-13: 978-3-540-87404-1, ISBN: 3-540-87404-6

Lecture Notes in Computer Science
Graph Transformation : 6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings 7562
द्वारा Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg
427 पन्ने, प्रकाशित 2012 द्वारा Springer
ISBN-13: 978-3-642-33654-6, ISBN: 3-642-33654-X

"6th International Conference, ICGT 2012, Bremen, Germany, September 24-29, 2012, Proceedings Hartmut Ehrig, Gregor Engels, Hans-Jörg Kreowski, Grzegorz Rozenberg. 10. 11. 12. 13. 14. 15. 16. 17. ... S., Giese, H., Niere, J., Tichy, M., Wadsack, J.P., Wagner, R., Wendehals, L., Zündorf, A.: Tool Integration at the Meta-Model Level within the FUJABA Tool Suite. Software Tools for ... BEATCS 102, 111–121 (2010) Lack,S., Sobocinski, P. ..."

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

TAPSOFT '87. Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23 - 27 1987
Volume ... (CFLP) (Lecture Notes in Computer Science)
द्वारा Hartmut Ehrig, Giorgio Levi, Robert A. Kowalski, Ugo Montanari, S. Abramsky
Paperback, 336 पन्ने, प्रकाशित 2008 द्वारा Springer
ISBN-13: 978-3-540-17611-4, ISBN: 3-540-17611-X

"LISTLOG - A PROLOG EXTENSION FOR LIST PROCESSING Zsuzsa Farkas Computer Research and Innovation Center - SZKI H - 1015 Budapest, Donati utca 35-45, Hungary Abstract In this paper an alternative list representation -for logic programs is introduced, based on so-called segment variables. These variables represent a whole sublist (segment) of a list, that is, when substituting such a variable by a list, not the list itself, but its el ..."

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

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

Inside Criminal Networks
(Studies of Organized Crime)
द्वारा Carlo Morselli, Grzegorz Rozenberg, Hartmut Ehrig, Volker Claus
Hardcover, 204 पन्ने, प्रकाशित 2008 द्वारा Springer
ISBN-13: 978-0-387-09525-7, ISBN: 0-387-09525-X

" This book is the first extensive study of criminal networks The case study designs and analytical paths are straightforward and can serve as a source for future research endeavours using a variety of data sources "

Fundamentals of Algebraic Specification 1(Reprint)
Equations and Initial Semantics (Monographs in Theoretical Computer Science. An EATCS Series)
द्वारा Hartmut Ehrig, Bernd Mahr, Peter Deuflhard
Paperback, 340 पन्ने, प्रकाशित 1985 द्वारा Springer Berlin Heidelberg
ISBN-13: 978-3-642-69964-1, ISBN: 3-642-69964-2

Graph Transformations
द्वारा Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg
Paperback, 432 पन्ने, प्रकाशित 2011 द्वारा Springer
ISBN-13: 978-3-642-15929-9, ISBN: 3-642-15929-X

Lecture Notes in Computer Science Ser.
Integration of Software Specification Techniques for Applications in Engineering : Priority Program SoftSpez of the German Research Foundation (DFG) : Final Report 3147 by Hartmut Ehrig (2011, E-book)
द्वारा Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, Engelbert Westkämper
630 पन्ने, प्रकाशित 2011 द्वारा Springer
ISBN-13: 978-3-540-27863-4, ISBN: 3-540-27863-X

"20. 21. 22. 6. Bitsch, F., Canver, E., Moik, A.: Strukturierte Erstellung von Sicherheitsspezifikationen in UML mit Hilfe der FMEA-Methode. In: Schnieder, E. (Hrsg.): Forms '99 - Formale Techniken für die Eisenbahnsicherung, Fortschritt- Berichte VDI, Reihe 12, Verkehrstechnik/Fahrzeugtechnik, Nr.436, VDI Verlag GmbH, Düsseldorf (2000) S. 225-245 7. Bitsch, F., Göhner, P.: Spezifikation von Sicherheitsanforderungen mit Safety-Patter ..."