Computer Arithmetic and Validity: Theory, Implementation, and Applications de Gruyter Studies in Mathematics, nr. 33 Autor Ulrich Kulisch 31 dec 2011 Hardback Preț: 891.89 lei 980.10 lei 38-45 zile -9%
Numerical Toolbox for Verified Computing I Springer Series in Computational Mathematics, nr. 21 Autor Rolf Hammer et al. 8 dec 2011 Paperback Preț: 647.26 lei 761.48 lei 6-8 săpt. -15%
C++ Toolbox for Verified Computing I Autor Rolf Hammer et al. 14 dec 2011 Paperback Preț: 705.96 lei 830.55 lei 6-8 săpt. -15%
Perspectives on Enclosure Methods Editat de Ulrich Kulisch et al. 18 iun 2001 Paperback Preț: 380.46 lei 6-8 săpt.
Scientific Computation with Automatic Result Verification Computing Supplementa, nr. 6 Editat de Ulrich Kulisch et al. 25 oct 1988 Paperback Preț: 390.81 lei 6-8 săpt.