Number of the records: 1  

Scientific Computation with Automatic Result Verification

  1. InfoRETRO-CATALOGUING - SHORT RECORD
    Title Scientific Computation with Automatic Result Verification
    Author infoUlrich Kulish, Hans j. Stetter
    Author Kulish Ulrich
    Co-authors Stetter Hans j.
    Issue dataWien : Springer , 1988. - 244 s.
    Issue1. vyd.
    Document kindmonographs
    LanguageGerman
    Country of EditionAustria
    systematics 658.512 - Výrobné plány. Určenie poradia pracovných postupov. Routing
    DatabaseBOOKS
    Copy count1, currently available 1, at library only 0
    Call number609003

    Call numberLocationSublocationInfo
    609003SEKSklad knižničného fonduavailaible

Number of the records: 1  

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