Scientific computation with automatic result verification/

Other Authors: Kulisch,$bU., Stetter,$bH.
Format: Book
Published: Wien : Springer-Verlag, c1988
Series:Computing supplementum ; v. 6
Subjects:
ΒιβλιοθήκηΤαξιθετικός αριθμόςΑριθμός ΑντιτύπωνΠληροφορίεςΚατάσταση
Εθνικό Μετσόβιο Πολυτεχνείο519.4 SCI1ΠροβολήOPAC