ZIB

1

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

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

Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC 2010 / (2010)

Watt, Stephen M. [[Hrsg.]]

New York, NY :ACM,

add to mindlist on the mindlist

Details

Title: Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation, ISSAC 2010 /

Author: Watt, Stephen M.

Contributer: Association for Computing Machinery

Publisher: New York, NY :ACM,

Year of publication: 2010

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

ISBN: 978-1-4503-0150-3

Type of Medium: Book

Language: English

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

4

Book

Proceedings of the International Workshop on Parallel Symbolic Computation / (2010)

Association for Computing Machinery

New York :ACM,

add to mindlist on the mindlist

Details

Title: Proceedings of the International Workshop on Parallel Symbolic Computation /

Contributer: Association for Computing Machinery

Publisher: New York :ACM,

Year of publication: 2010

Pages: 106 S.

Type of Medium: Book

Language: English

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

5

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

6

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

7

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

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

10

Book

Scientific computing in chemical engineering II / (1999)

Keil, Frerich [[Hrsg.]]

Berlin [u.a.] :Springer,

add to mindlist on the mindlist

Details

Title: Scientific computing in chemical engineering II /

Contributer: Keil, Frerich

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

Year of publication: 1999

Type of Medium: Book

Language: English

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

11

Book

Simulation, image processing, optimization, and control (1999)

Keil, Frerich [[Hrsg.]]

add to mindlist on the mindlist

Details

Title: Simulation, image processing, optimization, and control

Contributer: Keil, Frerich

Edition: Keil, Mackens, Voß, Werther (eds.)

Year of publication: 1999

Pages: XVII, 412 S.

Series Statement: Scientific computing in chemical engineering II

ISBN: 3-540-65851-3

Type of Medium: Book

Language: English

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

12

Book

Simulation, image processing, optimization, and control (1999)

Keil, Frerich [[Hrsg.]]

add to mindlist on the mindlist

Details

Title: Simulation, image processing, optimization, and control

Contributer: Keil, Frerich

Year of publication: 1999

Pages: XVII, 442 S.

Series Statement: Simulation, image processing, optimization, and control

ISBN: 3-540-65848-3

Type of Medium: Book

Language: English

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

13

Book

Scientific computing in chemical engineering ; with 30 tables / (1996)

Keil, Frerich [[Hrsg.]]

Berlin [u.a.] :Springer,

add to mindlist on the mindlist

Details

Title: Scientific computing in chemical engineering ; with 30 tables /

Contributer: Keil, Frerich

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

Year of publication: 1996

Pages: XV, 259 S. : , graph. Darst.

ISBN: 3-540-60940-7

Type of Medium: Book

Language: English

URL: http://www.zentralblatt-math.org/zmath/en/search/?an=0844.00031

URL: http://www.gbv.de/dms/bowker/toc/9783540609407.pdf

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

14

Book

ACM transactions on computer human interaction / (1994)

Association for Computing Machinery

New York, NY :ACM Press, ; 1.1994-

add to mindlist on the mindlist

Details

Title: ACM transactions on computer human interaction /

Author: Association for Computing Machinery

Publisher: New York, NY :ACM Press,

Year of publication: 1994

Dates of Publication: 1.1994-

ISSN: 1073-0516

Type of Medium: Book

Language: English

URL: Zugriff auf Volltexte nicht möglich

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

15

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

16

Book

Jahresbericht (1975-1983)

Grossrechenzentrum für die Wissenschaft in Berlin

Berlin, ; 1974/75(1975) - 1981/82(1983)

add to mindlist on the mindlist

Details

Title: Jahresbericht

Author: Grossrechenzentrum für die Wissenschaft in Berlin

Publisher: Berlin,

Year of publication: 1975-1983

Dates of Publication: 1974/75(1975) - 1981/82(1983)

Type of Medium: Book

Language: Undetermined

Former Title: Grossrechenzentrum für die Wissenschaft in Berlin: Tätigkeitsbericht ... des Großrechenzentrums für die Wissenschaft in Berlin

Subsequent Title: Konrad-Zuse-Zentrum für Informationstechnik 〈Berlin, West〉: Tätigkeitsbericht

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

17

Book

GRZ-Hausmitteilungen (1973-1982)

Grossrechenzentrum für die Wissenschaft in Berlin

Berlin, ; 1973 - 1982; damit Ersch. eingest.

add to mindlist on the mindlist

Details

Title: GRZ-Hausmitteilungen

Author: Grossrechenzentrum für die Wissenschaft in Berlin

Publisher: Berlin,

Year of publication: 1973-1982

Dates of Publication: 1973 - 1982; damit Ersch. eingest.

Type of Medium: Book

Language: Undetermined

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

18

Book

Tätigkeitsbericht ... des Großrechenzentrums für die Wissenschaft in Berlin / (1974)

Grossrechenzentrum für die Wissenschaft in Berlin

Berlin, ; 1971/73(1974)

add to mindlist on the mindlist

Details

Title: Tätigkeitsbericht ... des Großrechenzentrums für die Wissenschaft in Berlin /

Author: Grossrechenzentrum für die Wissenschaft in Berlin

Publisher: Berlin,

Year of publication: 1974

Dates of Publication: 1971/73(1974)

Type of Medium: Book

Language: Undetermined

Subsequent Title: Grossrechenzentrum für die Wissenschaft in Berlin: Jahresbericht

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

19

Book

LISP 1.5 für den TR 440 : Stand: November 1973 (1973)

Grossrechenzentrum für die Wissenschaft in Berlin

Berlin :Grossrechenzentrum,

add to mindlist on the mindlist

Details

Title: LISP 1.5 für den TR 440 : Stand: November 1973

Contributer: Grossrechenzentrum für die Wissenschaft in Berlin

Publisher: Berlin :Grossrechenzentrum,

Year of publication: 1973

Pages: 83 S.

Type of Medium: Book

Language: Undetermined

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin