1
Baskı/Yayın Bilgisi 2005
İçindekiler: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Tam Metin Erişim
Elektronik Ekitap
2
Baskı/Yayın Bilgisi 2015
İçindekiler: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Tam Metin Erişim
Elektronik Ekitap
3
Baskı/Yayın Bilgisi 2010
İçindekiler: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Tam Metin Erişim
Elektronik Ekitap