1. Scientific Computation with Automatic Result Verification
| Info | RETRO-CATALOGUING - SHORT RECORD |
|---|---|
| Title | Scientific Computation with Automatic Result Verification |
| Author info | Ulrich Kulish, Hans j. Stetter |
| Author | Kulish Ulrich |
| Co-authors | Stetter Hans j. |
| Issue data | Wien : Springer , 1988. - 244 s. |
| Issue | 1. vyd. |
| Document kind | monographs |
| Language | German |
| Country of Edition | Austria |
| systematics | 658.512 - Výrobné plány. Určenie poradia pracovných postupov. Routing |
| Database | BOOKS |
| Copy count | 1, currently available 1, at library only 0 |
| Call number | 609003 |