|
881 |
Specification and verification of security policies for smart cards Schwan, Matthias, 2008
|
|
|
882 |
Static termination analysis for prolog using term rewriting and SAT solving Schneider-Kamp, Peter. - [Aachen] : [Bibliothek der Techn. Hochsch.], 2008, [Online-Ausg.]
|
|
|
883 |
Strukturierte Nutzungssicht für multifunktionale Systeme Deubler, Martin R., 2008
|
|
|
884 |
Suchbasierte Strukturverbesserung objektorientierter Systeme Seng, Olaf, [2008]
|
|
|
885 |
Suchbasierte Strukturverbesserung objektorientierter Systeme Seng, Olaf. - Karlsruhe : Univ.-Verl. Karlsruhe, 2008
|
|
|
886 |
Synthesis of distributed systems Schewe, Sven, 2008, [Online-Ausg.]
|
|
|
887 |
Systematisierung des funktionalen Tests eingebetteter Software Olejniczak, Robert, 2008
|
|
|
888 |
Tagging and smart textiles Reichel, Milena, 2008
|
|
|
889 |
Testaufwandsschätzung in der Softwareentwicklung Dowie, Ulrike, 2008, [Online-Ausg.]
|
|
|
890 |
Testing in Functional Programming Widera, Manfred. - Aachen : Shaker, 2008, 1. Auflage
|
|