C++ Toolbox for Verified Computing I
Autor Rolf Hammer et al.
14 dec 2011
Paperback
Preț: 705.96 lei 830.55 lei
6-8 săpt.
-15%
Cărți de Ulrich Kulisch
C-XSC
Autor Rudi Klatte et al.
23 apr 1993
Paperback
Preț: 648.33 lei 810.41 lei
6-8 săpt.
-20%
Numerical Toolbox for Verified Computing I
Autor Rolf Hammer et al.
8 dec 2011
Paperback
Preț: 647.26 lei 761.48 lei
6-8 săpt.
-15%
Computer Arithmetic and Validity: Theory, Implementation, and Applications
Autor Ulrich Kulisch
31 dec 2011
Hardback
Preț: 891.89 lei 980.10 lei
39-44 zile
-9%
Rechnerorientierte Verfahren
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
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.
PASCAL-XSC
Autor Rudi Klatte et al.
28 feb 1992
Paperback
Preț: 340.08 lei 425.11 lei
6-8 săpt.
-20%