Service-Oriented Computing. ICSOC/ServiceWave 2009 WorkshopsAsit Dan, Frédéric Gittler, Farouk ToumaniHäftad1 103 kr
Trace Theory for Automatic Hierarchical Verification of Speed-Independent CircuitsDavid L. DillHäftad508 kr
Trace Theory for Automatic Hierarchical Verification of Speed-Independent CircuitsDavid L. DillHäftad508 kr
Service-Oriented Computing. ICSOC/ServiceWave 2009 WorkshopsAsit Dan, Frédéric Gittler, Farouk ToumaniHäftad1 103 kr