1
Gepubliceerd in 2005
Inhoudsopgave: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Volledige tekst
Elektronisch E-boek
2
Gepubliceerd in 2010
Inhoudsopgave: ...Continuous and Discrete Methods in Computer Science -- Colorful Strips -- The Mono- and Bichromatic...
Volledige tekst
Elektronisch E-boek
3
Gepubliceerd in 2015
Inhoudsopgave: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Volledige tekst
Elektronisch E-boek
4
Gepubliceerd in 2010
Inhoudsopgave: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Volledige tekst
Elektronisch E-boek