|
731 |
World libraries Richter, Stefan, 2009
|
|
|
732 |
Zur automatischen Verifikation von UML-2-Aktivitätsdiagrammen Raschke, Alexander, 2009, [Online-Ausg.]
|
|
|
733 |
A cross-layer framework for sensor networks Lachenmann, Andreas Jürgen, 2008
|
|
|
734 |
A flow analysis framework for realistic scheme programs Knauel, Eric Jean, 2008
|
|
|
735 |
A lightweight framework for universal fragment composition Henriksson, Jakob, 2008
|
|
|
736 |
A methodology for modeling usage behavior of multi-functional systems Rittmann, Sabine, 2008
|
|
|
737 |
A methodology for secure interactive systems Beuster, Gerd, 2008
|
|
|
738 |
A model-driven approach to multi-agent system design Stallmann, Florian, 2008, [Online-Ausg.]
|
|
|
739 |
A new approach to event driven programming Elssaedi, Mosbah Mohamed, 2008
|
|
|
740 |
A new assertion language covering multiple levels of abstraction Esen, Volkan, 2008
|
|