Jahr
|
Titel der Publikation
|
Publikationsart
|
Publikationsform
|
2010
|
How to implement a theory of correctness in the area of business processes and services
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2010
|
Realizability is controllability
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2010
|
Taggram
|
Teil einer Monographie/eines Konferenzbandes
|
Elektronische Ressource
|
2010
|
The PluriNetworK
|
Zeitschriftenartikel
|
Elektronische Ressource
|
2010
|
Design and implementation of the Rebeca publish/subscribe middleware
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2010
|
GeoVA(t) - Geospatial visual analytics
|
Zeitschriftenartikel
|
Druckschrift
|
2010
|
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2010
|
ViSE
|
Teil einer Monographie/eines Konferenzbandes
|
Druckschrift
|
2010
|
Dienstekomposition in intelligenten Umgebungen basierend auf KI-Planung
|
Dissertationsschrift
|
Elektronische Ressource
|
2010
|
Dienstekomposition in intelligenten Umgebungen basierend auf KI-Planung
|
Dissertationsschrift
|
Druckschrift
|