de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Autoren / Beteiligte
3
Einträge für
Niggemann, Oliver
2
Einträge für
Kleine Büning, Hans
1
Einträge für
Isenberg, Tobias
1
Einträge für
Kalech, Meir
1
Einträge für
Maier, Alexander
1
Einträge für
Vodenčarević, Asmir
1
Einträge für
Wehrheim, Heike
1
Einträge für
Zilles, Sandra
Bibliotheken
3
Einträge für
Sammlungen der UB Paderborn
3
Neuzugänge
Klassifikation
Schliessen
Filter
2
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
Philosophie und Psychologie
Religion
Sozialwissenschaften
Naturwissenschaften und Mathematik
Sprache
Künste und Unterhaltung
Geschichte und Geografie
Technik, Medizin, angewandte Wissenschaften
Literatur
vom 27.5.2016
Induction-based Verification of Timed Systems
Isenberg, Tobias
;
Wehrheim, Heike
;
Niggemann, Oliver
Elektronische Ressource, Paderborn, 2016
vom 5.3.2015
Identification of timed behavior models for diagnosis in production systems
Maier, Alexander
2015
vom 30.7.2013
Identifying behavior models for hybrid production systems
Vodenčarević, Asmir
2013