ZIB

1

Book

Mathematisch-strukturelle Grundlagen der Informatik (2001)

Ehrig, Hartmut ; Mahr, Bernd ; Cornelius, Felix ; [et al.]

Berlin u.a. :Springer,

add to mindlist on the mindlist

Details

Title: Mathematisch-strukturelle Grundlagen der Informatik

Author: Ehrig, Hartmut

Contributer: Mahr, Bernd , Cornelius, Felix , Groß-Rhode, Martin , Zeitz, Philip

Edition: 2. Aufl.

Publisher: Berlin u.a. :Springer,

Year of publication: 2001

Pages: 621 S.

Series Statement: Springer-Lehrbuch

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

2

Book

Graph transformations : 6th international conference, ICGT 2012, Bremen, Germany, September 24 - 29, 2012 ; proceedings; 7562 (2012)

Ehrig, Hartmut

Berlin [u.a.] :Springer,

add to mindlist on the mindlist

Details

Title: Graph transformations : 6th international conference, ICGT 2012, Bremen, Germany, September 24 - 29, 2012 ; proceedings; 7562

Contributer: Ehrig, Hartmut , ICGT 〈6, 2012, Bremen〉

Publisher: Berlin [u.a.] :Springer,

Year of publication: 2012

Pages: XI, 425 S. : , graph. Darst.

Series Statement: Lecture notes in computer science 7562

ISBN: 978-3-642-33653-9 , 978-3-642-33654-6

Type of Medium: Book

Language: English

URL: https://zbmath.org/?q=an:1246.68030

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

3

Book

Graph transformations : 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27-October 2, 2010 ; proceedings; 6372 (2010)

Ehrig, Hartmut

Berlin [u.a.] :Springer,

add to mindlist on the mindlist

Details

Title: Graph transformations : 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27-October 2, 2010 ; proceedings; 6372

Contributer: Ehrig, Hartmut , ICGT 〈5, 2010, Enschede〉

Publisher: Berlin [u.a.] :Springer,

Year of publication: 2010

Pages: XII, 418 S. : , graph. Darst.

Series Statement: Lecture notes in computer science 6372

ISBN: 978-3-642-15927-5 , 3-642-15927-3

Type of Medium: Book

Language: English

URL: https://zbmath.org/?q=an:1196.68007

URL: Inhaltstext

URL: Inhaltsverzeichnis

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

4

Book

Graph transformations : 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7 - 13, 2008; proceedings; 5214 (2008)

Ehrig, Hartmut

Berlin [u.a.] :Springer,

add to mindlist on the mindlist

Details

Title: Graph transformations : 4th international conference, ICGT 2008, Leicester, United Kingdom, September 7 - 13, 2008; proceedings; 5214

Contributer: Ehrig, Hartmut , ICGT 〈4, 2008, Leicester〉

Publisher: Berlin [u.a.] :Springer,

Year of publication: 2008

Pages: XIII, 522 S. : , graph. Darst. ; , 24 cm

Series Statement: Lecture notes in computer science 5214

ISBN: 978-3-540-87404-1

Type of Medium: Book

Language: English

URL: https://zbmath.org/?q=an:1148.68002

URL: Inhaltsverzeichnis

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

5

Book

Graph transformations : second international conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004 ; proceedings; 3256 (2004)

Ehrig, Hartmut

Berlin [u.a.] :Springer,

add to mindlist on the mindlist

Details

Title: Graph transformations : second international conference, ICGT 2004, Rome, Italy, September 28 - October 2, 2004 ; proceedings; 3256

Contributer: Ehrig, Hartmut , ICGT 〈2, 2004, Rom〉

Publisher: Berlin [u.a.] :Springer,

Year of publication: 2004

Pages: XII, 450 S.

Series Statement: Lecture notes in computer science 3256

ISBN: 3-540-23207-9

Type of Medium: Book

Language: English

URL: https://zbmath.org/?q=an:1056.68008

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

6

Book

Graph and model transformation : general framework and applications (2015)

Ehrig, Hartmut [[Hrsg.]] ; Ermel, Claudia [[Hrsg.]] ; Golas, Ulrike [[Hrsg.]] ; [et al.]

add to mindlist on the mindlist

Details

Title: Graph and model transformation : general framework and applications

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

Year of publication: 2015

Pages: XI, 472 Seiten : , Illustrationen

Series Statement: Monographs in Theoretical Computer Science / EATCS

ISBN: 978-3-662-47980-3 , 978-3-662-47979-7

Type of Medium: Book

Language: English

URL: https://www.zbmath.org/?q=an:06540564

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

7

Book

Algebraic specification techniques and tools for software development : the ACT approach; 1 (1993)

Claßen, Ingo ; Ehrig, Hartmut ; Wolz, Dietmar

Singapore u.a. :World Scientific,

add to mindlist on the mindlist

Details

Title: Algebraic specification techniques and tools for software development : the ACT approach; 1

Author: Claßen, Ingo

Contributer: Ehrig, Hartmut , Wolz, Dietmar

Publisher: Singapore u.a. :World Scientific,

Year of publication: 1993

Pages: XVI, 237 S. : graph. Darst.

Series Statement: AMAST series in computing 1

ISBN: 981-02-1227-5

Type of Medium: Book

Language: English

URL: https://zbmath.org/?q=an:0921.68059

URL: Inhaltsverzeichnis

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

8

Book

Petri net technology for communication-based systems : advances in Petri nets; 2472 (2003)

Ehrig, Hartmut

Berlin [u.a.] :Springer,

add to mindlist on the mindlist

Details

Title: Petri net technology for communication-based systems : advances in Petri nets; 2472

Contributer: Ehrig, Hartmut

Publisher: Berlin [u.a.] :Springer,

Year of publication: 2003

Pages: VIII, 454 S. : , graph. Darst.

Series Statement: Lecture notes in computer science 2472

ISBN: 3-540-20538-1

Type of Medium: Book

Language: English

URL: https://zbmath.org/?q=an:1028.00015

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

9

Book

Unifying Petri nets : advances in Petri nets; 2128 (2001)

Ehrig, Hartmut

Berlin [u.a.] :Springer,

add to mindlist on the mindlist

Details

Title: Unifying Petri nets : advances in Petri nets; 2128

Contributer: Ehrig, Hartmut

Publisher: Berlin [u.a.] :Springer,

Year of publication: 2001

Pages: VIII, 484 S. : , graph. Darst.

Series Statement: Lecture notes in computer science 2128

ISBN: 3-540-43067-9

Type of Medium: Book

Language: English

URL: https://zbmath.org/?q=an:0978.00023

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin