C++ Toolbox for Verified Computing I Autor Rolf Hammer et al. 14 dec 2011 Paperback Preț: 672.74 lei 791.45 lei 6-8 săpt. -15%
Numerical Toolbox for Verified Computing I Springer Series in Computational Mathematics, nr. 21 Autor Rolf Hammer et al. 8 dec 2011 Paperback Preț: 616.82 lei 725.66 lei 6-8 săpt. -15%
Rechnerorientierte Verfahren Mathematische Methoden der Technik, nr. 4 Autor Bernhard Kutzler et al. sep 1986 Paperback Preț: 492.98 lei 6-8 săpt.
Überblicke Mathematik 1996/97 Editat de Albrecht Beutelspacher et al. noi 1996 Paperback Preț: 490.56 lei 6-8 săpt.
PASCAL-XSC: Sprachbeschreibung mit Beispielen Autor Rudi Klatte et al. 29 mai 1991 Paperback Preț: 411.41 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.
Perspectives on Enclosure Methods Editat de Ulrich Kulisch et al. 18 iun 2001 Paperback Preț: 380.46 lei 6-8 săpt.