ZIB

1

Buch

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

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

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Graph and model transformation : general framework and applications

Beteiligte Person(en): Ehrig, Hartmut , Ermel, Claudia , Golas, Ulrike , Hermann, Frank

Erscheinungsjahr: 2015

Seiten: XI, 472 Seiten : , Illustrationen

Serie: Monographs in Theoretical Computer Science / EATCS

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

Materialart: Buch

Sprache: Englisch

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

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

2

Buch

Computer Algebra in Scientific Computing /; 8136 (2013)

Gerdt, Vladimir P. [[Hrsg.]] ; Koepf, Wolfram [[Hrsg.]] ; Mayr, Ernst W. [[Hrsg.]] ; [weitere]

Cham [u. a.] :Springer International Publishing, | Springer

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Computer Algebra in Scientific Computing /; 8136

Beteiligte Person(en): Gerdt, Vladimir P. , Koepf, Wolfram , Mayr, Ernst W. , Vorozhtsov, Evgenii V.

Verlag: Cham [u. a.] :Springer International Publishing, , Springer

Erscheinungsjahr: 2013

Serie: Lecture notes in computer science 8136

ISBN: 978-3-319-02297-0 , 978-3-319-02296-3

Materialart: Buch

Sprache: Englisch

URL: http://www.zbmath.org/?q=an:1246.68035

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

3

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

4

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

5

E-Ressource

Proceedings of ISSAC 2009 (2009)

International Symposium on Symbolic and Algebraic Computation 〈20, 2008, Hagenberg, Austria〉 ; Association for Computing Machinery / Special Interest Group on Symbolic and Algebraic Manipulation

New York :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Proceedings of ISSAC 2009

Beteiligte Person(en): International Symposium on Symbolic and Algebraic Computation 〈20, 2008, Hagenberg, Austria〉 , Association for Computing Machinery / Special Interest Group on Symbolic and Algebraic Manipulation

Verlag: New York :ACM,

Erscheinungsjahr: 2009

Seiten: 1 CD-ROM

ISBN: 978-1-605-58609-0

Materialart: Elektronische Ressource

Sprache: Englisch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

6

E-Ressource

Proceedings of ISSAC 2008 (2008)

International Symposium on Symbolic and Algebraic Computation 〈20, 2008, Hagenberg, Austria〉 ; Association for Computing Machinery / Special Interest Group on Symbolic and Algebraic Manipulation

New York :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Proceedings of ISSAC 2008

Beteiligte Person(en): International Symposium on Symbolic and Algebraic Computation 〈20, 2008, Hagenberg, Austria〉 , Association for Computing Machinery / Special Interest Group on Symbolic and Algebraic Manipulation

Verlag: New York :ACM,

Erscheinungsjahr: 2008

Seiten: 1 CD-ROM

ISBN: 978-1-59593-904-3

Materialart: Elektronische Ressource

Sprache: Englisch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

7

Buch

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

Ehrig, Hartmut

Berlin [u.a.] :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

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

Beteiligte Person(en): Ehrig, Hartmut , ICGT 〈4, 2008, Leicester〉

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

Erscheinungsjahr: 2008

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

Serie: Lecture notes in computer science 5214

ISBN: 978-3-540-87404-1

Materialart: Buch

Sprache: Englisch

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

URL: Inhaltsverzeichnis

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

8

E-Ressource

Proceedings of ISSAC 2007, PASCO 2007, SNC 2007 (2007)

International Symposium on Symbolic and Algebraic Computation 〈20, 2007, Waterloo, Ontario〉 ; PASCO 2007 London, Ontario 2007.07.27-28 ; SNC 〈2007, London, Ontario〉 ; [weitere]

New York :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Proceedings of ISSAC 2007, PASCO 2007, SNC 2007

Beteiligte Person(en): International Symposium on Symbolic and Algebraic Computation 〈20, 2007, Waterloo, Ontario〉 , PASCO 2007 London, Ontario 2007.07.27-28 , SNC 〈2007, London, Ontario〉 , Association for Computing Machinery / Special Interest Group on Symbolic and Algebraic Manipulation

Verlag: New York :ACM,

Erscheinungsjahr: 2007

Seiten: 1 CD-ROM

ISBN: 978-1-59593-742-1

Materialart: Elektronische Ressource

Sprache: Englisch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

9

E-Ressource

ISSAC 2006 proceedings (2006)

Association for Computing Machinery / Special Interest Group on Symbolic and Algebraic Manipulation ; ISSAC 2006 Genova 2006.07.09-12 ; International Symposium on Symbolic and Algebraic Computation Genova 2006.07.09-12

[New York, NY] :Association for Computing Machinery,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: ISSAC 2006 proceedings

Beteiligte Person(en): Association for Computing Machinery / Special Interest Group on Symbolic and Algebraic Manipulation , ISSAC 2006 Genova 2006.07.09-12 , International Symposium on Symbolic and Algebraic Computation Genova 2006.07.09-12

Verlag: [New York, NY] :Association for Computing Machinery,

Erscheinungsjahr: 2006

Seiten: 1 CD-ROM

ISBN: 1-595-93475-8

Materialart: Elektronische Ressource

Sprache: Englisch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

10

Zeitschrift/Serie

ACM communications in computer algebra : a quarterly publication of the Special Interest Group on Symbolic & Algebraic Manipulation (ab 2006)

Association for Computing Machinery / Special Interest Group on Symbolic and Algebraic Manipulation ; Association for Computing Machinery

New York, NY :ACM, ; 40.2006=Nr. 155 -

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: ACM communications in computer algebra : a quarterly publication of the Special Interest Group on Symbolic & Algebraic Manipulation

Beteiligte Person(en): Association for Computing Machinery / Special Interest Group on Symbolic and Algebraic Manipulation , Association for Computing Machinery

Verlag: New York, NY :ACM,

Erscheinungsjahr: 2006

Erscheinungsverlauf: 40.2006=Nr. 155 -

ISSN: 1932-2232

Materialart: Zeitschrift/Serie

Sprache: Englisch

Vorheriger Titel: SIGSAM communications in computer algebra. - Nebent. 40.2006,1: ACM SIGSAM bulletin. - Nebent. 40.2006,1: Communications in computer algebra

Anmerkung: Ersch. bis 2005 vierteljährl., 2006 3x jährl., ab 2007 halbjährl.

Paralleltitel: Internetausg. ---〉: Association for Computing Machinery / Special Interest Group on Symbolic and Algebraic Manipulation: SIGSAM bulletin

URL: http://portal.acm.org/browse_dl.cfm?linked=1&part=newsletter&idx=J1000&coll=ACM&dl=ACM&CFID=21643592&CFTOKEN=53195216

URL: http://www.sigsam.org/cca/issues.html

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

11

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

12

E-Ressource

Proceedings : [proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation ; July 4 - 7, 2004, Santander, Spain] (2004)

ISSAC 〈29, 2004, Santander〉

[New York, NY] :ACM Press,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Proceedings : [proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation ; July 4 - 7, 2004, Santander, Spain]

Autor: ISSAC 〈29, 2004, Santander〉

Beteiligte Person(en): Association for Computing Machinery / Special Interest Group on Symbolic and Algebraic Manipulation

Verlag: [New York, NY] :ACM Press,

Erscheinungsjahr: 2004

Seiten: 1 CD-ROM 12 cm TYP MH

ISBN: 1-58113-939-X

Materialart: Elektronische Ressource

Sprache: Englisch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

13

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

14

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

15

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