|
3851 |
The semantic web Berlin : Springer, 2007
|
|
|
3852 |
Theorem proving in higher order logics Berlin : Springer, 2007
|
|
|
3853 |
Theoretical aspects of computing Berlin : Springer, 2007
|
|
|
3854 |
Theory and applications of models of computation Berlin : Springer, 2007
|
|
|
3855 |
Theory and practice of computer science Berlin : Springer, 2007
|
|
|
3856 |
Top-k aggregation queries in large-scale distributed systems Michel, Sebastian, 2007
|
|
|
3857 |
Transactions on high-performance embedded architectures and compilers Berlin : Springer
|
|
|
3858 |
Trends in enterprise application architecture Berlin : Springer, 2007
|
|
|
3859 |
Trustworthy Global Computing Cham : Springer International Publishing, 2007
|
|
|
3860 |
Ubiquitous computing Berlin : Springer, 2007
|
|