• Medientyp: Buch; Hochschulschrift
  • Titel: Temporalised description logics for monitoring partially observable events
  • Beteiligte: Lippmann, Marcel [VerfasserIn]
  • Erschienen: 2014
  • Umfang: IV, 186 S.; Ill., graph. Darst
  • Sprache: Englisch
  • RVK-Notation: ST 125 : Schaltungstheorie, Rechnerarithmetik, Logik
  • Schlagwörter: Hochschulschrift
  • Entstehung:
  • Hochschulschrift: Dresden, Techn. Univ., Fak. Informatik, Diss., 2014
  • Anmerkungen:

Exemplare

(0)
  • Signatur: R2017 4 897
  • Barcode: 34117127
  • Status: Ausleihbar, bitte bestellen
  • Signatur: 2014 4 014353
  • Barcode: 34117128
  • Status: Bestellen zur Benutzung im Haus, kein Versand per Fernleihe, nur Kopienlieferung