Jump to main content

yr 〜
yr

Search results 12

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
  • Author HeadingKulisch, Ulrich W

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
  • Author HeadingKulisch, Ulrich W

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
  • Author HeadingKulisch, Ulrich W

Perspectives on enclosure methods

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

Scientific computing with automatic result verification

Scientific computing with automatic result verification
Paper図書
edited by E. Adams, U. KulischAcademic Pressc1993
Other Libraries in Japan
  • Author HeadingAdams, Ernst Kulisch, Ulrich W

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
  • Author HeadingBrezinski, Claude Kulisch, Ulrich W IMACS World Congress

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
  • Author HeadingGeörg, S. Hammer, R. Ratz, D Kulisch, Ulrich W

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
  • Author HeadingKulisch, Ulrich W Ullrich, Christian Kaucher, E...

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
  • Author HeadingKulisch, Ulrich W Stetter, Hans J. Universität ...

Computer arithmetic in theory and practice

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

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
  • Author Heading...ic Computation Kulisch, Ulrich W Miranker, Willard L. Internat...

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
  • Author HeadingAlbrecht, R. F. (Rudolf F.) Kulisch, Ulrich W

Reached to the end of result.

RSS