Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advanced Relational Programming / by Filippo Cacace and Gianfranco Lamperti
| Advanced Relational Programming / by Filippo Cacace and Gianfranco Lamperti |
| Autore | Cacace, Filippo |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1996 |
| Descrizione fisica | xvi, 398 p. ; 24 cm |
| Altri autori (Persone) | Lamperti, Gianfranco |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68N15 - Theory of programming languages [MSC 2020] 68P15 - Database theory [MSC 2020] |
| Soggetto non controllato |
Database
Database programming Developments Languages Programming Programming languages Relational database Software Software engineering |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00296263 |
Cacace, Filippo
|
||
| Dordrecht, : Springer, : Kluwer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Calvin C. Elgot : Selected Papers / Edited by Stephen L. Bloom ; With a foreword by Dana S. Scott and ”a glimpse back” by Samuel Eilenberg
| Calvin C. Elgot : Selected Papers / Edited by Stephen L. Bloom ; With a foreword by Dana S. Scott and ”a glimpse back” by Samuel Eilenberg |
| Autore | Elgot, Calvin C. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1982 |
| Descrizione fisica | xxiv, 460 p. : ill. ; 24 cm |
| Soggetto topico |
01A65 - Contemporary [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 62-XX - Statistics [MSC 2020] 62M07 - Non-Markovian processes: hypothesis testing [MSC 2020] |
| Soggetto non controllato |
Algebra
Algorithms Automata Computer Science Equations Programming Programming languages |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268538 |
|
Elgot, Calvin C.
|
||
| New York, : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial Complexes : A Mathematical Theory of Algorithms / Peter H. Sellers
| Combinatorial Complexes : A Mathematical Theory of Algorithms / Peter H. Sellers |
| Autore | Sellers, Peter H. |
| Pubbl/distr/stampa | Dordrecht, : D. Reidel, 1979 |
| Descrizione fisica | xvi, 184 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] 68Wxx - Algorithms in computer science [MSC 2020] |
| Soggetto non controllato |
Algorithms
Coding theory Geometry Mathematica Optimization Programming Programming languages |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00266175 |
|
Sellers, Peter H.
|
||
| Dordrecht, : D. Reidel, 1979 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
First Leaves: A Tutorial Introduction to Maple 5. / Bruce W. Char ... [et al.]
| First Leaves: A Tutorial Introduction to Maple 5. / Bruce W. Char ... [et al.] |
| Pubbl/distr/stampa | New York [etc.], : Springer-Verlag, 1992 |
| Descrizione fisica | xviii, 253 p. : ill. ; 24 cm |
| Soggetto topico |
13Pxx - Computational aspects and applications [MSC 2020]
68-XX - Computer science [MSC 2020] 68W30 - Symbolic computation and algebraic computation [MSC 2020] |
| Soggetto non controllato |
Calculation
Computation Functions Programming Programming languages Symbolic Computation |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00289985 |
| New York [etc.], : Springer-Verlag, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Numerical Algorithms with C / Gisela Engeln-Müllges, Frank Uhlig
| Numerical Algorithms with C / Gisela Engeln-Müllges, Frank Uhlig |
| Autore | Engeln-Müllges, Gisela |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 1996 |
| Descrizione fisica | xxii, 596 p. : ill. ; 24 cm |
| Altri autori (Persone) | Uhlig, Frank |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
65Dxx - Numerical approximation and computational geometry (primarily algorithms) [MSC 2020] 65Fxx - Numerical linear algebra [MSC 2020] 65Hxx - Nonlinear algebraic or transcendental equations [MSC 2020] 65Lxx - Numerical methods for ordinary differential equations [MSC 2020] 65Yxx - Computer aspects of numerical algorithms [MSC 2020] |
| Soggetto non controllato |
ANSI C programs
Algorithms C programming language C programs Numerical Analysis Numerical Mathematics Programming languages |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00296041 |
|
Engeln-Müllges, Gisela
|
||
| Berlin ; Heidelberg, : Springer, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
On the Refinement Calculus / Edited by Carroll Morgan, Trevor Vickers
| On the Refinement Calculus / Edited by Carroll Morgan, Trevor Vickers |
| Pubbl/distr/stampa | London [etc.], : Springer-Verlag, 1992 |
| Descrizione fisica | 159 p. ; 24 cm |
| Soggetto topico |
65-XX - Numerical analysis [MSC 2020]
68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Algorithms
Calculus Distribution Programming Programming languages |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00289611 |
| London [etc.], : Springer-Verlag, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||