Schliessen

Publizieren

Besondere Sammlungen

Digitalisierungsservice

Hilfe

Impressum

Datenschutz

zum Inhalt
 
Detailsuche
 
 
 

Schließen

Dokumenttypen

  •  
    1Einträge für Dissertation

Orte

  •  
    1Einträge für Paderborn

Autoren / Beteiligte

  •  
    1Einträge für Glässer, Uwe
  •  
    1Einträge für Rammig, Franz Josef
  •  
    1Einträge für Zhao, Yuhong

Sprachen

  •  
    1Einträge für Englisch

Bibliotheken

  •  
    1Einträge für Sammlungen der UB Paderborn
 

1 Titel in Klassifikation (DDC) → Informatik, Informationswissenschaft, allgemeine Werke → Informatik, Wissen, Systeme → Das Buch
Klassifikation
Schliessen
Filter

zu den Filteroptionen
 
     
  • A
  • B
  • C
  • D
  • E
  • F
  • G
  • H
  • I
  • J
  • K
  • L
  • M
  • N
  • O
  • P
  • Q
  • R
  • S
  • T
  • U
  • V
  • W
  • X
  • Y
  • Z
  •  
  • Alle Titel
  • Klassifikation (DDC)
  • Informatik, Informationswissenschaft, allgemeine Werke
  • Informatik, Wissen, Systeme
  • Das Buch
  • Titelblatt

    Online model checking mechanism and its applications

    Zhao, Yuhong ; Rammig, Franz Josef ; Glässer, Uwe
    Elektronische Ressource, Paderborn
Impressum Datenschutz
Die Universität der Informationsgesellschaft
© 2026 Universitätsbibliothek Paderborn | Impressum | Datenschutzerklärung
Visual Library Server 2026