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.
A Programming Approach to Computability / A. J. Kfoury, Robert N. Moll, Michael A. Arbib
| A Programming Approach to Computability / A. J. Kfoury, Robert N. Moll, Michael A. Arbib |
| Autore | Kfoury, Assaf J. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1982 |
| Descrizione fisica | viii, 251 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Arbib, Michael A.
Moll, Robert N. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] 03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] |
| Soggetto non controllato |
Algorithms
Classification Computability theory Formal languages Predictability Programming |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268469 |
Kfoury, Assaf J.
|
||
| New York, : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A Programming Approach to Computability / A. J. Kfoury, Robert N. Moll, Michael A. Arbib
| A Programming Approach to Computability / A. J. Kfoury, Robert N. Moll, Michael A. Arbib |
| Autore | Kfoury, Assaf J. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1982 |
| Descrizione fisica | viii, 251 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Arbib, Michael A.
Moll, Robert N. |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03D60 - Computability and recursion theory on ordinals, admissible sets, etc. [MSC 2020] 03D80 - Applications of computability and recursion theory [MSC 2020] 68-XX - Computer science [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] |
| Soggetto non controllato |
Algorithms
Classification Computability theory Formal languages Predictability Programming |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268469 |
|
Kfoury, Assaf J.
|
||
| New York, : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Introduction to Programming with Mathematica® / Richard J. Gaylord, Samuel N. Kamin, Paul R. Wellin
| An Introduction to Programming with Mathematica® / Richard J. Gaylord, Samuel N. Kamin, Paul R. Wellin |
| Autore | Gaylord, Richard J. |
| Edizione | [2. ed] |
| Pubbl/distr/stampa | New York, : Springer ; Santa Clara, : Telos, 1996 |
| Descrizione fisica | XXIII, 452 p. : ill. ; 25 cm |
| Altri autori (Persone) |
Kamin, Samuel N.
Wellin, Paul R. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68N01 - General topics in the theory of software [MSC 2020] 68N15 - Theory of programming languages [MSC 2020] |
| Soggetto non controllato |
Debugging
Mathematics Numerics Pattern Programming Recursion Strings Term rewriting |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00296519 |
|
Gaylord, Richard J.
|
||
| New York, : Springer ; Santa Clara, : Telos, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Data Science for Public Policy / Jeffrey C. Chen, Edward A. Rubin, Gary J. Cornwall
| Data Science for Public Policy / Jeffrey C. Chen, Edward A. Rubin, Gary J. Cornwall |
| Autore | Chen, Jeffrey C. |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xiv, 363 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Cornwall, Gary J.
Rubin, Edward A. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
62H12 - Estimation in multivariate analysis [MSC 2020] 62-XX - Statistics [MSC 2020] 62J05 - Linear regression; mixed models [MSC 2020] 62H11 - Directional data; spatial statistics [MSC 2020] 68N15 - Theory of programming languages [MSC 2020] 91-XX - Game theory, economics, finance, and other social and behavioral sciences [MSC 2020] 62P20 - Applications of statistics to economics [MSC 2020] 62J07 - Ridge regression; shrinkage estimators (Lasso) [MSC 2020] 62P25 - Applications of statistics to social sciences [MSC 2020] 62P12 - Applications of statistics to environmental and related topics [MSC 2020] 68T50 - Natural language processing [MSC 2020] 91C20 - Clustering in the social and behavioral sciences [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] |
| Soggetto non controllato |
Data Sciences
Econometrics Programming Public policy Statistics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0274696 |
|
Chen, Jeffrey C.
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Data Science for Public Policy / Jeffrey C. Chen, Edward A. Rubin, Gary J. Cornwall
| Data Science for Public Policy / Jeffrey C. Chen, Edward A. Rubin, Gary J. Cornwall |
| Autore | Chen, Jeffrey C. |
| Pubbl/distr/stampa | Cham, : Springer, 2021 |
| Descrizione fisica | xiv, 363 p. : ill. ; 24 cm |
| Altri autori (Persone) |
Cornwall, Gary J.
Rubin, Edward A. |
| Soggetto topico |
62-XX - Statistics [MSC 2020]
62H11 - Directional data; spatial statistics [MSC 2020] 62H12 - Estimation in multivariate analysis [MSC 2020] 62J05 - Linear regression; mixed models [MSC 2020] 62J07 - Ridge regression; shrinkage estimators (Lasso) [MSC 2020] 62P12 - Applications of statistics to environmental and related topics [MSC 2020] 62P20 - Applications of statistics to economics [MSC 2020] 62P25 - Applications of statistics to social sciences [MSC 2020] 68-XX - Computer science [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] 68N15 - Theory of programming languages [MSC 2020] 68T50 - Natural language processing [MSC 2020] 91-XX - Game theory, economics, finance, and other social and behavioral sciences [MSC 2020] 91C20 - Clustering in the social and behavioral sciences [MSC 2020] |
| Soggetto non controllato |
Data Sciences
Econometrics Programming Public policy Statistics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00274696 |
|
Chen, Jeffrey C.
|
||
| Cham, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to Numerical Methods for Variational Problems / Hans Petter Langtangen, Kent-Andre Mardal
| Introduction to Numerical Methods for Variational Problems / Hans Petter Langtangen, Kent-Andre Mardal |
| Autore | Langtangen, Hans P. |
| Pubbl/distr/stampa | Cham, : Springer, 2019 |
| Descrizione fisica | xvi, 386 p. : ill. ; 24 cm |
| Altri autori (Persone) | Mardal, Kent-André |
| Soggetto topico |
65Kxx - Numerical methods for mathematical programming, optimization and variational techniques [MSC 2020]
35R10 - Functional partial differential equations [MSC 2020] 74Sxx - Numerical and other methods in solid mechanics [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] |
| Soggetto non controllato |
Computational modeling
Finite element methods Python Scientific Computing Scripting Variational methods |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0126933 |
|
Langtangen, Hans P.
|
||
| Cham, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to Numerical Methods for Variational Problems / Hans Petter Langtangen, Kent-Andre Mardal
| Introduction to Numerical Methods for Variational Problems / Hans Petter Langtangen, Kent-Andre Mardal |
| Autore | Langtangen, Hans P. |
| Pubbl/distr/stampa | Cham, : Springer, 2019 |
| Descrizione fisica | xvi, 386 p. : ill. ; 24 cm |
| Altri autori (Persone) | Mardal, Kent-André |
| Soggetto topico |
35R10 - Functional partial differential equations [MSC 2020]
65Kxx - Numerical methods for mathematical programming, optimization and variational techniques [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] 74Sxx - Numerical and other methods in solid mechanics [MSC 2020] |
| Soggetto non controllato |
Computational modeling
Finite element methods Python Scientific Computing Scripting Variational methods |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00126933 |
|
Langtangen, Hans P.
|
||
| Cham, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Introduction to Numerical Methods for Variational Problems / Hans Petter Langtangen, Kent-Andre Mardal
| Introduction to Numerical Methods for Variational Problems / Hans Petter Langtangen, Kent-Andre Mardal |
| Autore | Langtangen, Hans P. |
| Edizione | [Cham : Springer, 2019] |
| Pubbl/distr/stampa | xvi, 386 p., : ill. ; 24 cm |
| Descrizione fisica | Pubblicazione in formato elettronico |
| Altri autori (Persone) | Mardal, Kent-Andre |
| Soggetto topico |
65Kxx - Numerical methods for mathematical programming, optimization and variational techniques [MSC 2020]
35R10 - Functional partial differential equations [MSC 2020] 74Sxx - Numerical and other methods in solid mechanics [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0126933 |
|
Langtangen, Hans P.
|
||
| xvi, 386 p., : ill. ; 24 cm | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Software engineering / Ian Sommerville
| Software engineering / Ian Sommerville |
| Autore | Sommerville, Ian <1951- > |
| Edizione | [10. ed] |
| Pubbl/distr/stampa | Boston, : Pearson, 2016 |
| Descrizione fisica | 810 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Nxx - Theory of software [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] |
| ISBN | 978-12-920961-3-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0265407 |
|
Sommerville, Ian <1951- >
|
||
| Boston, : Pearson, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Software engineering / Ian Sommerville
| Software engineering / Ian Sommerville |
| Autore | Sommerville, Ian <1951- > |
| Edizione | [10. ed] |
| Pubbl/distr/stampa | Boston, : Pearson, 2016 |
| Descrizione fisica | 810 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68N01 - General topics in the theory of software [MSC 2020] 68Nxx - Theory of software [MSC 2020] |
| ISBN | 978-12-920961-3-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00265407 |
|
Sommerville, Ian <1951- >
|
||
| Boston, : Pearson, 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
68N01 - General topics in the theory of software [MSC 2020]
(16)
- 68-XX - Computer science [MSC 2020] (13)
- 35R10 - Functional partial differential equations [MSC 2020] (3)
- 65Kxx - Numerical methods for mathematical programming, optimization and variational techniques [MSC 2020] (3)
- 68N15 - Theory of programming languages [MSC 2020] (3)