|
1281 |
Security for service-oriented on-demand grid computing Smith, Matthew, 2008
|
|
|
1282 |
Security in context-aware mobile business applications Tatlı, Emin Islam, 2008
|
|
|
1283 |
Semantic component retrieval in software engineering Hummel, Oliver, 2008
|
|
|
1284 |
Semantics of a call-by-need lambda calculus with McCarthy's amb for program equivalence Sabel, David. - München : Verl. Dr. Hut, 2008, 1. Aufl.
|
|
|
1285 |
Service-orientierte Architektur: Identifizierung äquivalenter Services in Form semantischer semiautomatischer Unterstützung des EMEO-Layers Herrmann, Michael, 2008
|
|
|
1286 |
Serviceorientierte Infrastrukturen für vernetzte Dienste und eingebettete Geräte Bobek, Andreas, 2008
|
|
|
1287 |
Slicing integrated formal specifications for verification Brückner, Ingo. - Oldenburg : Univ., Fak. II, Dep. für Informatik, 2008
|
|
|
1288 |
Slicing integrated formal specifications for verification Brückner, Ingo, 2008
|
|
|
1289 |
Software assisted tailoring of process descriptions Ittner, Jan. - Saarbrücken : VDM Verlag Dr. Müller, 2008
|
|
|
1290 |
Software effort estimation with well-founded causal models Trendowicz, Adam. - Stuttgart : Fraunhofer-IRB-Verl., c 2008
|
|