ZIB

1

Book

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,

add to mindlist on the mindlist

Details

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

Author: Iracki, K.

Contributer: Malanowski, K. , Walukiewicz, S.

Publisher: Berlin u.a. :Springer,

Year of publication: 1980

Pages: 621 S.

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

2

Book

Proceedings of the workshop on data abstraction, databases and conceptual modelling; Vol. 16 (1980)

Brodie, Michael L. [[Hrsg.]]

New York, NY :ACM,

add to mindlist on the mindlist

Details

Title: Proceedings of the workshop on data abstraction, databases and conceptual modelling; Vol. 16

Contributer: Brodie, Michael L. , ACM , Association for Computing Machinery / Special Interest Group on Programming Languages , SIGART , ACM / SIGMOD

Publisher: New York, NY :ACM,

Year of publication: 1980

Pages: 211 S.

Series Statement: Sigplan Notices Vol. 16

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

3

Book

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,

add to mindlist on the mindlist

Details

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

Author: Iracki, K.

Contributer: Malanowski, K. , Walukiewicz, S.

Publisher: Berlin u.a. :Springer,

Year of publication: 1980

Pages: 569 S.

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

4

Book

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

Appelt, Rainer

Berlin :Großrechenzentrum für die Wissenschaft,

add to mindlist on the mindlist

Details

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

Author: Appelt, Rainer

Contributer: Grossrechenzentrum für die Wissenschaft in Berlin

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

Year of publication: 1980

Pages: 76 S.

Type of Medium: Book

Language: German

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

5

Book

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

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

Amsterdam u.a. :North-Holland,

add to mindlist on the mindlist

Details

Title: Computing methods in applied science and engineering, IV

Contributer: Glowinski, Roland , Lions, Jacques-Louis

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

Year of publication: 1980

Pages: 724 S.

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

6

Book

Proceedings of the workshop on data abstraction, databases and conceptual modelling; Vol. 16 (1980)

Brodie, Michael L. [[Hrsg.]]

New York, NY :ACM,

add to mindlist on the mindlist

Details

Title: Proceedings of the workshop on data abstraction, databases and conceptual modelling; Vol. 16

Contributer: Brodie, Michael L. , ACM , Association for Computing Machinery / Special Interest Group on Programming Languages , SIGART , ACM / SIGMOD

Publisher: New York, NY :ACM,

Year of publication: 1980

Pages: 211 S.

Series Statement: Sigplan Notices Vol. 16

Type of Medium: Book

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin

7

Book

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,

add to mindlist on the mindlist

Details

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

Author: Appelt, Rainer

Contributer: Schulz, Uwe , Grossrechenzentrum für die Wissenschaft in Berlin

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

Year of publication: 1980

Pages: 42 S.

Type of Medium: Book

Language: German

Permalink

Library	Location	Call Number	Volume/Issue/Year	Availability

Others were also interested in ...

ZIB Catalog

Zuse Institute Berlin