ZIB

1

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

2

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

3

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

4

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

5

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

6

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

7

Book

TOP500 report 1993 (1994)

Dongarra, Jack J. [[Hrsg.]]

add to mindlist on the mindlist

Details

Title: TOP500 report 1993

Contributer: Dongarra, Jack J.

Year of publication: 1994

Pages: 285 S.

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

8

Book

TOP500 report 1993 (1994)

Dongarra, Jack J. [[Hrsg.]] ; Meuer, Hans-Werner [[Hrsg.]] ; Strohmaier, E. [[Hrsg.]]

add to mindlist on the mindlist

Details

Title: TOP500 report 1993

Contributer: Dongarra, Jack J. , Meuer, Hans-Werner , Strohmaier, E.

Year of publication: 1994

Pages: 285 S.

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

9

Book

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

Cray User Group

add to mindlist on the mindlist

Details

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

Contributer: Cray User Group

Year of publication: 1994

Pages: 477 S.

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

10

Book

Computer benchmarks; 8 (1993)

Dongarra, Jack J. [[Hrsg.]] ; Gentzsch, Wolfgang [[Hrsg.]]

Amsterdam u.a. :North-Holland,

add to mindlist on the mindlist

Details

Title: Computer benchmarks; 8

Contributer: Dongarra, Jack J. , Gentzsch, Wolfgang

Publisher: Amsterdam u.a. :North-Holland,

Year of publication: 1993

Pages: 349 S.

Series Statement: Advances in parallel computing series 8

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

11

Book

Environments and tools for parallel scientific computing; Vol. 6 (1993)

Dongarra, Jack J. [[Hrsg.]] ; Tourancheau, Bernard [[Hrsg.]]

Amsterdam u.a. :North-Holland,

add to mindlist on the mindlist

Details

Title: Environments and tools for parallel scientific computing; Vol. 6

Contributer: Dongarra, Jack J. , Tourancheau, Bernard

Publisher: Amsterdam u.a. :North-Holland,

Year of publication: 1993

Pages: 362 S.

Series Statement: Advances in parallel computing Vol. 6

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

12

Book

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

Cray User Group

add to mindlist on the mindlist

Details

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

Contributer: Cray User Group

Year of publication: 1993

Pages: 489 S.

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

13

Book

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

Cray User Group

add to mindlist on the mindlist

Details

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

Contributer: Cray User Group

Year of publication: 1993

Pages: 403 S.

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

14

Book

Templates for the solution of linear systems: building blocks for iterative methods (1993)

Barrett, Richard ; Berry, Michael ; Chan, Tony F. ; [et al.]

Philadelphia, PA :SIAM,

add to mindlist on the mindlist

Details

Title: Templates for the solution of linear systems: building blocks for iterative methods

Author: Barrett, Richard

Contributer: Berry, Michael , Chan, Tony F. , Demmel, J. , Donato, June , Dongarra, Jack J. , Eijkhout, Victor , Pozo, Roldan , Romine, Charles , Vorst, Henk van der

Publisher: Philadelphia, PA :SIAM,

Year of publication: 1993

Pages: 112 S.

Type of Medium: Book

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

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

5th SIAM conference on parallel processing for scientific computing. Proceedings (1992)

Dongarra, Jack J. [[Hrsg.]] ; Kennedy, Ken [[Hrsg.]] ; Messina, Paul [[Hrsg.]]

Philadelphia, PA :SIAM,

add to mindlist on the mindlist

Details

Title: 5th SIAM conference on parallel processing for scientific computing. Proceedings

Contributer: Dongarra, Jack J. , Kennedy, Ken , Messina, Paul

Publisher: Philadelphia, PA :SIAM,

Year of publication: 1992

Pages: 648 S.

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

17

Book

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

Cray User Group

Boulder Colorado :National Center for Atmospheric Research,

add to mindlist on the mindlist

Details

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

Contributer: Cray User Group

Publisher: Boulder Colorado :National Center for Atmospheric Research,

Year of publication: 1992

Pages: 592 S.

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

18

Book

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

Winget, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

add to mindlist on the mindlist

Details

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

Contributer: Winget, Karen , Cray User Group

Publisher: Boulder Colorado :National Center for Atmospheric Research,

Year of publication: 1991

Pages: 456 S.

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

19

Book

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

Winget, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

add to mindlist on the mindlist

Details

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

Contributer: Winget, Karen , Cray User Group

Publisher: Boulder Colorado :National Center for Atmospheric Research,

Year of publication: 1991

Pages: 434 S.

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

20

Book

Solving linear systems on vector and shared memory computers (1991)

Dongarra, Jack J. ; Duff, Iain S. ; Sorensen, Danny C. ; [et al.]

Philadelphia, PA :SIAM,

add to mindlist on the mindlist

Details

Title: Solving linear systems on vector and shared memory computers

Author: Dongarra, Jack J.

Contributer: Duff, Iain S. , Sorensen, Danny C. , Vorst, Henk A. van der

Publisher: Philadelphia, PA :SIAM,

Year of publication: 1991

Pages: 256 S.

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

21

Book

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

Winget, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

add to mindlist on the mindlist

Details

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

Contributer: Winget, Karen , Cray User Group

Publisher: Boulder Colorado :National Center for Atmospheric Research,

Year of publication: 1990

Pages: 449 S.

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

22

Book

Proceedings of the 4th SIAM conference on parallel processing for scientific computing. Chicago, Ill., Dec. 11-13, 1989; 44 (1990)

Dongarra, Jack J. [[Hrsg.]] ; Messina, Paul [[Hrsg.]] ; Sorensen, Danny, C. [[Hrsg.]] ; [et al.]

Philadelphia, PA :SIAM,

add to mindlist on the mindlist

Details

Title: Proceedings of the 4th SIAM conference on parallel processing for scientific computing. Chicago, Ill., Dec. 11-13, 1989; 44

Contributer: Dongarra, Jack J. , Messina, Paul , Sorensen, Danny, C. , Voigt, Robert G.

Publisher: Philadelphia, PA :SIAM,

Year of publication: 1990

Pages: 454 S.

Series Statement: Proceedings in Applied Mathematics 44

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

23

Book

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

Winget, Karen [[Hrsg.]]

Boulder Colorado :National Center for Atmospheric Research,

add to mindlist on the mindlist

Details

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

Contributer: Winget, Karen , Cray User Group

Publisher: Boulder Colorado :National Center for Atmospheric Research,

Year of publication: 1990

Pages: 372 S.

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin