1
Publicerad 2008
Innehållsförteckning: ... -- Parallel Coordinates: Visualization, Exploration and Classification of High-Dimensional Data -- Matrix...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2015
Innehållsförteckning: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2014
Innehållsförteckning: ... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2005
Innehållsförteckning: ... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...
Hämta fulltext
Elektronisk E-bok