ZIB

1

Buch

1984 ACM Sigmetrics conference on measurement and modeling of computer systems; Vol. 12 (1984)

ACM ; SIGMETRICS

New York, NY :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 1984 ACM Sigmetrics conference on measurement and modeling of computer systems; Vol. 12

Beteiligte Person(en): ACM , SIGMETRICS

Verlag: New York, NY :ACM,

Erscheinungsjahr: 1984

Seiten: 216 S.

Serie: Sigmetrics - Performance Evaluation Review Vol. 12

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

2

Buch

Sigcomm 84 Tutorials & Symposium: Communications architectures & protocols; Vol. 14 (1984)

ACM ; SIGCOMM

New York, NY :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Sigcomm 84 Tutorials & Symposium: Communications architectures & protocols; Vol. 14

Beteiligte Person(en): ACM , SIGCOMM

Verlag: New York, NY :ACM,

Erscheinungsjahr: 1984

Seiten: 263 S.

Serie: Sigcomm - Computer Communication Review Vol. 14

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

3

Buch

Sigcomm 84 Tutorials & Symposium: Communications architectures & protocols; Vol. 14 (1984)

ACM ; SIGCOMM

New York, NY :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Sigcomm 84 Tutorials & Symposium: Communications architectures & protocols; Vol. 14

Beteiligte Person(en): ACM , SIGCOMM

Verlag: New York, NY :ACM,

Erscheinungsjahr: 1984

Seiten: 263 S.

Serie: Sigcomm - Computer Communication Review Vol. 14

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

4

Buch

GI 13. Jahrestagung. 1983, Hamburg; 73 (1983)

Kupka, Ingbert [[Hrsg.]]

Berlin u.a. :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: GI 13. Jahrestagung. 1983, Hamburg; 73

Beteiligte Person(en): Kupka, Ingbert , GI

Verlag: Berlin u.a. :Springer,

Erscheinungsjahr: 1983

Seiten: 502 S.

Serie: Informatik-Fachberichte 73

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

5

Buch

Proceedings of the ACM Sigsoft/Sigplan Software Engineering Symposium on High-Level Debugging; Vol. 18 (1983)

Johnson, Marc Scott [[Hrsg.]]

New York, NY :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Proceedings of the ACM Sigsoft/Sigplan Software Engineering Symposium on High-Level Debugging; Vol. 18

Beteiligte Person(en): Johnson, Marc Scott , ACM , Association for Computing Machinery / Special Interest Group on Programming Languages , Sigsoft

Verlag: New York, NY :ACM,

Erscheinungsjahr: 1983

Seiten: 208 S.

Serie: Sigplan Notices Vol. 18

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

6

Buch

Proceedings of the Sigplan 83 symposium on programming language issues in software systems; Vol. 18 (1983)

ACM ; Association for Computing Machinery / Special Interest Group on Programming Languages

New York, NY :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Proceedings of the Sigplan 83 symposium on programming language issues in software systems; Vol. 18

Beteiligte Person(en): ACM , Association for Computing Machinery / Special Interest Group on Programming Languages

Verlag: New York, NY :ACM,

Erscheinungsjahr: 1983

Seiten: 219 S.

Serie: Sigplan Notices Vol. 18

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

7

Buch

Proceedings of the Sigplan 83 symposium on programming language issues in software systems; Vol. 18 (1983)

ACM ; Association for Computing Machinery / Special Interest Group on Programming Languages

New York, NY :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Proceedings of the Sigplan 83 symposium on programming language issues in software systems; Vol. 18

Beteiligte Person(en): ACM , Association for Computing Machinery / Special Interest Group on Programming Languages

Verlag: New York, NY :ACM,

Erscheinungsjahr: 1983

Seiten: 219 S.

Serie: Sigplan Notices Vol. 18

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

8

Buch

1982 ACM Sigmetrics conference on measurement and modeling of computer systems; Vol. 11 (1982)

ACM ; SIGMETRICS

New York, NY :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 1982 ACM Sigmetrics conference on measurement and modeling of computer systems; Vol. 11

Beteiligte Person(en): ACM , SIGMETRICS

Verlag: New York, NY :ACM,

Erscheinungsjahr: 1982

Seiten: 257 S.

Serie: Sigmetrics - Performance Evaluation Review Vol. 11

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

9

Buch

1st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS I); Vol. 17 (1982)

ACM ; Association for Computing Machinery / Special Interest Group on Programming Languages ; SIGOPS ; [weitere]

New York, NY :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 1st International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS I); Vol. 17

Beteiligte Person(en): ACM , Association for Computing Machinery / Special Interest Group on Programming Languages , SIGOPS , SIGARCH , IEEE

Verlag: New York, NY :ACM,

Erscheinungsjahr: 1982

Seiten: 210 S.

Serie: Sigplan Notices Vol. 17

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

10

Buch

GI 12. Jahrestagung. 1982, Kaiserslautern; 57 (1982)

Nehmer, Jürgen [[Hrsg.]]

Berlin u.a. :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: GI 12. Jahrestagung. 1982, Kaiserslautern; 57

Beteiligte Person(en): Nehmer, Jürgen , GI

Verlag: Berlin u.a. :Springer,

Erscheinungsjahr: 1982

Seiten: 732 S.

Serie: Informatik-Fachberichte 57

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

11

Buch

Programmiersprachen und Programmmentwicklung. 7. Fachtagung; 53 (1982)

Woessner, Hans [[Hrsg.]]

Berlin u.a. :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Programmiersprachen und Programmmentwicklung. 7. Fachtagung; 53

Beteiligte Person(en): Woessner, Hans , GI , FA 2

Verlag: Berlin u.a. :Springer,

Erscheinungsjahr: 1982

Seiten: 236 S.

Serie: Informatik-Fachberichte 53

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

12

Buch

1981 ACM Sigmetrics conference on measurement and modeling of computer systems; Vol. 10 (1981)

ACM ; SIGMETRICS

New York, NY :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 1981 ACM Sigmetrics conference on measurement and modeling of computer systems; Vol. 10

Beteiligte Person(en): ACM , SIGMETRICS

Verlag: New York, NY :ACM,

Erscheinungsjahr: 1981

Seiten: 215 S.

Serie: Sigmetrics - Performance Evaluation Review Vol. 10

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

13

Buch

5th International Conference on Software Engineering. Proceedings (1981)

ACM ; Sigsoft ; IEEE Computer Society

Los Alamitos, CA u.a. :IEEE Computer Society Press,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: 5th International Conference on Software Engineering. Proceedings

Beteiligte Person(en): ACM , Sigsoft , IEEE Computer Society

Verlag: Los Alamitos, CA u.a. :IEEE Computer Society Press,

Erscheinungsjahr: 1981

Seiten: 472 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

14

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

15

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

16

Buch

GI 11. Jahrestagung in Verb. mit 3rd Conference of the European Co- operation in Informatics (ECI). 1981, München; 50 (1981)

Brauer, Wilfried [[Hrsg.]]

Berlin u.a. :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: GI 11. Jahrestagung in Verb. mit 3rd Conference of the European Co- operation in Informatics (ECI). 1981, München; 50

Beteiligte Person(en): Brauer, Wilfried , GI

Verlag: Berlin u.a. :Springer,

Erscheinungsjahr: 1981

Seiten: 617 S.

Serie: Informatik-Fachberichte 50

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

17

Buch

Proceedings of the 8th Symposium on Operating Systems Principles; Vol. 15 (1981)

ACM ; SIGOPS

New York, NY :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Proceedings of the 8th Symposium on Operating Systems Principles; Vol. 15

Beteiligte Person(en): ACM , SIGOPS

Verlag: New York, NY :ACM,

Erscheinungsjahr: 1981

Seiten: 189 S.

Serie: Operating Systems Review Vol. 15

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

18

Buch

Textverarbeitung und Informatik. Fachtagung der GI; 30 (1980)

Wossidlo, Peter Ruetger [[Hrsg.]]

Berlin u.a. :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Textverarbeitung und Informatik. Fachtagung der GI; 30

Beteiligte Person(en): Wossidlo, Peter Ruetger , GI

Verlag: Berlin u.a. :Springer,

Erscheinungsjahr: 1980

Seiten: 362 S.

Serie: Informatik-Fachberichte 30

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

19

Buch

Programmiersprachen und Programmmentwicklung. 6. Fachtagung des Fachausschusses Programmiersprachen der GI; 25 (1980)

Hoffmann, Hans [[Hrsg.]]

Berlin u.a. :Springer,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Programmiersprachen und Programmmentwicklung. 6. Fachtagung des Fachausschusses Programmiersprachen der GI; 25

Beteiligte Person(en): Hoffmann, Hans , GI

Verlag: Berlin u.a. :Springer,

Erscheinungsjahr: 1980

Seiten: 236 S.

Serie: Informatik-Fachberichte 25

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

20

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

21

Buch

Proceedings of the ACM-Sigplan symposium on the AD¬A¬ programming language; Vol. 15 (1980)

ACM ; Association for Computing Machinery / Special Interest Group on Programming Languages

New York, NY :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Proceedings of the ACM-Sigplan symposium on the AD¬A¬ programming language; Vol. 15

Beteiligte Person(en): ACM , Association for Computing Machinery / Special Interest Group on Programming Languages

Verlag: New York, NY :ACM,

Erscheinungsjahr: 1980

Seiten: 242 S.

Serie: Sigplan Notices Vol. 15

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

22

Buch

Proceedings of the 17th Annual Computer Personnel Research Conference (1980)

Awad, Elias M. [[Hrsg.]]

New York, NY :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Proceedings of the 17th Annual Computer Personnel Research Conference

Beteiligte Person(en): Awad, Elias M. , ACM , SIGCPR

Verlag: New York, NY :ACM,

Erscheinungsjahr: 1980

Seiten: 181 S.

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

23

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

24

Buch

Proceedings of the ACM-Sigplan symposium on the AD¬A¬ programming language; Vol. 15 (1980)

ACM ; Association for Computing Machinery / Special Interest Group on Programming Languages

New York, NY :ACM,

zur Merkliste hinzufügen auf der Merkliste

Details

Titel: Proceedings of the ACM-Sigplan symposium on the AD¬A¬ programming language; Vol. 15

Beteiligte Person(en): ACM , Association for Computing Machinery / Special Interest Group on Programming Languages

Verlag: New York, NY :ACM,

Erscheinungsjahr: 1980

Seiten: 242 S.

Serie: Sigplan Notices Vol. 15

Materialart: Buch

Permalink

Bibliothek	Standort	Signatur	Band/Heft/Jahr	Verfügbarkeit

Andere fanden auch interessant ...

ZIB Katalog

Zuse-Institut Berlin

25

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

26

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