1
Julkaistu 2010
Sisällysluettelo: ... Verification for Java Programs -- Assume-Guarantee Reasoning with Local Specifications -- Automating...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2005
Sisällysluettelo: ... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2006
Sisällysluettelo: ...: The BlueDACS Project -- Prototypical Implementation of Location-Aware Services Based on Super-Distributed RFID...
Hae kokoteksti
Elektroninen E-kirja