1
Publicerad 2007
Innehållsförteckning: ... for Java -- Verification of Hybrid Systems -- Session I: Compositionality -- SAT-Based Compositional...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2010
Innehållsförteckning: ... of Psychology to the Design of Diagnostic Decision Support Systems -- A Composite Task Meta-model as a Reference...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2007
Innehållsförteckning: ... Computing Based Collaborative Problem Solving Environment -- Bandwidth-Aware Scheduling in Media Streaming...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2010
Innehållsförteckning: ... -- Computational Electronics and 21st Century Education -- Wireless Sensor Networks for Cattle Health Monitoring...
Hämta fulltext
Elektronisk E-bok
5
Publicerad 2013
Innehållsförteckning: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Hämta fulltext
Elektronisk E-bok