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 | ||
| ||
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 | ||
| ||
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. |
| 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 Reliability Growth Models / David D. Hanagal, Nileema N. Bhalerao
| Software Reliability Growth Models / David D. Hanagal, Nileema N. Bhalerao |
| Autore | Hanagal, David D. |
| Pubbl/distr/stampa | Singapore, : Springer, 2021 |
| Descrizione fisica | xxi, 104 p. : ill. ; 24 cm |
| Altri autori (Persone) | Bhalerao, Nileema N. |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68M15 - Reliability, testing and fault tolerance of networks and computer systems [MSC 2020] 68T05 - Learning and adaptive systems in artificial intelligence [MSC 2020] 60G55 - Point processes (e.g., Poisson, Cox, Hawkes processes) [MSC 2020] 68Q87 - Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] |
| Soggetto non controllato |
Delayed s-shaped curve
Extended inverse Weibull Fault content rate function Generalized extended inverse Weibull Generalized inverse Weibull Hazard Rate Imperfect debugging Inverse Weibull Mean value function Model selection criteria Non-homogeneous Poisson process Predictive risk ratio |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0275518 |
|
Hanagal, David D.
|
||
| Singapore, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Symposium on Semantics of Algorithmic Languages / edited by E. Engeler
| Symposium on Semantics of Algorithmic Languages / edited by E. Engeler |
| Pubbl/distr/stampa | Berlin, : Springer, 1971 |
| Descrizione fisica | vi, 366 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68N17 - Logic programming [MSC 2020] 68Q45 - Formal languages and automata [MSC 2020] 68Q55 - Semantics in the theory of computing [MSC 2020] 68P20 - Information storage and retrieval of data (aspects in computer science) [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] |
| Soggetto non controllato |
Algebra
Semantics Semantics of Algorithmic Languages |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0255411 |
| Berlin, : Springer, 1971 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
The Evolution of Programs / Nachum Dershowitz
| The Evolution of Programs / Nachum Dershowitz |
| Autore | Dershowitz, Nachum |
| Pubbl/distr/stampa | Boston, : Birkhäuser, 1983 |
| Descrizione fisica | v, 359 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Qxx - Theory of computing [MSC 2020] 68Q60 - Specification and verification (program logics, model checking, etc.) [MSC 2020] 68N01 - General topics in the theory of software [MSC 2020] |
| Soggetto non controllato |
Algorithms
Calculus Code Notation Partition |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0253841 |
|
Dershowitz, Nachum
|
||
| Boston, : Birkhäuser, 1983 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Soggetto topico
-
68N01 - General topics in the theory of software [MSC 2020]
(8)
- 68-XX - Computer science [MSC 2020] (6)
- 35R10 - Functional partial differential equations [MSC 2020] (2)
- 65Kxx - Numerical methods for mathematical programming, optimization and variational techniques [MSC 2020] (2)
- 74Sxx - Numerical and other methods in solid mechanics [MSC 2020] (2)