de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Dokumenttypen
2
Einträge für
Dissertation
1
Einträge für
Bachelorarbeit
1
Einträge für
Diplomarbeit
Autoren / Beteiligte
4
Einträge für
Schäfer, Wilhelm
2
Einträge für
Tichy, Matthias
2
Einträge für
Travkin, Dietrich
1
Einträge für
Dziwok, Stefan
1
Einträge für
Kindler, Ekkart
1
Einträge für
Kleine Büning, Hans
1
Einträge für
Priesterjahn, Claudia
1
Einträge für
Rammig, Franz Josef
Sprachen
4
Einträge für
Englisch
2
Einträge für
Deutsch
Bibliotheken
4
Einträge für
Sammlungen der UB Paderborn
4
Titel
Klassifikation
Schliessen
Filter
3
zu den Filteroptionen
Titel
Personen
Ort
Verlag
Jahr
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
Alle
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
Specification and verification for real-time coordination protocols of cyber-physical systems
Dziwok, Stefan
;
Schäfer, Wilhelm
;
Tichy, Matthias
Elektronische Ressource, Paderborn, 2017
Analyzing self-healing operations in mechatronic systems
Priesterjahn, Claudia
2013
Bewertung automatisch erkannter Instanzen von Software-Mustern
Travkin, Dietrich
;
Schäfer, Wilhelm
;
Kindler, Ekkart
Elektronische Ressource, Paderborn, 2018
Generierung typsicherer Implementierungen für Assoziationen in UML-Modellen
Travkin, Dietrich
;
Schäfer, Wilhelm
;
Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2018