ZIB

1

Buch

Numerical analysis of variational inequalities; 8 (1981)

Glowinski, Roland ; Lions, Jacques-Louis ; Tremolieres, Raymond

Amsterdam u.a. :North-Holland,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Numerical analysis of variational inequalities; 8

Autor: Glowinski, Roland

Beteiligte Person(en): Lions, Jacques-Louis , Tremolieres, Raymond

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

Erscheinungsjahr: 1981

Seiten: 776 S.

Serie: Studies in Mathematics and its Applications 8

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

2

Buch

Informationspool zur Behandlung komplexer Datenstrukturen (1981)

Appelt, Rainer

Berlin :Großrechenzentrum für die Wissenschaft,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Informationspool zur Behandlung komplexer Datenstrukturen

Autor: Appelt, Rainer

Beteiligte Person(en): Grossrechenzentrum für die Wissenschaft in Berlin

Ausgabe: Stand Februar 1981; TR 440 (BS3, MV19)

Verlag: Berlin :Großrechenzentrum für die Wissenschaft,

Erscheinungsjahr: 1981

Seiten: 82 S.

Materialart: Buch

Sprache: Deutsch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

3

Buch

¬Der¬ INFORT Verifier (1981)

Appelt, Rainer

Berlin :Großrechenzentrum für die Wissenschaft,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: ¬Der¬ INFORT Verifier

Autor: Appelt, Rainer

Beteiligte Person(en): Grossrechenzentrum für die Wissenschaft in Berlin

Ausgabe: Stand Februar 1981; TR 440 (BS3, MV19)

Verlag: Berlin :Großrechenzentrum für die Wissenschaft,

Erscheinungsjahr: 1981

Seiten: 15 S.

Materialart: Buch

Sprache: Deutsch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

4

Buch

Computing methods in applied science and engineering, IV (1980)

Glowinski, Roland [[Hrsg.]] ; Lions, Jacques-Louis [[Hrsg.]]

Amsterdam u.a. :North-Holland,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Computing methods in applied science and engineering, IV

Beteiligte Person(en): Glowinski, Roland , Lions, Jacques-Louis

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

Erscheinungsjahr: 1980

Seiten: 724 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

5

Buch

Optimization / Part 2 : Proceedings of the 9th IFIP Conference on Optimization Techniques, Warsaw, September 4-8, 1979 (1980)

Iracki, K. ; Malanowski, K. ; Walukiewicz, S.

Berlin u.a. :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Optimization / Part 2 : Proceedings of the 9th IFIP Conference on Optimization Techniques, Warsaw, September 4-8, 1979

Autor: Iracki, K.

Beteiligte Person(en): Malanowski, K. , Walukiewicz, S.

Verlag: Berlin u.a. :Springer,

Erscheinungsjahr: 1980

Seiten: 621 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

6

Buch

Optimization / Part 1 : Proceedings of the 9th IFIP Conference on Optimization Techniques, Warsaw, September 4-8, 1979 (1980)

Iracki, K. ; Malanowski, K. ; Walukiewicz, S.

Berlin u.a. :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Optimization / Part 1 : Proceedings of the 9th IFIP Conference on Optimization Techniques, Warsaw, September 4-8, 1979

Autor: Iracki, K.

Beteiligte Person(en): Malanowski, K. , Walukiewicz, S.

Verlag: Berlin u.a. :Springer,

Erscheinungsjahr: 1980

Seiten: 569 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

7

Buch

Informationspool zur Behandlung komplexer Datenstrukturen : Stand Februar 1980 TR 440 (BS3, MV19) (1980)

Appelt, Rainer

Berlin :Großrechenzentrum für die Wissenschaft,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Informationspool zur Behandlung komplexer Datenstrukturen : Stand Februar 1980 TR 440 (BS3, MV19)

Autor: Appelt, Rainer

Beteiligte Person(en): Grossrechenzentrum für die Wissenschaft in Berlin

Verlag: Berlin :Großrechenzentrum für die Wissenschaft,

Erscheinungsjahr: 1980

Seiten: 76 S.

Materialart: Buch

Sprache: Deutsch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

8

Buch

PFORTE : Erweiterungen des PFORT-Verifiers : Stand Juni 1980; TR 440 (BS3, MV19); Siemens (BS200, V5.0) (1980)

Appelt, Rainer ; Schulz, Uwe

Berlin :Großrechenzentrum für die Wissenschaft,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: PFORTE : Erweiterungen des PFORT-Verifiers : Stand Juni 1980; TR 440 (BS3, MV19); Siemens (BS200, V5.0)

Autor: Appelt, Rainer

Beteiligte Person(en): Schulz, Uwe , Grossrechenzentrum für die Wissenschaft in Berlin

Verlag: Berlin :Großrechenzentrum für die Wissenschaft,

Erscheinungsjahr: 1980

Seiten: 42 S.

Materialart: Buch

Sprache: Deutsch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin