de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Dokumenttypen
3
Einträge für
Dissertation
Zeiträume
2
Einträge für
2011-2020
1
Einträge für
2021-2030
Orte
3
Einträge für
Paderborn
Autoren / Beteiligte
3
Einträge für
Bodden, Eric
3
Einträge für
Wehrheim, Heike
1
Einträge für
Ali, Karim
1
Einträge für
Beyer, Dirk
1
Einträge für
Hermann, Ben
1
Einträge für
Jakobs, Marie-Christine
1
Einträge für
Murphy-Hill, Emerson
1
Einträge für
Nguyen Quang Do, Lisa
1
Einträge für
Pauck, Felix
1
Einträge für
Platenius, Marie Christin
1
Einträge für
Platzner, Marco
Zeige 1 weitere
Zeige erste 10
3
Titel
Klassifikation
Schliessen
Filter
4
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
Alle
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
On-The-Fly safety checking - customizing program certification and program restructuring
Jakobs, Marie-Christine
;
Wehrheim, Heike
;
Beyer, Dirk
;
Bodden, Eric
;
Platzner, Marco
;
Platenius, Marie Christin
Elektronische Ressource, Paderborn, 2017
User-centered tool design for data-flow analysis
Nguyen Quang Do, Lisa
;
Bodden, Eric
;
Ali, Karim
;
Murphy-Hill, Emerson
;
Wehrheim, Heike
;
Hermann, Ben
Elektronische Ressource, Paderborn, 2019
Cooperative Android App analysis
Pauck, Felix
;
Wehrheim, Heike
;
Bodden, Eric
Elektronische Ressource, Paderborn, 2023