Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 42 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
1.
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
2.
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
3.
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
4.
Categorical methods in computer science with aspects from topology ; [in September 1988 the International Workshop on ... was held in Berlin (West)] H. Ehrig ... (eds.) von Reihen: ; 39300 | Lecture notes in computer science ; 393
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1989
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 393.
Vormerken Zum Korb hinzufügen
5.
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
6.
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
7.
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
8.
9.
10.
Algebraic methodology and software technology 4th International Conference, AMAST '95, Montreal, Canada, July 3 - 7, 1995 ; proceedings AMAST '95. V. S. Alagar ... (ed.) von Reihen: ; 93600 | Lecture notes in computer science ; 936
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1995
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 936.
Vormerken Zum Korb hinzufügen
11.
12.
Recent trends in algebraic development techniques 12th international workshop, WADT '97, Tarquinia, Italy, June 3 - 7, 1997; selected papers Francesco Parisi Presicce (ed.) von Reihen: ; 137600 | Lecture notes in computer science ; 1376
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1998
Weitere Titel:
  • WADT '97
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 1376.
Vormerken Zum Korb hinzufügen
13.
Abstract compositional analysis of iterated relations a structural approach to complex state transition systems Frédéric Geurts von Reihen: ; 142600 | Lecture notes in computer science ; 1426
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1998
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 1426.
Vormerken Zum Korb hinzufügen
14.
Algebraic methodology and software technology 7th international conference ; proceedings AMAST '98, Amazonia, Brazil, January 4 - 8, 1999. Armando Martín Haeberer (ed.) von Reihen: ; 154800 | Lecture notes in computer science ; 1548
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1999
Weitere Titel:
  • AMAST'98
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 1548.
Vormerken Zum Korb hinzufügen
15.
Recent trends in algebraic development techniques 13th International Workshop, WADT '98, Lisbon, Portugal, April 2 - 4, 1998 ; selected papers José Luiz Fiadeiro (ed.) von Reihen: ; 158900 | Lecture notes in computer science ; 1589
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1999
Weitere Titel:
  • WADT '98
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 1589.
Vormerken Zum Korb hinzufügen
16.
Algebraic methodology and software technology 8th international conference ; Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings AMAST 2000. Teodor Rus (ed.) von Reihen: ; 181600 | Lecture notes in computer science ; 1816
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg New York [u.a.] Springer 2000
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 1816.
Vormerken Zum Korb hinzufügen
17.
Recent trends in algebraic development techniques 14th international workshop, Château de Bonas, France, September 15 - 18, 1999 ; selected papers WADT '99. Didier Bert ... (eds.) von Reihen: ; 182700 | Lecture notes in computer science ; 1827
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg New York [u.a.] Springer 2000
Weitere Titel:
  • WADT '99
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 1827.
Vormerken Zum Korb hinzufügen
18.
Recent trends in algebraic development techniques 15th international workshop; WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1 - 3, 2001; selected papers Maura Cerioli; Gianna Reggio (ed.) von Reihen: ; 2267 | Lecture notes in computer science ; 2267
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2001
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 2267.
Vormerken Zum Korb hinzufügen
19.
Algebraic methodology and software technology 9th international conference ; proceedings AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9 - 13, 2002. Hélène Kirchner ... (eds.) von Reihen: ; 242200 | Lecture notes in computer science ; 2422
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2002
Weitere Titel:
  • AMAST 2002
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 2422.
Vormerken Zum Korb hinzufügen
20.
Recent trends in algebraic development techniques 16th international workshop, Frauenchiemsee, Germany, September 24 - 27, 2002 ; revised selected papers WADT 2002. Martin Wirsing; Dirk Pattinson; Rolf Hennicker (eds.) von Reihen: ; 275500 | Lecture notes in computer science ; 2755
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2003
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 2755.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha