Computer Arithmetic and Validity ISSN, nr. 33 Autor Ulrich Kulisch 17 apr 2013 Hardback Preț: 918.99 lei 1009.88 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ț: 649.61 lei 764.25 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.