ZIB

1

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

2

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

3

Buch

Network optimization problems: algorithms, applications and complexity; Vol. 2 (1993)

Du, Ding-Zhu [[Hrsg.]] ; Pardalos, Panos M. [[Hrsg.]]

London u.a. :World Scientific,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Network optimization problems: algorithms, applications and complexity; Vol. 2

Beteiligte Person(en): Du, Ding-Zhu , Pardalos, Panos M.

Verlag: London u.a. :World Scientific,

Erscheinungsjahr: 1993

Seiten: 401 S.

Serie: Series on applied mathematics Vol. 2

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

4

Buch

Complexity in numerical optimization (1993)

Pardalos, Panos M. [[Hrsg.]]

Singapore :World Scientific Publishing,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Complexity in numerical optimization

Beteiligte Person(en): Pardalos, Panos M.

Verlag: Singapore :World Scientific Publishing,

Erscheinungsjahr: 1993

Seiten: 511 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

5

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

6

Buch

Computational methods in global optimization; 25 (1990)

Pardalos, Panos M. [[Hrsg.]] ; Rosen, J.B. [[Hrsg.]]

Basel :Baltzer,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Computational methods in global optimization; 25

Beteiligte Person(en): Pardalos, Panos M. , Rosen, J.B.

Verlag: Basel :Baltzer,

Erscheinungsjahr: 1990

Seiten: 302 S.

Serie: Annals of operations research 25

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

7

Buch

¬A¬ collection of test problems for constrained global optimization algorithms; 455 (1990)

Floudas, Christodoulos A. ; Pardalos, Panos M.

Berlin u.a. :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: ¬A¬ collection of test problems for constrained global optimization algorithms; 455

Autor: Floudas, Christodoulos A.

Beteiligte Person(en): Pardalos, Panos M.

Verlag: Berlin u.a. :Springer,

Erscheinungsjahr: 1990

Seiten: 180 S.

Serie: Lecture notes in computer science 455

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin