1
Publié 2010
Table des matières: ... Bisimulation and Refusal Equivalence -- Reasoning about Recursive Processes in Shared-Variable Concurrency...
Accéder au texte intégral
Électronique eBook
2
Publié 2010
Table des matières: ... Development Put into Practice -- Timely Time Estimates -- Compiler-Support for Robust Multi-core Computing...
Accéder au texte intégral
Électronique eBook
3
Publié 2005
Table des matières: ... Enhancements for Color Image and Video Processing on Embedded Systems -- A Portable Doppler Device Based on a...
Accéder au texte intégral
Électronique eBook