Filtre: Engleză

Cărți de Ulrich Kulisch

C++ Toolbox for Verified Computing I

Autor Rolf Hammer et al.

14 dec 2011

Preț: 672^.74 lei 791^.45 lei

6-8 săpt.

-15%

Computer Arithmetic and Validity: Theory, Implementation, and Applications

de Gruyter Studies in Mathematics, nr. 33

Autor Ulrich Kulisch

19 mai 2008

Preț: 634^.42 lei 869^.06 lei

Indisponibil temporar

-27%

C-XSC: A C++ Class Library for Extended Scientific Computing

Autor Rudi Klatte et al.

23 apr 1993

Preț: 620^.20 lei 775^.26 lei

6-8 săpt.

-20%

Numerical Toolbox for Verified Computing I

Springer Series in Computational Mathematics, nr. 21

Autor Rolf Hammer et al.

8 dec 2011

Preț: 616^.82 lei 725^.66 lei

6-8 săpt.

-15%

Perspectives on Enclosure Methods

Editat de Ulrich Kulisch et al.

18 iun 2001

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

Preț: 373^.24 lei

6-8 săpt.

PASCAL-XSC: Language Reference with Examples

Autor Rudi Klatte et al.

28 feb 1992

Preț: 324^.50 lei 405^.63 lei

6-8 săpt.

-20%