de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
jump to main content
Search Details
Quicksearch:
OK
Close
Authors / Collaborators
1
Entries for
Kleine Büning, Hans
1
Entries for
Ngonga Ngomo, Axel-Cyrille
1
Entries for
Platzner, Marco
1
Entries for
Simon, Jens
1
Entries for
Travkin, Oleg
1
Entries for
Wehrheim, Heike
1
Hit
for
Persons = "Wehrheim, Heike" and Collection = Sammlungen der UB Paderborn
Classification
Close
Filters
1
jump to filter-options
Relevance
Title
Persons
Place
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
Verifying concurrent programs under weak memory models
Travkin, Oleg
;
Wehrheim, Heike
;
Kleine Büning, Hans
;
Ngonga Ngomo, Axel-Cyrille
;
Platzner, Marco
;
Simon, Jens
Elektronische Ressource, Paderborn, 2017