de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Dokumenttypen
3
Einträge für
Dissertation
1
Einträge für
Buch
Zeiträume
2
Einträge für
2011-2020
2
Einträge für
2021-2030
Autoren / Beteiligte
4
Einträge für
Platzner, Marco
4
Einträge für
Wehrheim, Heike
2
Einträge für
Meyer auf der Heide, Friedhelm
1
Einträge für
Andrews, David
1
Einträge für
Beyer, Dirk
1
Einträge für
Bodden, Eric
1
Einträge für
Haake, Claus-Jochen
1
Einträge für
Jakobs, Marie-Christine
1
Einträge für
Kleine Büning, Hans
1
Einträge für
Ngonga Ngomo, Axel-Cyrille
1
Einträge für
Platenius, Marie Christin
1
Einträge für
Simon, Jens
1
Einträge für
Somorovsky, Juraj
1
Einträge für
Travkin, Oleg
1
Einträge für
Wachsmuth, Henning
1
Einträge für
Wiersema, Tobias
Zeige 6 weitere
Zeige erste 10
4
Treffer
für
Personen = "Wehrheim, Heike" und Sammlung = Sammlungen der UB Paderborn
Klassifikation
Schliessen
Filter
1
zu den Filteroptionen
Relevanz
Titel
Personen
Ort
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
Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware
Wiersema, Tobias
;
Platzner, Marco
;
Wehrheim, Heike
;
Andrews, David
;
Meyer auf der Heide, Friedhelm
;
Somorovsky, Juraj
Elektronische Ressource, Paderborn, 2021
On-The-Fly Computing
Individualized IT-services in dynamic markets : Collaborative Research Centre 901 (2011 - 2023)
Haake, Claus-Jochen (Hrsg.)
;
Meyer auf der Heide, Friedhelm (Hrsg.)
;
Platzner, Marco (Hrsg.)
;
Wachsmuth, Henning (Hrsg.)
;
Wehrheim, Heike (Hrsg.)
Elektronische Ressource, Paderborn : Heinz Nixdorf Institut, 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
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