|
1761 |
On symmetry reduction in model checking via graph canonicalisation Spermann, Corinna, 2009, [Online-Ausg.]
|
|
|
1762 |
On the application of the service-oriented architectural style to heterogeneous application landscapes Hofmeister, Helge, 2009
|
|
|
1763 |
On the presence information of nodes in mobile ad-hoc networks Tran-Thi-Minh-Chau, 2009
|
|
|
1764 |
On the role of nondeterminism and refinement in model-driven top-down development of software systems Schmidt, Heiko. - Kiel : Universitätsbibliothek Kiel, 2009
|
|
|
1765 |
One-to-one edge based registration and segmentation based validations in hybrid imaging Han, Jingfeng, 2009
|
|
|
1766 |
Online-Erkennung handgeschriebener Whiteboard-Notizen Schenk, Joachim, 2009
|
|
|
1767 |
Open-Access-Zeitschriften Weishaupt, Karin, 2009
|
|
|
1768 |
Operational profiling of OS drivers Sârbu, Constantin, 2009
|
|
|
1769 |
Optimierung der Schnittstelle zwischen Hypervisor und Betriebssystemkern bei virtuellen Maschinen Höxer, Hans-Jörg, [2009]
|
|
|
1770 |
Optimierung des Wirkungsgrades virtueller Infrastrukturen Lindinger, Tobias, 2009
|
|