Number of the records: 1  

Scientific Computation with Automatic Result Verification

  1. KULISH, Ulrich - STETTER, Hans j. Scientific Computation with Automatic Result Verification. 1. vyd. Wien : Springer, 1988. 244 s.

Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all