Pascal-SC : a Pascal extension for scientific computation : information manual and floppy disks / U. Kulisch, editor |
Pubbl/distr/stampa | Stuttgart : G.B. Teubner ; Chichester : John Wiley, 1987 |
Disciplina | 005.133 |
Soggetto non controllato | linguaggio pascal manuali |
ISBN | 3-519-02106-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-990000166900203316 |
Stuttgart : G.B. Teubner ; Chichester : John Wiley, 1987 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Scientific computing with automatic result verification / edited by E. Adams, U. Kulisch |
Autore | Kulisch, U. |
Pubbl/distr/stampa | San Diego : Academic Press, c1993 |
Descrizione fisica | X, 612 p. ; 24 cm |
Disciplina | 519.40285 |
Altri autori (Persone) | Adams, Ernst |
Collana | Mathematics in science and engineering |
Soggetto non controllato |
Algoritmi numerici
Calcolo parallelo Linguaggi di programmazione Enclosure methods World problems - Simulazione numerica Computabilita - Programmi |
ISBN | 0-12-044210-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990001335010403321 |
Kulisch, U. | ||
San Diego : Academic Press, c1993 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|