×

zbMATH — the first resource for mathematics

Found 73 Documents (Results 1–73)

100
MathJax
Bischof, Christian (ed.) et al., Parallel computing: Architectures, algorithms and applications. Selected papers based on the presentations at the international parallel computing conference (ParCo 2007), Aachen, Germany, September 4–7, 2007. Amsterdam: IOS Press (ISBN 978-1-58603-796-3/hbk). Advances in Parallel Computing 15, 793-800 (2008).
MSC:  68M10 65F30 65Y10 65Y20
PDF BibTeX XML Cite
Hoboken, NJ: John Wiley & Sons (ISBN 978-0-470-34379-1/hbk). xxvii, 802 p. (2008).
PDF BibTeX XML Cite
Krämer, Walter (ed.) et al., Scientific computing, validated numerics, interval methods, Karlsruhe, Germany, September 19–22, 2000. New York, NY: Springer (ISBN 978-0-306-46706-6/hbk; 978-1-4757-6484-0/ebook). 367-377 (2001).
MSC:  65Y04 65Y10
PDF BibTeX XML Cite
Full Text: DOI
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/ NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 219-230 (1991).
Reviewer: L.Brim (Brno)
PDF BibTeX XML Cite
Parallel Computing, 8, No. 1-3. Amsterdam etc.: North-Holland. ix, 421 p. (1988).
MSC:  00B25 68-06
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software