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
2
Einträge für
2001-2100
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
Klassifikation (DDC)
Klassifikation
Schliessen
Filter
3
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
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