|
941 |
Fehlerdiagnose beim Model-Checking durch animierte Strategie-Synthese Yoo, Haiseung, 2007
|
|
|
942 |
Flexible certificate management in public key infrastructures Karatsiolis, Evangelos, 2007
|
|
|
943 |
Framework for middleware executed on mobile devices Wuest, Bjoern, [2007]
|
|
|
944 |
From Software Measurement to e-Measurement Lother, Mathias. - Aachen : Shaker, 2007, 1. Auflage
|
|
|
945 |
Generic programming and algebraic multigrid for stabilized finite element methods Klimanis, Nils, [2007]
|
|
|
946 |
Genetische Programmierung und Schach Kantschik, Wolfgang, 2007
|
|
|
947 |
Gerichtete und optimierende Suchverfahren in komplexen Datenstrukturen Leven, Peter. - Aachen : Shaker, 2007, 1. Auflage
|
|
|
948 |
Gleichheitsabhängigkeiten zwischen Objekten durch parametrisierte Zuweisungen Chernuchin, Daniel, 2007
|
|
|
949 |
Grafische Benutzungsunterstützung auf Befehlsebene für die Entwicklung massivparalleler Programme Toussaint, Frederic. - Karlsruhe : Univ.-Verl. Karlsruhe, 2007
|
|
|
950 |
Hierarchische physische Data-Cube-Strukturen in einem mobilen Data-Warehouse Omelchenko, Arkadiy. - Hamburg : Diplom.de, 2007, 1. Auflage
|
|