de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
jump to main content
Search Details
Quicksearch:
OK
Close
Authors / Collaborators
2
Entries for
Kleine Büning, Hans
1
Entries for
Ibrahim, Emad Monier Mosaad
1
Entries for
Ngonga Ngomo, Axel-Cyrille
1
Entries for
Platzner, Marco
1
Entries for
Rückert, Ulrich
1
Entries for
Simon, Jens
1
Entries for
Travkin, Oleg
1
Entries for
Wehrheim, Heike
2
Titles
Classification
Close
Filters
1
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
All
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
Vision based tracking in team sports
Ibrahim, Emad Monier Mosaad
2011
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