1
Publicat 2010
Taula de continguts: ... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...
Obtenir text complet
Electrònic eBook
2
Publicat 2005
Taula de continguts: ... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...
Obtenir text complet
Electrònic eBook
3
Taula de continguts: ... Computers -- Problems and Solutions -- Web Server and Related Technologies -- to Servlets -- Java Network...
Obtenir text complet
Electrònic eBook
4
Publicat 2007
Taula de continguts: ...Embedded Computer Architecture Fundamentals -- Beyond the Valley of the Lost Processors: Problems...
Obtenir text complet
Electrònic eBook
5
Publicat 2005
Taula de continguts: ... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...
Obtenir text complet
Electrònic eBook
6
Publicat 2007
Taula de continguts: ...-Energy Embedded Multiprocessors -- Scheduling & Programming Models -- An Automatically-Retargetable Time...
Obtenir text complet
Electrònic eBook