×

zbMATH — the first resource for mathematics

Found 7 Documents (Results 1–7)

100
MathJax
Simon, Axel (ed.) et al., Proceedings of the 5th international workshop on numerical and symbolic abstract domains, NSAD 2014, Munich, Germany, September 10, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 307, 33-45, electronic only (2014).
MSC:  68N30 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Csendes, Tibor (ed.), Developments in reliable computing. SCAN-98 conference, 8th international symposium on Scientific computing, computer arithmetic and validated numerics. Budapest, Hungary, September 22-25, 1998. Dordrecht: Kluwer Academic Publishers. 149-158 (1999).
MSC:  65G40 65D25 68W30
PDF BibTeX XML Cite