|
3081 |
Specification and seamless verification of embedded real-time systems Spichkova, Maria, 2007
|
|
|
3082 |
Specification of optimizing document formatters Huber, Aurel, 2007
|
|
|
3083 |
Static code analysis in multi-threaded environments Ehrhardt, Christian, 2007
|
|
|
3084 |
Stochastic image reconstruction as ground state of hamiltonian operators Dejon, Alexander, [2007]
|
|
|
3085 |
"Strictly models and objects first" Diethelm, Ira, 2007
|
|
|
3086 |
Strikte Verfahren zyklischer Berechnung Trancón y Widemann, Baltasar, 2007
|
|
|
3087 |
Structure features for content based image retrieval and classification problems Brunner, Gerd, [2007]
|
|
|
3088 |
Structured generic programming in Eden Priebe, Steffen, 2007
|
|
|
3089 |
Structured Peer-to-Peer Overlays for Wireless Mobile Ad-Hoc Networks Cramer, Curt. - Aachen : Shaker, 2007, 1. Auflage
|
|
|
3090 |
Struktur- und verhaltensbasierte Entwurfsmustererkennung Wendehals, Lothar, 2007
|
|