de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Dokumenttypen
2
Einträge für
Dissertation
Zeiträume
1
Einträge für
2011-2020
1
Einträge für
2021-2030
Autoren / Beteiligte
2
Einträge für
Wehrheim, Heike
1
Einträge für
Beyer, Dirk
1
Einträge für
Bodden, Eric
1
Einträge für
Jakobs, Marie-Christine
1
Einträge für
König, Jürgen
1
Einträge für
Platenius, Marie Christin
1
Einträge für
Platzner, Marco
Sprachen
1
Einträge für
Englisch
1
Einträge für
Deutsch
2
Titel
in
Alle Kollektionen
Klassifikation
Schliessen
Filter
2
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
On the membership and correctness problem for state serializability and value opacity
König, Jürgen
;
Wehrheim, Heike
Elektronische Ressource, Paderborn, 2023
On-The-Fly safety checking - customizing program certification and program restructuring
Jakobs, Marie-Christine
;
Wehrheim, Heike
;
Beyer, Dirk
;
Bodden, Eric
;
Platzner, Marco
;
Platenius, Marie Christin
Elektronische Ressource, Paderborn, 2017