Campusbibliothek

Ihre Suche erzielte 3 Treffer.

Sortieren
Ergebnisse
1.
Recent trends in data type specification 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1 - 4, 1987 ; selected papers D. Sannella ... (eds.) von Reihen: ; 33200 | Lecture notes in computer science ; 332 | Recent trends in data type specification ; 1987,5
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1988
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 332.
2.
Programming languages and systems proceedings ESOP '94, 5th European Symposium on Programming, Edinburgh, UK, April 11 - 13, 1994. Donald Sannella (ed.) von Reihen: ; 78800 | Lecture notes in computer science ; 788
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1994
Weitere Titel:
  • ESOP '94
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LNCS 788.
3.
Semantics, implementation and pragmatics of clear, a program specification language by Donald Theodore Sannella von Reihen: ; 17 | CST ; 17
Materialtyp: Text Text; Format: Druck
Verlag: Edinburgh Univ. 1982
Hochschulschriftenvermerk: Edinburgh, Diss., 1982
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (1)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) SAN d4 1982:1 1.Ex.
Seiten

Impressum

Datenschutzhinweise

Powered by Koha