de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Zeiträume
1
Einträge für
2011-2020
1
Einträge für
2021-2030
Autoren / Beteiligte
2
Einträge für
Platzner, Marco
1
Einträge für
Andrews, David
1
Einträge für
Dreesen, Ralf
1
Einträge für
Kastens, Uwe
1
Einträge für
Meyer auf der Heide, Friedhelm
1
Einträge für
Rückert, Ulrich
1
Einträge für
Somorovsky, Juraj
1
Einträge für
Wehrheim, Heike
1
Einträge für
Wiersema, Tobias
Sprachen
2
Einträge für
Englisch
1
Einträge für
Deutsch
2
Titel
in
Alle Kollektionen
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
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