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