de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Dokumenttypen
4
Einträge für
Dissertation
Zeiträume
4
Einträge für
2021-2030
Autoren / Beteiligte
4
Einträge für
Wehrheim, Heike
1
Einträge für
Andrews, David
1
Einträge für
Beringer, Steffen
1
Einträge für
Bodden, Eric
1
Einträge für
Engels, Gregor
1
Einträge für
König, Jürgen
1
Einträge für
Meyer auf der Heide, Friedhelm
1
Einträge für
Pauck, Felix
1
Einträge für
Platzner, Marco
1
Einträge für
Somorovsky, Juraj
1
Einträge für
Wiersema, Tobias
Zeige 1 weitere
Zeige erste 10
Sprachen
3
Einträge für
Englisch
2
Einträge für
Deutsch
4
Treffer
für
Personen = "Wehrheim, Heike" und Sammlung = Sammlungen der UB Paderborn
Klassifikation
Schliessen
Filter
2
zu den Filteroptionen
Relevanz
Titel
Personen
Ort
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
Cooperative Android App analysis
Pauck, Felix
;
Wehrheim, Heike
;
Bodden, Eric
Elektronische Ressource, Paderborn, 2023
Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Wiersema, Tobias
;
Platzner, Marco
;
Wehrheim, Heike
;
Andrews, David
;
Meyer auf der Heide, Friedhelm
;
Somorovsky, Juraj
Elektronische Ressource, Paderborn, 2021
On the membership and correctness problem for state serializability and value opacity
König, Jürgen
;
Wehrheim, Heike
Elektronische Ressource, Paderborn, 2023
Timing Verifikation von AUTOSAR Softwarearchitekturen
Beringer, Steffen
;
Wehrheim, Heike
;
Engels, Gregor
Elektronische Ressource, Paderborn, 2022