|
19351 |
Theory and applications of satisfiability testing Berlin : Springer, 2007
|
|
|
19352 |
Theory and practice of computer science Berlin : Springer, 2007
|
|
|
19353 |
Theory of cryptography Berlin : Springer, 2007
|
|
|
19354 |
Thinking in Complexity Mainzer, Klaus. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2007, 5. Auflage
|
|
|
19355 |
Three-dimensional perception for mobile robots Triebel, Rudolph, 2007
|
|
|
19356 |
To and fro between tableaus and automata for description logics Hladik, Jan, 2007
|
|
|
19357 |
Tool supported refactoring of aspect oriented programs Wloka, Jan, 2007
|
|
|
19358 |
Tools and algorithms for the construction and analysis of systems Berlin : Springer, 2007
|
|
|
19359 |
Top-k aggregation queries in large-scale distributed systems Michel, Sebastian, 2007
|
|
|
19360 |
Topologieoptimierung phonetischer Hidden-Markov-Modelle mittels Erkennungssimulation Knoblauch, Dirk, [2007]
|
|