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%
Rechnerorientierte Verfahren Mathematische Methoden der Technik, nr. 4 Cu Bruno Buchberger et al. sep 1986 Paperback Preț: 470.97 lei 6-8 săpt.
Überblicke Mathematik 1996/97 Editat de Albrecht Beutelspacher et al. noi 1996 Paperback Preț: 468.74 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.