Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             10 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Efficient Control of the Dependency Problem Based on Taylor Model Methods Kyoko Makino
 1999
 5 1 p. 3-12
10 p.
 artikel
2 Error Estimation for Indirect Measurements: Interval Computation Problem Is (Slightly) Harder Than a Similar Probabilistic Computational Problem Olga Kosheleva
 1999
 5 1 p. 81-95
15 p.
 artikel
3 Expression Templates for Dot Product Expressions Michael Lerch
 1999
 5 1 p. 69-80
12 p.
 artikel
4 How to Guarantee Finite Termination of Verifying Global Optimization Codes Gerhard Heindl
 1999
 5 1 p. 63-68
6 p.
 artikel
5 New Methods for High-Dimensional Verified Quadrature Martin Berz
 1999
 5 1 p. 13-22
10 p.
 artikel
6 Preface Shen Zuhe
 1999
 5 1 p. 1-1
1 p.
 artikel
7 Representing Knowledge within the Situation Calculus Using Interval-Valued Epistemic Fluents John Funge
 1999
 5 1 p. 35-61
27 p.
 artikel
8 SCAN-98: an IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics Tibor Csendes
 1999
 5 1 p. 101-102
2 p.
 artikel
9 Solving Linear Systems with Error Control: Minisymposium within the 4th International Conference NMA98 N. Dimitrova
 1999
 5 1 p. 97-100
4 p.
 artikel
10 Solving Underdetermined Systems with Interval Methods Zhang Danqing
 1999
 5 1 p. 23-33
11 p.
 artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland