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
3
Titel
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
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
Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen
Ruhroth, Thomas
2011
Graph transformation planning with time and concurrency
Ziegert, Steffen
;
Wehrheim, Heike
;
Schäfer, Wilhelm
Elektronische Ressource, Paderborn, 2016
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