Jump to main content

yr 〜
yr

Search results 14

Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch. (Mathematics in science and engineering ; vol. 189)

Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch. (Mathematics in science and engineering ; vol. 189)
Paper図書
Academic Pressc1993.<M21-A36>
National Diet Library
  • Author HeadingAdams, Ernst. Kulisch, Ulrich.

Computer arithmetic and validity : theory, implementation, and applications 2nd ed.

Computer arithmetic and validity : theory, implementation, and applications 2nd ed.
Paper図書
by Ulrich KulischWalter de Gruyterc2013
Other Libraries in Japan

A new approach to scientific computation / edited by Ulrich W. Kulisch, Willard L. Miranker. (Notes and reports in computer science and applied mathematics ; 7)

A new approach to scientific computation / edited by Ulrich W. Kulisch, Willard L. Miranker. (Notes and reports in computer science and applied mathematics ; 7)
Paper図書
Academic Press1983.<M15-A2540>
National Diet Library
  • Author Heading...search Center) Kulisch, Ulrich. Miranker, Willard L. Internat...

Computer arithmetic and validity : theory, implementation, and applications

Computer arithmetic and validity : theory, implementation, and applications
Paper図書
Ulrich KulischWalter De Gruyterc2008
Other Libraries in Japan

Advanced arithmetic for the digital computer : design of arithmetic units

Advanced arithmetic for the digital computer : design of arithmetic units
Paper図書
Ulrich W. KulischSpringer-Verlagc2002
Other Libraries in Japan

Perspectives on enclosure methods

Perspectives on enclosure methods
Paper図書
Ulrich Kulisch, Rudolf Lohner, Axel Facius (eds.)Springerc2001
Other Libraries in Japan

Scientific computing with automatic result verification

Scientific computing with automatic result verification
Paper図書
edited by E. Adams, U. KulischAcademic Pressc1993
Other Libraries in Japan

Algorithms and theory : selected and revised papers from the IMACS 13th World Congress, Dublin, Ireland, July 1991

Algorithms and theory : selected and revised papers from the IMACS 13th World Congress, Dublin, Ireland, July 1991
Paper図書
edited by C. Brezinski, U. KulischNorth-Holland1992
Other Libraries in Japan

Wissenschaftliches Rechnen mit Ergebnisverifikation : eine Einführung

Wissenschaftliches Rechnen mit Ergebnisverifikation : eine Einführung
Paper図書
ausgearbeitet von S. Görg, R. Hammer und D. Ratz ; herausgegeben von U. KulischAkademie-Verlag1989
Other Libraries in Japan

Computerarithmetic : scientific computation and programming languages

Computerarithmetic : scientific computation and programming languages
Paper図書
edited by Edgar Kaucher, Ulrich Kulisch, Christian UllrichTeubner1987
Other Libraries in Japan

Scientific computation with automatic result verification : au : us

Scientific computation with automatic result verification : au : us
Paper図書
U. Kulisch and H.J. Stetter (eds.)Springer-Verlagc1988
Other Libraries in Japan

Computer arithmetic in theory and practice

Computer arithmetic in theory and practice
Paper図書
Ulrich W. Kulisch, Willard L. MirankerAcademic Press1981
Other Libraries in Japan

A new approach to scientific computation

A new approach to scientific computation
Paper図書
edited by Ulrich W. Kulisch, Willard L. MirankerAcademic Press1983
Other Libraries in Japan

Grundlagen der Computer-Arithmetik : au : us

Grundlagen der Computer-Arithmetik : au : us
Paper図書
herausgegeben von R. Albrecht und U. KulischSpringer-Verlagc1977
Other Libraries in Japan

Reached to the end of result.

RSS