Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 51 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
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.
Vormerken Zum Korb hinzufügen
2.
Algebraic and logic programming international workshop, Gaussig, GDR, November 14 - 18, 1988 ; proceedings J. Grabowski ... (eds.) von Reihen: ; 34300 | Lecture notes in computer science ; 343 | Algebraic and logic programming ; 1988
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 343.
Vormerken Zum Korb hinzufügen
3.
Algebraic system specification and development a survey and annotated bibliography M. Bidoit ... (eds.) von Reihen: ; 50100 | Lecture notes in computer science ; 501
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1991
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 501.
Vormerken Zum Korb hinzufügen
4.
Algebraic specification techniques in object oriented programming environments R. Breu von Reihen: ; 56200 | Lecture notes in computer science ; 562
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1991
Hochschulschriftenvermerk: Zugl.: Passau, Univ., Diss., 1991
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 562.
Vormerken Zum Korb hinzufügen
5.
Logic and algebra of specification [proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, held in Marktoberdorf, Germany, July 23 - August 4, 1991] ed. by Friedrich L. Bauer ... von Reihen: ; 94 | NATO NATO ASI series / F ; 94 |
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1993
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) BAU f 1993:1 1.Ex, ... Nicht verfügbar: Gebäude E1 5 (MPI-SWS SB): restricted use (1).
Vormerken Zum Korb hinzufügen
6.
Nondeterminism in algebraic specifications and algebraic programs Heinrich Hussmann von Reihen: ; 8 | Progress in theoretical computer science ; 8
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Boston Berlin [u.a.] Birkhäuser 1993
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) HUS h 1993:1 1.Ex, ...
Vormerken Zum Korb hinzufügen
7.
Algebraic specification of communication protocols ed. by S. Mauw; Gerrit Jan Veltink von Reihen: ; 3600 | Cambridge tracts in theoretical computer science ; 36
Auflage: 1. publ.
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Cambridge [u.a.] University Press 1993
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) MAU s 1993:1 1.Ex.
Vormerken Zum Korb hinzufügen
8.
Higher order algebra, logic, and term rewriting first international workshop; selected papers HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Jan Heering ... (eds.) von Reihen: ; 81600 | Lecture notes in computer science ; 816
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1994
Weitere Titel:
  • Higher-order
  • HOA '93
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 816.
Vormerken Zum Korb hinzufügen
9.
Algebraic specification techniques and tools for software development the ACT approach Ingo Claßen; Hartmut Ehrig; Dietmar Wolz von Reihen: ; 100 | AMAST series in computing ; 1
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Singapore [u.a.] World Scientific 1993
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) CLA i 1993:1 1.Ex.
Vormerken Zum Korb hinzufügen
10.
Algebraic and logic programming proceedings of an international workshop held in Gaussig (GDR), November 14 - 18, 1988 ed. by Jan Grabowski ... von Reihen: ; 4900 | Mathematical research ; 49
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch, Englisch Verlag: Berlin Akademie-Verl. 1988
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) ALP 1988 1 2.Ex.
Vormerken Zum Korb hinzufügen
11.
12.
Higher order algebra, logic, and term rewriting second international workshop; selected papers HOA '95, Paderborn, Germany, September 21 - 22, 1995. Gilles Dowek ... (eds.) von Reihen: ; 107400 | Lecture notes in computer science ; 1074
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1996
Weitere Titel:
  • higher-order
  • HOA '95
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 1074.
Vormerken Zum Korb hinzufügen
13.
Algebraic and logic programming 5th International Conference, ALP'96, Aachen, Germany, September 25 - 27, 1996; proceedings Michael Hanus ... (eds.) von Reihen: ; 113900 | Lecture notes in computer science ; 1139
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1996
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 1139.
Vormerken Zum Korb hinzufügen
14.
Algebraic and logic programming 6th international joint conference, ALP '97 - HOA '97, Southampton, UK, September 3 - 5, 1997; proceedings Michael Hanus ... (ed.) von Reihen: ; 129800 | Lecture notes in computer science ; 1298
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1997
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 1298.
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.
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
17.
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
18.
CASL reference manual the complete documentation of the common algebraic specification language Peter D. Mosses (ed.) von Reihen: Tutorial | ; 296000 | Lecture notes in computer science ; 2960
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 2004
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) OD 2320, ...
Vormerken Zum Korb hinzufügen
19.
20.
Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27 - 29, 2004 ; revised selected papers José Luiz Fiadeiro ... (ed.) von Reihen: ; 342300 | Lecture notes in computer science ; 3423
Materialtyp: Text Text; Format: Druck
Sprache: Englisch
Verlagsnummer:
  • 11407355
Verlag: Berlin Heidelberg [u.a.] Springer 2005
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 3423.
Vormerken Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha