|
19301 |
Struktur- und verhaltensbasierte Entwurfsmustererkennung Wendehals, Lothar, 2007
|
|
|
19302 |
Subtype satisfiability and entailment Priesnitz, Tim, [2007]
|
|
|
19303 |
Suchmaschinen-Optimierung Koch, Daniel. - München : Pearson Deutschland, 2007
|
|
|
19304 |
Suffix arrays in theory and practice Schürmann, Klaus-Bernd, 2007
|
|
|
19305 |
Supporting Distributed Services in Mobile Ad Hoc Networks Farkas, Károly. - Aachen : Shaker, 2007, 1. Auflage
|
|
|
19306 |
Surface approximation with elevation maps and observations thinning in numerical weather prediction Ochotta, Tilo, 2007
|
|
|
19307 |
Sustainable internet Berlin : Springer, 2007
|
|
|
19308 |
Symbolic and quantitative approaches to reasoning with uncertainty Berlin : Springer, 2007
|
|
|
19309 |
Symbolische Auswertung und Heuristiken zur Verifikation funktionaler Programme Schweitzer, Dirk Stephan, 2007
|
|
|
19310 |
Synchronizing internet protocol security (SIPSec) New York, NY : Springer, 2007
|
|