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

Markov's theorem and 100 years of the uniqueness conjecture : a mathematical journey from irrational numbers to perfect matchings (2013)

Aigner, Martin

Cham [u.a.] :Springer,

add to mindlist on the mindlist

Details

Title: Markov's theorem and 100 years of the uniqueness conjecture : a mathematical journey from irrational numbers to perfect matchings

Author: Aigner, Martin

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

Year of publication: 2013

Pages: X, 257 S. : , Ill., graph. Darst.

ISBN: 978-3-319-00887-5 , 978-3-319-00888-2

Type of Medium: Book

Language: English

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

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

3

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

4

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

5

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

6

Book

Proofs from THE BOOK / (2010)

Aigner, Martin ; Ziegler, Günter M. ; Hofmann, Karl H.

Berlin [u.a.] :Springer,

add to mindlist on the mindlist

Details

Title: Proofs from THE BOOK /

Author: Aigner, Martin

Contributer: Ziegler, Günter M. , Hofmann, Karl H.

Edition: 4. ed.

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

Year of publication: 2010

Pages: VIII, 274 S. : , Ill., graph. Darst. ; , 25 cm, 860 gr.

ISBN: 978-3-642-00855-9 , 978-642-00856-6

Type of Medium: Book

Language: English

Parallel Title: Aigner, Martin: Das Buch der Beweise

URL: http://d-nb.info/99594685X/04

URL: http://zbmath.org/?q=an:1185.00001

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

7

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

8

Book

MathFilm Festival 2008 : a collection of mathematical videos (2008)

Polthier, Konrad [[Hrsg.]] ; Aigner, Martin [[Hrsg.]] ; Apostol, Tom M. [[Hrsg.]] ; [et al.]

Berlin :Springer,

add to mindlist on the mindlist

Details

Title: MathFilm Festival 2008 : a collection of mathematical videos

Contributer: Polthier, Konrad , Aigner, Martin , Apostol, Tom M. , Emmer, Michele , Hege, Hans-Christian , Weinberg, Ulrich

Edition: 1. Ed.

Publisher: Berlin :Springer,

Year of publication: 2008

Series Statement: Springer VideoMath

ISBN: 978-3-540-68902-7

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

9

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

10

Book

¬A¬ course in enumeration : with 11 tables; 238 (2007)

Aigner, Martin

Berlin [u.a.] :Springer,

add to mindlist on the mindlist

Details

Title: ¬A¬ course in enumeration : with 11 tables; 238

Author: Aigner, Martin

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

Year of publication: 2007

Pages: X, 561 S. : , graph. Darst.

Series Statement: Graduate texts in mathematics 238

ISBN: 978-3-540-39032-9 , 3-540-39032-4

Type of Medium: Book

Language: English

URL: Link zur Zentralblatt Math Datenbank

URL: http://deposit.d-nb.de/cgi-bin/dokserv?id=2874198&prov=M&dok_var=1&dok_ext=htm

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

11

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

12

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

13

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

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