|
1621 |
Advanced concepts and applications of the UB-tree Widhopf-Fenk, Robert Josef, 2005
|
|
|
1622 |
Advancing operating systems via aspect oriented programming Engel, Michael, 2005
|
|
|
1623 |
Aesthetics and automatic layout of UML class diagrams Eichelberger, Holger, 2005
|
|
|
1624 |
An environment for compositional specification verification of complex embedded systems Wittke, Hartmut, 2005
|
|
|
1625 |
Building group awareness in distributed software development projects Kobylinski, Rafal, 2005
|
|
|
1626 |
Challenges and applications of assembly level software model checking Mehler, Tilman, 2005
|
|
|
1627 |
Compositional scheduling analysis using standard event models Richter, Kai Robert, 2005
|
|
|
1628 |
COMRADE Kasprzyk, Nico, 2005
|
|
|
1629 |
Control software for reconfigurable coprocessors Hinkelbein, Christian, 2005
|
|
|
1630 |
Developing mobile agents through a formal approach Barbu, Andreea, 2005
|
|