Ihre Suche erzielte 3 Treffer.

1.
Techniken zur Modellierung und Verifikation von Echtzeitsystemen Jürgen Ruf

von Ruf, Jürgen | Ruf, Jürgen [aut].

Auflage: 1. AuflageMaterialtyp: Text Text; Format: Druck Veröffentlichungsangaben: Berlin Logos-Verlag 1999Verfügbarkeit: Ausleihbare Exemplare: Bibliothek der NORDAKADEMIESignatur: EDV 73 (1).

Vormerken Zum Korb hinzufügen
2.
Temporale Realzeitverifikation Annette Lötzebeyer

von Lötzebeyer, Annette | Lötzebeyer, Annette [aut].

Auflage: 1. AuflageMaterialtyp: Text Text; Format: Druck Veröffentlichungsangaben: Berlin Logos-Verlag 1999Verfügbarkeit: Ausleihbare Exemplare: Bibliothek der NORDAKADEMIESignatur: EDV 73 (1).

Vormerken Zum Korb hinzufügen
3.
Innovative Markenführung und -implementierung

von Keuper, Frank; Bald, Thorsten [pbl].

Materialtyp: Text Text; Format: Druck Sprache: Deu Veröffentlichungsangaben: Berlin Logos Verlag 2011Verfügbarkeit: Ausleihbare Exemplare: Bibliothek der NORDAKADEMIESignatur: BWL 61 (2), Nordakademie Campus HamburgSignatur: BWL 61 (1). Ausgeliehen (1).

Vormerken Zum Korb hinzufügen

Powered by Koha