de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
jump to main content
Search Details
Quicksearch:
OK
Close
Document types
2
Entries for
Dissertation (PhD)
Periods
1
Entries for
2011-2020
1
Entries for
2021-2030
Authors / Collaborators
2
Entries for
Wehrheim, Heike
1
Entries for
Beyer, Dirk
1
Entries for
Bodden, Eric
1
Entries for
Jakobs, Marie-Christine
1
Entries for
König, Jürgen
1
Entries for
Platenius, Marie Christin
1
Entries for
Platzner, Marco
Languages
1
Entries for
English
1
Entries for
German
2
Titles
Classification
Close
Filters
2
jump to filter-options
Title
Persons
Place
Publisher
Year
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
All Titles
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
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