de
en
Schliessen
Detailsuche
Bibliotheken
Projekt
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Dokumenttypen
12
Einträge für
Dissertation
Autoren / Beteiligte
12
Einträge für
Kleine Büning, Hans
2
Einträge für
Meyer auf der Heide, Friedhelm
2
Einträge für
Niggemann, Oliver
2
Einträge für
Wehrheim, Heike
1
Einträge für
Baumann, Michael
1
Einträge für
Eberling, Markus
1
Einträge für
Guericke, Daniela
1
Einträge für
Hamann, Heiko
1
Einträge für
Hüllermeier, Eyke
1
Einträge für
Ibrahim, Emad Monier Mosaad
1
Einträge für
Kalech, Meir
1
Einträge für
Kemmerich, Thomas
1
Einträge für
Kempkes, Barbara
1
Einträge für
Klerx, Timo
1
Einträge für
Maier, Alexander
1
Einträge für
Mohr, Felix
1
Einträge für
Ngonga Ngomo, Axel-Cyrille
1
Einträge für
Platzner, Marco
1
Einträge für
Rammig, Franz Josef
1
Einträge für
Rückert, Ulrich
1
Einträge für
Simon, Jens
1
Einträge für
Suhl, Leena
1
Einträge für
Timm, Nils
1
Einträge für
Travkin, Oleg
1
Einträge für
Vodenčarević, Asmir
1
Einträge für
Zilles, Sandra
Zeige 16 weitere
Zeige erste 10
Sprachen
11
Einträge für
Englisch
1
Einträge für
Deutsch
12
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 11.12.2017
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
vom 24.8.2017
Towards automated service composition under quality constraints
Mohr, Felix
;
Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2017
vom 7.6.2017
Anomaly detection as a one-class problem in discrete event systems
Klerx, Timo
;
Kleine Büning, Hans
;
Hüllermeier, Eyke
Elektronische Ressource, Paderborn, 2017
vom 11.8.2016
Routing and scheduling for home care services
solution approaches for static and dynamic settings
Guericke, Daniela
;
Suhl, Leena
;
Kleine Büning, Hans
Elektronische Ressource, Paderborn, 2016
vom 28.1.2016
Learning shepherding behavior
Baumann, Michael
;
Kleine Büning, Hans
;
Hamann, Heiko
Elektronische Ressource, Paderborn, 2016
vom 5.3.2015
Identification of timed behavior models for diagnosis in production systems
Maier, Alexander
2015
vom 30.7.2013
Identifying behavior models for hybrid production systems
Vodenčarević, Asmir
2013
vom 4.7.2013
Three-valued abstraction and heuristic-guided refinement for verifying concurrent systems
Timm, Nils
2013
vom 13.7.2012
Learning and coordination in sequential multiagent problems
Kemmerich, Thomas
2012
vom 7.3.2012
Local strategies for robot formation problems
Kempkes, Barbara
2012
vom 31.8.2011
Vision based tracking in team sports
Ibrahim, Emad Monier Mosaad
2011
vom 22.7.2011
Multi-criteria cooperation in multiagent systems by local adaptation
Eberling, Markus
2011