|
1071 |
Enhancing Flexibility and Reusability of Web Service Flows through Parameterization Karastoyanova, Dimka. - Aachen : Shaker, 2006, 1. Auflage
|
|
|
1072 |
Formal verification of a processor with memory management units Dalinger, Iakov, 2006
|
|
|
1073 |
Fully-parameterized, first-class modules with hygienic macros Gasbichler, Josef Martin, 2006
|
|
|
1074 |
Generierung interaktiver Lerneinheiten aus visuellen Spezifikationen Aschenbrenner, Peter, 2006
|
|
|
1075 |
High capacity analog channels for smart documents Iqbal, Taswar, 2006
|
|
|
1076 |
Index structures for similarity search in multimedia databases Bustos Cárdenas, Benjamin Eugenio, 2006
|
|
|
1077 |
Integrated data, message, and process recovery for failure masking in web services Shegalov, German, [2006]
|
|
|
1078 |
Integration of spatial vector data in enterprise relational database environments Stolze, Knut, 2006
|
|
|
1079 |
Komponentenbasierte Softwareentwicklung für datenflußorientierte eingebettete Systeme Maydl, Walter, [2006]
|
|
|
1080 |
Kompositionale Softwareverifikation mechatronischer Systeme Schilling, Daniela, 2006
|
|