|
7361 |
Theory and applications of satisfiability testing Berlin : Springer, 2007
|
|
|
7362 |
Theory of cryptography Berlin : Springer, 2007
|
|
|
7363 |
Tool supported refactoring of aspect oriented programs Wloka, Jan, 2007
|
|
|
7364 |
Tools and algorithms for the construction and analysis of systems Berlin : Springer, 2007
|
|
|
7365 |
Transactions on high-performance embedded architectures and compilers Berlin : Springer
|
|
|
7366 |
Trustworthy Global Computing Cham : Springer International Publishing, 2007
|
|
|
7367 |
Typed lambda calculi and applications Berlin : Springer, 2007
|
|
|
7368 |
Typed open programming Rossberg, Andreas, 2007
|
|
|
7369 |
Types for proofs and programs Berlin : Springer, 2007
|
|
|
7370 |
Ubuntu 7.04 Feisty Fawn Kofler, Michael. - München : Pearson Deutschland, 2007
|
|