de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Zeiträume
2
Einträge für
2001-2100
Autoren / Beteiligte
2
Einträge für
Kleine Büning, Hans
2
Einträge für
Wehrheim, Heike
1
Einträge für
Ngonga Ngomo, Axel-Cyrille
1
Einträge für
Platzner, Marco
1
Einträge für
Simon, Jens
1
Einträge für
Timm, Nils
1
Einträge für
Travkin, Oleg
Bibliotheken
2
Einträge für
Sammlungen der UB Paderborn
2
Neuzugänge
Klassifikation
Schliessen
Filter
4
zu den Filteroptionen
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
vom 11.12.2017
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
vom 4.7.2013
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils
2013