|
3941 |
Embedded and ubiquitous computing Berlin : Springer, 2006
|
|
|
3942 |
Embedded computer systems: architectures, modeling, and simulation Berlin : Springer, 2006
|
|
|
3943 |
Emulation von Rechnernetzen zur Leistungsanalyse von verteilten Anwendungen und Netzprotokollen Herrscher, Daniel, [2006]
|
|
|
3944 |
Engineering adaptive web applications Dolog, Peter, 2006
|
|
|
3945 |
Erkennung und Vermeidung von unkooperativem Verhalten in Peer-to-peer-Datenstrukturen Buchmann, Erik, 2006
|
|
|
3946 |
Fast, Efficient and Predictable Memory Accesses Heidelberg : Springer Netherlands, 2006
|
|
|
3947 |
Flexible and reconfigurable support for fault-tolerant object replication Reiser, Hans Peter, 2006, [Online-Ausg.]
|
|
|
3948 |
Formal methods for hardware verification Berlin : Springer, 2006
|
|
|
3949 |
Formal modeling and analysis of timed systems Berlin : Springer, 2006
|
|
|
3950 |
Formal techniques for networked and distributed systems Berlin : Springer, 2006
|
|