本文に飛ぶ

年 〜
年

検索結果 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)
紙図書
Academic Pressc1993.<M21-A36>
国立国会図書館
  • 著者標目Adams, Ernst. Kulisch, Ulrich.

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

Computer arithmetic and validity : theory, implementation, and applications 2nd ed.
紙図書
by Ulrich KulischWalter de Gruyterc2013
全国の図書館

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)
紙図書
Academic Press1983.<M15-A2540>
国立国会図書館
  • 著者標目...search Center) Kulisch, Ulrich. Miranker, Willard L. Internat...

Computer arithmetic and validity : theory, implementation, and applications

Computer arithmetic and validity : theory, implementation, and applications
紙図書
Ulrich KulischWalter De Gruyterc2008
全国の図書館

Advanced arithmetic for the digital computer : design of arithmetic units

Advanced arithmetic for the digital computer : design of arithmetic units
紙図書
Ulrich W. KulischSpringer-Verlagc2002
全国の図書館

Perspectives on enclosure methods

Perspectives on enclosure methods
紙図書
Ulrich Kulisch, Rudolf Lohner, Axel Facius (eds.)Springerc2001
全国の図書館

Scientific computing with automatic result verification

Scientific computing with automatic result verification
紙図書
edited by E. Adams, U. KulischAcademic Pressc1993
全国の図書館

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
紙図書
edited by C. Brezinski, U. KulischNorth-Holland1992
全国の図書館

Wissenschaftliches Rechnen mit Ergebnisverifikation : eine Einführung

Wissenschaftliches Rechnen mit Ergebnisverifikation : eine Einführung
紙図書
ausgearbeitet von S. Görg, R. Hammer und D. Ratz ; herausgegeben von U. KulischAkademie-Verlag1989
全国の図書館

Computerarithmetic : scientific computation and programming languages

Computerarithmetic : scientific computation and programming languages
紙図書
edited by Edgar Kaucher, Ulrich Kulisch, Christian UllrichTeubner1987
全国の図書館

Scientific computation with automatic result verification : au : us

Scientific computation with automatic result verification : au : us
紙図書
U. Kulisch and H.J. Stetter (eds.)Springer-Verlagc1988
全国の図書館

Computer arithmetic in theory and practice

Computer arithmetic in theory and practice
紙図書
Ulrich W. Kulisch, Willard L. MirankerAcademic Press1981
全国の図書館

A new approach to scientific computation

A new approach to scientific computation
紙図書
edited by Ulrich W. Kulisch, Willard L. MirankerAcademic Press1983
全国の図書館

Grundlagen der Computer-Arithmetik : au : us

Grundlagen der Computer-Arithmetik : au : us
紙図書
herausgegeben von R. Albrecht und U. KulischSpringer-Verlagc1977
全国の図書館

検索結果は以上です。

RSS