Books by Ulrich Kulisch
Total count: 18
Computer arithmetic in theory and practiceAcademic Press1981-01-01
Scientific Computation with Automatic Result VerificationSpringer Vienna1988-01-01
PASCAL-XSCSprachbeschreibung mit BeispielenSpringer1991-05-29
Numerical Toolbox for Verified Computing IBasic Numerical Problems Theory, Algorithms, and Pascal-XSC ProgramsSpringer Berlin Heidelberg1993-01-01
C++ Toolbox for Verified Computing IBasic Numerical Problems Theory, Algorithms, and ProgramsSpringer Berlin Heidelberg1995-01-01
Perspectives on Enclosure MethodsImprint2001-01-01
Advanced Arithmetic for the Digital ComputerDesign of Arithmetic UnitsSpringer Vienna2002-01-01
Advanced arithmetic for the digital computerdesign of arithmetic unitsSpringer2002-01-01
Rechnerorientierte VerfahrenVieweg+Teubner Verlag2013-01-03