Ihre Suche erzielte 3 Treffer.

1.
Adaptive Datenreplikation in verteilten Systemen Richard Lenz

von Lenz, Richard | Lenz, Richard [aut].

Reihen: Teubner-Texte zur Informatik; Bd. 23Materialtyp: Text Text; Format: Druck Veröffentlichungsangaben: Stuttgart; Leipzig Teubner 1997Verfügbarkeit: Ausleihbare Exemplare: Bibliothek der NORDAKADEMIESignatur: EDV 58 (1).

2.
Hardware-Design : formaler Entwurf digitaler Schaltungen Jörg Keller

von Keller, Jörg | Keller, Jörg [aut] | Paul, Wolfgang J [aut].

Reihen: (Teubner-Texte zur Informatik; Bd. 15Auflage: 2., bearb. Auf.Materialtyp: Text Text; Format: Druck Veröffentlichungsangaben: Stuttgart; Leipzig Teubner 1997Verfügbarkeit: Ausleihbare Exemplare: Bibliothek der NORDAKADEMIESignatur: EDV 13 (1).

3.
Semantik und Programmverifikation Christoph Walther

von Walther, Christoph | Walther, Christoph [aut].

Reihen: Teubner-Texte zur Informatik ; 34Auflage: 1. Aufl.Materialtyp: Text Text; Format: Druck Veröffentlichungsangaben: Stuttgart [u.a.] Teubner 2001Verfügbarkeit: Ausleihbare Exemplare: Bibliothek der NORDAKADEMIESignatur: EDV 51 (1).

Powered by Koha