de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
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
Müller-Olm, Markus
2
Einträge für
Olm, Markus Müller-
1
Einträge für
Lammich, Peter
1
Einträge für
Nordhoff, Benedikt
1
Einträge für
Nordhoff, Benedikt Heinrich Josef
1
Einträge für
Nordhoff, Heinrich Josef
1
Einträge für
Nordhoff, Josef
2
Treffer
für
Schlagwort = "Programmanalyse"
Klassifikation
Schliessen
Filter
zu den Filteroptionen
Relevanz
Titel
Personen
Ort
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
Lock sensitive analysis of parallel programs
Lammich, Peter
2011
Security Through Safety - An Approach to Information Flow Control Based on Derivation of Safety Properties from a Characterisation of Insecure Behaviour
Nordhoff, Benedikt
;
Nordhoff, Benedikt Heinrich Josef
;
Nordhoff, Heinrich Josef
;
Nordhoff, Josef
2021
