Computer Arithmetic and Validity: Theory, Implementation, and Applications de Gruyter Studies in Mathematics, nr. 33 Autor Ulrich Kulisch 31 dec 2011 Hardback Preț: 862.24 lei 947.52 lei 38-44 zile -9%
Scientific Computation with Automatic Result Verification Computing Supplementa, nr. 6 Editat de Ulrich Kulisch et al. 25 oct 1988 Paperback Preț: 373.24 lei 6-8 săpt.
Perspectives on Enclosure Methods Editat de Ulrich Kulisch et al. 18 iun 2001 Paperback Preț: 380.46 lei 6-8 săpt.
PASCAL-XSC: Language Reference with Examples Autor Rudi Klatte et al. 28 feb 1992 Paperback Preț: 324.50 lei 405.63 lei 6-8 săpt. -20%
C-XSC: A C++ Class Library for Extended Scientific Computing Autor Rudi Klatte et al. 23 apr 1993 Paperback Preț: 620.20 lei 775.26 lei 6-8 săpt. -20%
Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs Springer Series in Computational Mathematics, nr. 21 Autor Rolf Hammer et al. 8 dec 2011 Paperback Preț: 618.83 lei 728.03 lei 6-8 săpt. -15%
C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs Autor Rolf Hammer et al. 14 dec 2011 Paperback Preț: 674.91 lei 794.02 lei 6-8 săpt. -15%