1
Publicerad 2005
Innehållsförteckning: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2010
Innehållsförteckning: ...Continuous and Discrete Methods in Computer Science -- Colorful Strips -- The Mono- and Bichromatic...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2015
Innehållsförteckning: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2010
Innehållsförteckning: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Hämta fulltext
Elektronisk E-bok