|
2611 |
Specification and seamless verification of embedded real-time systems Spichkova, Maria, 2007
|
|
|
2612 |
Specification of optimizing document formatters Huber, Aurel, 2007
|
|
|
2613 |
Static code analysis in multi-threaded environments Ehrhardt, Christian, 2007
|
|
|
2614 |
Stochastic image reconstruction as ground state of hamiltonian operators Dejon, Alexander, [2007]
|
|
|
2615 |
"Strictly models and objects first" Diethelm, Ira, 2007
|
|
|
2616 |
Strikte Verfahren zyklischer Berechnung Trancón y Widemann, Baltasar, 2007
|
|
|
2617 |
Structure features for content based image retrieval and classification problems Brunner, Gerd, [2007]
|
|
|
2618 |
Structured generic programming in Eden Priebe, Steffen, 2007
|
|
|
2619 |
Struktur- und verhaltensbasierte Entwurfsmustererkennung Wendehals, Lothar, 2007
|
|
|
2620 |
Subtype satisfiability and entailment Priesnitz, Tim, [2007]
|
|