de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
jump to main content
Search Details
Quicksearch:
OK
Close
Document types
2
Entries for
Dissertation (PhD)
Periods
1
Entries for
2011-2020
1
Entries for
2021-2030
Authors / Collaborators
2
Entries for
Platzner, Marco
1
Entries for
Andrews, David
1
Entries for
Dreesen, Ralf
1
Entries for
Kastens, Uwe
1
Entries for
Meyer auf der Heide, Friedhelm
1
Entries for
Rückert, Ulrich
1
Entries for
Somorovsky, Juraj
1
Entries for
Wehrheim, Heike
1
Entries for
Wiersema, Tobias
Languages
2
Entries for
English
1
Entries for
German
2
Titles
Classification
Close
Filters
2
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
Generating processors from specifications of instruction sets
Dreesen, Ralf
2011
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