-
1C++ Toolbox for Verified Computing I [electronic resource] : Basic Numerical Problems Theory, Algorithms, and Programs / C++ Toolbox for Verified Computing I [electronic resource] : Basic Numerical Problems Theory, Algorithms, and Programs /by Kulisch, Ulrich. author., Hammer, Rolf. author., Hocks, Matthias. author., Ratz, Dietmar. author., SpringerLink (Online service)
Published 1995Texto bibliotecaCOLPOS -
2C++ Toolbox for Verified Computing I [electronic resource] : Basic Numerical Problems Theory, Algorithms, and Programs / C++ Toolbox for Verified Computing I [electronic resource] : Basic Numerical Problems Theory, Algorithms, and Programs /by Kulisch, Ulrich. author., Hammer, Rolf. author., Hocks, Matthias. author., Ratz, Dietmar. author., SpringerLink (Online service)
Published 1995Texto bibliotecaCOLPOS -
3Numerical Toolbox for Verified Computing I [electronic resource] : Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs / Numerical Toolbox for Verified Computing I [electronic resource] : Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs /by Kulisch, Ulrich. author., Hammer, Rolf. author., Ratz, Dietmar. author., Hocks, Matthias. author., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS -
4Numerical Toolbox for Verified Computing I [electronic resource] : Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs / Numerical Toolbox for Verified Computing I [electronic resource] : Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs /by Kulisch, Ulrich. author., Hammer, Rolf. author., Ratz, Dietmar. author., Hocks, Matthias. author., SpringerLink (Online service)
Published 1993Texto bibliotecaCOLPOS