Narrow your search

Library

KU Leuven (1)

UAntwerpen (1)

UGent (1)

ULiège (1)

UMons (1)


Resource type

book (3)


Language

English (3)


Year
From To Submit

1995 (2)

1993 (1)

Listing 1 - 3 of 3
Sort by
Numerical toolbox for verified computing I. Basic numerical problems : theory, algorithms, and Pascal-XSC programs
Authors: --- ---
ISBN: 3540571183 Year: 1993 Publisher: Berlin Springer

C++ toolbox for verified scientific computing : theory, algorithms, and programs
Authors: --- ---
ISBN: 0387591109 Year: 1995 Publisher: Berlin : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

C++ Toolbox for verified computing : basic numerical problems (theory, algorithms, and programs)
Authors: --- --- ---
ISBN: 3540591109 3642796532 3642796516 Year: 1995 Publisher: Berlin : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Programming

Listing 1 - 3 of 3
Sort by