de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Orte
4
Einträge für
Paderborn
Autoren / Beteiligte
4
Einträge für
Wehrheim, Heike
2
Einträge für
Ngonga Ngomo, Axel-Cyrille
1
Einträge für
Ali, Karim
1
Einträge für
Bodden, Eric
1
Einträge für
Fischer, Matthias
1
Einträge für
Hermann, Ben
1
Einträge für
Hüllermeier, Eyke
1
Einträge für
Isenberg, Tobias
1
Einträge für
Kleine Büning, Hans
1
Einträge für
Murphy-Hill, Emerson
1
Einträge für
Nguyen Quang Do, Lisa
1
Einträge für
Niggemann, Oliver
1
Einträge für
Platzner, Marco
1
Einträge für
Schäfer, Dirk
1
Einträge für
Simon, Jens
1
Einträge für
Travkin, Oleg
1
Einträge für
Waegeman, Willem
Zeige 7 weitere
Zeige erste 10
4
Titel
Klassifikation
Schliessen
Filter
2
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
Induction-based Verification of Timed Systems
Isenberg, Tobias
;
Wehrheim, Heike
;
Niggemann, Oliver
Elektronische Ressource, Paderborn, 2016
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
Dyad ranking with generalized Plackett-Luce models
Schäfer, Dirk
;
Hüllermeier, Eyke
;
Waegeman, Willem
;
Ngonga Ngomo, Axel-Cyrille
;
Wehrheim, Heike
;
Fischer, Matthias
Elektronische Ressource, Paderborn, 2018
Verifying concurrent programs under weak memory models
Travkin, Oleg
;
Wehrheim, Heike
;
Kleine Büning, Hans
;
Ngonga Ngomo, Axel-Cyrille
;
Platzner, Marco
;
Simon, Jens
Elektronische Ressource, Paderborn, 2017