|
7571 |
Model-based development of security-critical cystems Wimmel, Guido Oliver, 2005
|
|
|
7572 |
Model checking software Berlin : Springer, 2005
|
|
|
7573 |
Modellbasierter Modultest softwareintensiver, technischer Systeme mit Real-Time Object-Oriented Modeling Robinson-Mallett, Christopher, 2005
|
|
|
7574 |
MySQL 5 Kofler, Michael. - München : Pearson Deutschland, 2005
|
|
|
7575 |
New utilization criteria for online scheduling Hussein, Mohamed, 2005
|
|
|
7576 |
Optimal global instruction scheduling for the Itanium processor architecture Winkel, Sebastian, [2005]
|
|
|
7577 |
Page migration in dynamic networks Bienkowski, Marcin, 2005
|
|
|
7578 |
Parallele Anfrageverarbeitung in multidimensionalen Array-Datenbanksystemen Hahn, Karl, 2005
|
|
|
7579 |
Parametrischer Polymorphismus, Überladungen und Konversionen Kaes, Stefan, 2005
|
|
|
7580 |
Persistent arrays, path problems, and context-free languages Glier, Oliver, 2005
|
|