Campusbibliothek

Ihre Suche erzielte 21 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
Recent trends in data type specification selected papers Workshop on Specification of Abstract Data Types von
Materialtyp: Fortlaufende Ressource Fortlaufende Ressource; Format: Druck ; Art der fortlaufenden Ressource: Periodika
Verlag: Berlin Heidelberg [u.a.] Springer 1982-1988
Weitere Titel:
  • Informatik-Fachberichte / Recent trends in data type specification
  • Lecture notes in computer science / Recent trends in data type specification
Verfügbarkeit: Keine Exemplare verfügbar.
Zum Korb hinzufügen
2.
Semantics of data types international symposium, Sophia-Antipolis, France, June 27 - 29, 1984 ; proceedings ed. by G. Kahn ... von Reihen: ; 17300 | Lecture notes in computer science ; 173
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1984
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 173 1.Ex.
Vormerken Zum Korb hinzufügen
3.
Bibliography on abstract data types B. Kutzler; F. Lichtenberger von Reihen: ; 68 | Informatik-Fachberichte ; 68
Materialtyp: Text Text; Format: Druck
Sprache: Englisch, Deutsch Verlag: Berlin u.a. Springer 1983
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) IFB 68 1.Ex.
Vormerken Zum Korb hinzufügen
4.
Paragon a language using type hierarchies for the specification, implementation and selection of abstract data types Mark Steven Sherman von Reihen: ; 189 | Lecture notes in computer science ; 189
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin [u.a.] Springer 1985
Hochschulschriftenvermerk: Zugl.: Pittsburgh, Pa., Univ., Diss., 1983
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 189.
Vormerken Zum Korb hinzufügen
5.
Recent trends in data type specification 3rd Workshop on Theory and Applications of Abstract Data Types ; selected papers ed. by Hans-Jörg Kreowski von Reihen: ; 116 | Informatik-Fachberichte ; 116
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1985
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) IFB 116 1.Ex.
Vormerken Zum Korb hinzufügen
6.
Initial computability, algebraic specifications, and partial algebras Horst Reichel von Reihen: ; 200 | International series of monographs on computer science ; 2
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Pr. 1987
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) REI h 1987:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
7.
Program correctness over abstract data types, with error-state semantics J. V. Tucker; J. I. Zucker von Reihen: ; 500 | Centrum voor Wiskunde en Informatica CWI monographs ; 500 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Amsterdam [u.a.] North-Holland 1988
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) TUCk j 1988:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
8.
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.
Vormerken Zum Korb hinzufügen
9.
A systematic catalogue of reusable abstract data types Jürgen Uhl; Hans Albrecht Schmid von Reihen: ; 46000 | Lecture notes in computer science ; 460
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1990
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 460.
Vormerken Zum Korb hinzufügen
10.
Recent trends in data type specification 7th Workshop on Specification of Abstract Data Types, Wusterhausen/Dosse, Germany, April 17 - 20, 1990 ; proceedings H. Ehrig ... (eds.) von Reihen: ; 53400 | Lecture notes in computer science ; 534
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1991
Weitere Titel:
  • abstract
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 534.
Vormerken Zum Korb hinzufügen
11.
Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers M. Bidoit ... (eds.) von Reihen: ; 65500 | Lecture notes in computer science ; 655
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1993
Weitere Titel:
  • 8th Workshop on Specification of Abstract Data Types, 3rd COMPASS Workshop
  • COMPASS 91
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 655.
Vormerken Zum Korb hinzufügen
12.
13.
14.
A tactic based inductive theorem prover for data types with partial operations Ulrich Kühler von Reihen: ; 238 | Dissertationen zur künstlichen Intelligenz ; 238
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Akad. Verl.-Ges. Aka 2000
Hochschulschriftenvermerk: Zugl.: Kaiserslautern, Univ., Diss., 1999 (Nicht für den Austausch)
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) DISKI 238.
Vormerken Zum Korb hinzufügen
15.
Algebraische Spezifikation abstrakter Datentypen eine Einführung in die Theorie ; mit Beispielen und Übungen von Hans-Dieter Ehrich; Martin Gogolla; Udo Walter Lipeck von Reihen: Leitfäden und Monographien der Informatik
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Stuttgart Teubner 1989
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) EHR h2 1989:1 2.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
16.
Abstract data types their specification, representation, and use Pete Thomas ; Hugh Robinson ; Judy Emms von Reihen: Oxford applied mathematics and computing science series
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Oxford Clarendon Pr. 1988
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) ThOM p 1988:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
17.
Data abstraction and object-oriented programming in C++ Keith E. Gorlen; Sanford M. Orlow; Perry S. Plexico von
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch, Englisch Verlag: Stuttgart Teubner [u.a.] 1990Verlag: Chichester [u.a.] Wiley 1990
Weitere Titel:
  • object oriented
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (2)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) GOR k 1990:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
18.
Abstrakte Datentypen und temporale Logik ein kombinierter Spezifikationsansatz Frank Leßke von Reihen: Berichte aus der Informatik
Auflage: Als Ms. gedr.
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Aachen Shaker 1995
Hochschulschriftenvermerk: Zugl.: München, Univ., Diss., 1994
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) LEß f 1995:1 1.Ex.
Vormerken Zum Korb hinzufügen
19.
Specification of abstract data types Jacques Loeckx; Hans-Dieter Ehrich; Markus Wolf von Reihen: Wiley-Teubner computing
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Stuttgart Teubner 1996Verlag: Chichester [u.a.] Wiley Teubner 1996
Online-Ressourcen:
Verfügbarkeit: Ausleihbare Exemplare: Gebäude E2 3 (UdS Campusbibliothek für Informatik und Mathematik) (3)Sammlung, Signatur: Campusbibliothek für Informatik und Mathematik (E2 3) LOE j 1996:1 3.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
20.
Modelling distributed systems with 7 tables Wan Fokkink von Reihen: Texts in theoretical computer science : an EATCS series
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 12072095
Verlag: Berlin Heidelberg [u.a.] Springer 2007
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) FOK w 2007:1 1.Ex.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha