ZIB

1

Buch

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

Ehrig, Hartmut

Berlin [u.a.] :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

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

Beteiligte Person(en): Ehrig, Hartmut , ICGT 〈6, 2012, Bremen〉

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

Erscheinungsjahr: 2012

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

Serie: Lecture notes in computer science 7562

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

Materialart: Buch

Sprache: Englisch

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

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

2

Buch

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

Ehrig, Hartmut

Berlin [u.a.] :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

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

Beteiligte Person(en): Ehrig, Hartmut , ICGT 〈5, 2010, Enschede〉

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

Erscheinungsjahr: 2010

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

Serie: Lecture notes in computer science 6372

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

Materialart: Buch

Sprache: Englisch

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

URL: Inhaltstext

URL: Inhaltsverzeichnis

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

3

Buch

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

Ehrig, Hartmut

Berlin [u.a.] :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

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

Beteiligte Person(en): Ehrig, Hartmut , ICGT 〈2, 2004, Rom〉

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

Erscheinungsjahr: 2004

Seiten: XII, 450 S.

Serie: Lecture notes in computer science 3256

ISBN: 3-540-23207-9

Materialart: Buch

Sprache: Englisch

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

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

4

Buch

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

Ehrig, Hartmut

Berlin [u.a.] :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

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

Beteiligte Person(en): Ehrig, Hartmut

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

Erscheinungsjahr: 2003

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

Serie: Lecture notes in computer science 2472

ISBN: 3-540-20538-1

Materialart: Buch

Sprache: Englisch

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

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

5

Buch

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

Ehrig, Hartmut

Berlin [u.a.] :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

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

Beteiligte Person(en): Ehrig, Hartmut

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

Erscheinungsjahr: 2001

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

Serie: Lecture notes in computer science 2128

ISBN: 3-540-43067-9

Materialart: Buch

Sprache: Englisch

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

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

6

Buch

Mathematisch-strukturelle Grundlagen der Informatik (2001)

Ehrig, Hartmut ; Mahr, Bernd ; Cornelius, Felix ; [weitere]

Berlin u.a. :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Mathematisch-strukturelle Grundlagen der Informatik

Autor: Ehrig, Hartmut

Beteiligte Person(en): Mahr, Bernd , Cornelius, Felix , Groß-Rhode, Martin , Zeitz, Philip

Ausgabe: 2. Aufl.

Verlag: Berlin u.a. :Springer,

Erscheinungsjahr: 2001

Seiten: 621 S.

Serie: Springer-Lehrbuch

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

7

Buch

34th semi-annual Cray User Group meeting. Proceedings. Fall 1994, Tours, France (1994)

Cray User Group

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 34th semi-annual Cray User Group meeting. Proceedings. Fall 1994, Tours, France

Beteiligte Person(en): Cray User Group

Erscheinungsjahr: 1994

Seiten: 477 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

8

Buch

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,

zur Merkliste hinzufügen auf der Merkliste

Details

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

Autor: Claßen, Ingo

Beteiligte Person(en): Ehrig, Hartmut , Wolz, Dietmar

Verlag: Singapore u.a. :World Scientific,

Erscheinungsjahr: 1993

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

Serie: AMAST series in computing 1

ISBN: 981-02-1227-5

Materialart: Buch

Sprache: Englisch

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

URL: Inhaltsverzeichnis

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

9

Buch

31th semi-annual Cray User Group Meeting Spring 1993. Proceedings (1993)

Cray User Group

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 31th semi-annual Cray User Group Meeting Spring 1993. Proceedings

Beteiligte Person(en): Cray User Group

Erscheinungsjahr: 1993

Seiten: 489 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

10

Buch

32nd semi-annual Cray User Group meeting. Proceedings. Fall 1993, Kyoto, Japan (1993)

Cray User Group

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 32nd semi-annual Cray User Group meeting. Proceedings. Fall 1993, Kyoto, Japan

Beteiligte Person(en): Cray User Group

Erscheinungsjahr: 1993

Seiten: 403 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

11

Buch

30th semi-annual Cray User Group Meeting Proceedings Fall 1992 (1992)

Cray User Group

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 30th semi-annual Cray User Group Meeting Proceedings Fall 1992

Beteiligte Person(en): Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1992

Seiten: 592 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

12

Buch

27th semi-annual Cray User Group Meeting Proceedings Spring 1991 (1991)

Winget, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 27th semi-annual Cray User Group Meeting Proceedings Spring 1991

Beteiligte Person(en): Winget, Karen , Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1991

Seiten: 434 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

13

Buch

28th semi-annual Cray User Group Meeting Proceedings Fall 1991 (1991)

Winget, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 28th semi-annual Cray User Group Meeting Proceedings Fall 1991

Beteiligte Person(en): Winget, Karen , Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1991

Seiten: 456 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

14

Buch

25th semi-annual Cray User Group Meeting Proceedings Spring 1990 (1990)

Winget, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 25th semi-annual Cray User Group Meeting Proceedings Spring 1990

Beteiligte Person(en): Winget, Karen , Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1990

Seiten: 372 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

15

Buch

26th semi-annual Cray User Group Meeting Proceedings Fall 1990 (1990)

Winget, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 26th semi-annual Cray User Group Meeting Proceedings Fall 1990

Beteiligte Person(en): Winget, Karen , Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1990

Seiten: 449 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

16

Buch

19th semi-annual Cray User Group Meeting Proceedings Spring 1987 (1983)

Friedman, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 19th semi-annual Cray User Group Meeting Proceedings Spring 1987

Beteiligte Person(en): Friedman, Karen , Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1983

Seiten: 125 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

17

Buch

22th semi-annual Cray User Group Meeting Proceedings Fall 1988 : 1988, Tokyo, Japan (1983)

Friedman, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 22th semi-annual Cray User Group Meeting Proceedings Fall 1988 : 1988, Tokyo, Japan

Beteiligte Person(en): Friedman, Karen , Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1983

Seiten: 125 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

18

Buch

21th semi-annual Cray User Group Meeting Proceedings Spring 1988 : 1988, Minneapolis, Minnesota (1983)

Friedman, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 21th semi-annual Cray User Group Meeting Proceedings Spring 1988 : 1988, Minneapolis, Minnesota

Beteiligte Person(en): Friedman, Karen , Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1983

Seiten: 125 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

19

Buch

17th semi-annual Cray User Group Meeting Proceedings Spring 1986 (1983)

Friedman, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 17th semi-annual Cray User Group Meeting Proceedings Spring 1986

Beteiligte Person(en): Friedman, Karen , Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1983

Seiten: 125 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

20

Buch

12th semi-annual Cray User Group Meeting Proceedings Fall 1983 (1983)

Friedman, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 12th semi-annual Cray User Group Meeting Proceedings Fall 1983

Beteiligte Person(en): Friedman, Karen , Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1983

Seiten: 125 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

21

Buch

13th semi-annual Cray User Group Meeting Proceedings Spring 1984 (1983)

Friedman, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 13th semi-annual Cray User Group Meeting Proceedings Spring 1984

Beteiligte Person(en): Friedman, Karen , Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1983

Seiten: 125 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

22

Buch

14th semi-annual Cray User Group Meeting Proceedings Fall 1984 (1983)

Friedman, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 14th semi-annual Cray User Group Meeting Proceedings Fall 1984

Beteiligte Person(en): Friedman, Karen , Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1983

Seiten: 125 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

23

Buch

15th semi-annual Cray User Group Meeting Proceedings Spring 1985 (1983)

Friedman, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 15th semi-annual Cray User Group Meeting Proceedings Spring 1985

Beteiligte Person(en): Friedman, Karen , Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1983

Seiten: 125 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

24

Buch

16th semi-annual Cray User Group Meeting Proceedings Fall 1985 (1983)

Friedman, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 16th semi-annual Cray User Group Meeting Proceedings Fall 1985

Beteiligte Person(en): Friedman, Karen , Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1983

Seiten: 125 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

25

Buch

18th semi-annual Cray User Group Meeting Proceedings Fall 1986 (1983)

Friedman, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 18th semi-annual Cray User Group Meeting Proceedings Fall 1986

Beteiligte Person(en): Friedman, Karen , Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1983

Seiten: 125 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

26

Buch

20th semi-annual Cray User Group Meeting Proceedings Fall 1987 (1983)

Friedman, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 20th semi-annual Cray User Group Meeting Proceedings Fall 1987

Beteiligte Person(en): Friedman, Karen , Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1983

Seiten: 125 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin