1
Publicat 2013
Taula de continguts: ... the Sorted-Set Intersection Problem onto a Graphics Processing Unit -- A Novel Double Dynamic Stress...
Obtenir text complet
Electrònic eBook
2
Publicat 2015
Taula de continguts: ... for a Lazy Functional Language Timed History Preserving Bisimulation and Open Maps -- Process Opacity...
Obtenir text complet
Electrònic eBook
3
Taula de continguts: ... Examples.-Whole Array and Additional Array Features -- Output of Results.-Reading in data.-Files.-Functions...
Obtenir text complet
Electrònic eBook
4
Taula de continguts: ... -- Functions -- Control Structures -- Characters -- Complex -- Logical -- Introduction to Derived Types...
Obtenir text complet
Electrònic eBook
5
Publicat 2015
Taula de continguts: ... Technology -- On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying...
Obtenir text complet
Electrònic eBook