ZIB

Buch

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

New York, NY :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

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

Beteiligte Person(en): Brodie, Michael L. , ACM , Association for Computing Machinery / Special Interest Group on Programming Languages , SIGART , ACM / SIGMOD

Verlag: New York, NY :ACM,

Erscheinungsjahr: 1980

Seiten: 211 S.

Serie: Sigplan Notices Vol. 16

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

Buch

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

Brodie, Michael L. [[Hrsg.]]

New York, NY :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

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

Beteiligte Person(en): Brodie, Michael L. , ACM , Association for Computing Machinery / Special Interest Group on Programming Languages , SIGART , ACM / SIGMOD

Verlag: New York, NY :ACM,

Erscheinungsjahr: 1980

Seiten: 211 S.

Serie: Sigplan Notices Vol. 16

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

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

Buch

Tagungsband der 9. WASCO-Tagung (1980)

WASCO

WASCO,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Tagungsband der 9. WASCO-Tagung

Beteiligte Person(en): WASCO

Verlag: WASCO,

Erscheinungsjahr: 1980

Seiten: 468 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

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

Treffer 1 - 5 | 5 Treffer