Number of the records: 1
Scientific Computation with Automatic Result Verification
SYS c037264 LBL ^^^^^nam^^22^^^^^^^^450^ 005 20221219111611.5 100 $a 19950309d 1988u 0sloy03 ba 101 0-
$a ger 102 $a AT 200 1-
$a Scientific Computation with Automatic Result Verification $f Ulrich Kulish, Hans j. Stetter 205 $a 1. vyd. 210 $a Wien $c Springer $d 1988 215 $a 244 s. 675 $a 658.512 $v 1. stred. $z slo $T . $3 eu_un_auth*h0000340 $x Výrobné plány. Určenie poradia pracovných postupov. Routing 700 -1
$a Kulish $b Ulrich $3 eu_un_auth*p0048409 $4 070 701 -1
$a Stetter $b Hans j. $3 eu_un_auth*p0048410 $4 070 801 -0
$a SK $b BA004 $c 19980307 $g AACR2
Number of the records: 1