1
Julkaistu 2005
Sisällysluettelo: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Hae kokoteksti
Elektroninen E-kirja
2
Julkaistu 2015
Sisällysluettelo: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Hae kokoteksti
Elektroninen E-kirja
3
Julkaistu 2010
Sisällysluettelo: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Hae kokoteksti
Elektroninen E-kirja