|
19421 |
Formal modeling and analysis of timed systems Berlin : Springer, 2006
|
|
|
19422 |
Formal techniques for networked and distributed systems Berlin : Springer, 2006
|
|
|
19423 |
Formal verification of a processor with memory management units Dalinger, Iakov, 2006
|
|
|
19424 |
Forschung in der digitalen Welt Hamburg : Hamburg Univ. Press, 2006, [Version 1, Stand: 2006-10-11]
|
|
|
19425 |
Foundations of intelligent systems Berlin : Springer, 2006
|
|
|
19426 |
Foundations of software technology and theoretical computer science Berlin : Springer, 2006
|
|
|
19427 |
Frauen in Konzentrationslagern Oldenburg : BIS-Verl. der Carl-von-Ossietzky-Univ., 2006
|
|
|
19428 |
From Data and Information Analysis to Knowledge Engineering Cham : Springer International Publishing, 2006
|
|
|
19429 |
From image-based motion analysis to free-viewpoint video Theobalt, Christian, [2006]
|
|
|
19430 |
From the wisdom of the hive to intelligent routing in telecommunication networks Farooq, Muddassar, 2006
|
|