de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Zeiträume
2
Einträge für
2011-2020
1
Einträge für
2021-2030
Autoren / Beteiligte
3
Einträge für
Wehrheim, Heike
1
Einträge für
Andrews, David
1
Einträge für
Becker, Steffen
1
Einträge für
Meyer auf der Heide, Friedhelm
1
Einträge für
Platzner, Marco
1
Einträge für
Ruhroth, Thomas
1
Einträge für
Schäfer, Wilhelm
1
Einträge für
Somorovsky, Juraj
1
Einträge für
Wiersema, Tobias
1
Einträge für
Ziegert, Steffen
Sprachen
2
Einträge für
Englisch
1
Einträge für
Deutsch
Bibliotheken
3
Einträge für
Sammlungen der UB Paderborn
3
Neuzugänge
Klassifikation
Schliessen
Filter
2
zu den Filteroptionen
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
vom 29.10.2021
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
vom 17.3.2016
Graph transformation planning with time and concurrency
Ziegert, Steffen
;
Wehrheim, Heike
;
Schäfer, Wilhelm
Elektronische Ressource, Paderborn, 2016
vom 18.6.2012
Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen
Ruhroth, Thomas
2011