ZIB

1

Buch

Background: mathematical structures; 1 (1992)

Abramsky, S. [[Hrsg.]] ; Gabbay, Dov M. [[Hrsg.]] ; Maibaum, T. S. E. [[Hrsg.]]

Oxford u.a. :Oxford University Pr.,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Background: mathematical structures; 1

Beteiligte Person(en): Abramsky, S. , Gabbay, Dov M. , Maibaum, T. S. E.

Verlag: Oxford u.a. :Oxford University Pr.,

Erscheinungsjahr: 1992

Seiten: 827 S.

Serie: Handbook of logic in computer science 1

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

2

Buch

Background: computational structures; 2 (1992)

Abramsky, S. [[Hrsg.]] ; Gabbay, Dov M. [[Hrsg.]] ; Maibaum, T. S. E. [[Hrsg.]]

Oxford u.a. :Oxford University Pr.,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Background: computational structures; 2

Beteiligte Person(en): Abramsky, S. , Gabbay, Dov M. , Maibaum, T. S. E.

Verlag: Oxford u.a. :Oxford University Pr.,

Erscheinungsjahr: 1992

Seiten: 571 S.

Serie: Handbook of logic in computer science 2

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

3

Buch

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

Cray User Group

Boulder Colorado :National Center for Atmospheric Research,

zur Merkliste hinzufügen auf der Merkliste

Details

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

Beteiligte Person(en): Cray User Group

Verlag: Boulder Colorado :National Center for Atmospheric Research,

Erscheinungsjahr: 1992

Seiten: 592 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

4

Buch

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

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

Philadelphia, PA :SIAM,

zur Merkliste hinzufügen auf der Merkliste

Details

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

Beteiligte Person(en): Dongarra, Jack J. , Kennedy, Ken , Messina, Paul

Verlag: Philadelphia, PA :SIAM,

Erscheinungsjahr: 1992

Seiten: 648 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

5

Buch

Evolution problems I technology; Vol. 5 (1992)

Dautray, Robert ; Lions, Jacques-Louis

Berlin u.a. :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Evolution problems I technology; Vol. 5

Autor: Dautray, Robert

Beteiligte Person(en): Lions, Jacques-Louis

Verlag: Berlin u.a. :Springer,

Erscheinungsjahr: 1992

Serie: Mathematical analysis and numerical methods for science and technology Vol. 5

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

6

Buch

Evolution problems I technology; Vol. 5 (1992)

Dautray, Robert ; Lions, Jacques-Louis

Berlin u.a. :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Evolution problems I technology; Vol. 5

Autor: Dautray, Robert

Beteiligte Person(en): Lions, Jacques-Louis

Verlag: Berlin u.a. :Springer,

Erscheinungsjahr: 1992

Seiten: 709 S.

Serie: Mathematical analysis and numerical methods for science and technology Vol. 5

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin