de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
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
Orte
2
Einträge für
Paderborn
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
Klassifikation (DDC)
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
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