Campusbibliothek

Präzisieren Sie die Suche

Ihre Suche erzielte 51 Treffer.

Sortieren
Alle auswählen Auswahl aufheben
Titel auswählen:
Ergebnisse
41.
Algebraic specifications in software engineering an introduction Ivo van Horebeek; Johan Lewi von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg New York London Paris Tokyo Hong Kong Springer 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) HOR i 1989:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
42.
On equal terms implementing algebraic specifications door Humphrey Robert Walters von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: 1991
Hochschulschriftenvermerk: Amsterdam, Univ., Diss., 1991
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) WAL h3 1990:1 1.Ex.
Vormerken Zum Korb hinzufügen
43.
Algebra of communicating processes proceedings of ACP94, the First Workshop on the Algebra of Communicating Processes, Utrecht, The Netherlands, 16 - 17 May 1994 A. Ponse ... (ed.) Publ. in collab. with the British Computer Society von Reihen: Workshops in Computing
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: London 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) PON a 1995:1 1.Ex.
Vormerken Zum Korb hinzufügen
44.
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
45.
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
46.
Mathematisch-strukturelle Grundlagen der Informatik mit 71 Tabellen H. Ehrig ... von Reihen: Springer-Lehrbuch
Materialtyp: Text Text; Format: Druck
Sprache: Deutsch Verlag: Berlin Heidelberg [u.a.] Springer 1999
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 h 1999:1 2.Ex, ...
Vormerken Zum Korb hinzufügen
47.
Algebraic foundations of systems specification [IFIP Working Group 1.3 Foundations of Systems Specification]. E. Astesiano ... (eds.) von Reihen: IFIP State-of-the-Art reports
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1999
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) AST e 1999:1 1.Ex.
Vormerken Zum Korb hinzufügen
48.
Definitions- und Beweisprinzipien für Daten und Prozesse eingereicht von Ulrich Hensel von
Materialtyp: Text Text; Format: Druck
Sprache: Englisch Verlag: 1998
Hochschulschriftenvermerk: Dresden, Techn. Univ., Diss., 1999
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) HEN u 1998:1 1.Ex.
Vormerken Zum Korb hinzufügen
49.
Formal specifications with higher-order parameterization Maria Victoria Cengarle von Reihen: Berichte aus der Informatik
Auflage: Als Ms. gedr
Materialtyp: Text Text; Format: Druck
Sprache: Englisch 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) CEN m 1995:1 1.Ex.
Vormerken Zum Korb hinzufügen
50.
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
51.
Fundamentals of algebraic specification H. Ehrig; B. Mahr von Reihen: EATCS monographs on theoretical computer science ; ...
Materialtyp: Gesamtaufnahme Gesamtaufnahme
Sprache: Englisch Verlag: Berlin Heidelberg [u.a.] Springer 1985-
Verfügbarkeit: Keine Exemplare verfügbar.
Zum Korb hinzufügen
Seiten

Impressum

Datenschutzhinweise

© 2023 Campusbibliothek für Informatik und Mathematik | GWDG

Powered by Koha