de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Autoren / Beteiligte
2
Einträge für
Platzner, Marco
1
Einträge für
Kleine Büning, Hans
1
Einträge für
Lettmann, Theodor
1
Einträge für
Meyer auf der Heide, Friedhelm
1
Einträge für
Ngonga Ngomo, Axel-Cyrille
1
Einträge für
Plessl, Christian
1
Einträge für
Riebler, Heinrich
1
Einträge für
Simon, Jens
1
Einträge für
Tierney, Kevin
1
Einträge für
Travkin, Oleg
1
Einträge für
Wehrheim, Heike
Zeige 1 weitere
Zeige erste 10
2
Titel
Klassifikation
Schliessen
Filter
1
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
Efficient parallel branch-and-bound search on FPGAs using work stealing and instance-specific designs
Riebler, Heinrich
;
Plessl, Christian
;
Platzner, Marco
;
Meyer auf der Heide, Friedhelm
;
Tierney, Kevin
;
Lettmann, Theodor
Elektronische Ressource, Paderborn, 2019
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