Foundations of Mathematics : Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel / edited by Jack J. Bulloff, Thomas C. Holyoke, Samuel W. Hahn |
Pubbl/distr/stampa | Berlin, : Springer, 1969 |
Descrizione fisica | xii, 196 p. : ill. ; 24 cm |
Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
00B30 - Festschriften [MSC 2020] 03-XX - Mathematical logic and foundations [MSC 2020] |
Soggetto non controllato |
Arithmetic
Logic Mathematica Mathematics Philosophy Set Theory Theorem |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00254725 |
Berlin, : Springer, 1969 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Foundations of Modern Statistics : Festschrift in Honor of Vladimir Spokoiny, Berlin, Germany, November 6–8, 2019, Moscow, Russia, November 30, 2019 / Denis Belomestny ... [et al.] editors |
Pubbl/distr/stampa | Cham, : Springer, 2023 |
Descrizione fisica | x, 605 p. : ill. ; 24 cm |
Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
00B30 - Festschriften [MSC 2020] 62-XX - Statistics [MSC 2020] |
Soggetto non controllato |
Bayes Estimation
Linear Models Maximum Likelihood Parameter Estimation Statistical Hypothesis Testing |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00278810 |
Cham, : Springer, 2023 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Foundations of Software Science and Computation Structures : 23. International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / Jean Goubault-Larrecq, Barbara König editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xv, 644 p. : ill. ; 24 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
68Qxx - Theory of computing [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 68Nxx - Theory of software [MSC 2020] |
Soggetto non controllato |
Artificial intellegence
Automata Categorical models and logics Concurrency theory and process calculi Emerging models of computation Formal logic Language theory Linguistics Logical aspects of computational complexity Logical foundations of data bases Logics of programming Mathematics Modal, spatial and temporal logics Models of software security Rewriting theory Semantics of programming languages Software specification and refinement Type theory and proof theory and games |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN0249173 |
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Foundations of Software Science and Computation Structures : 23. International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings / Jean Goubault-Larrecq, Barbara König editors |
Pubbl/distr/stampa | Cham, : Springer, 2020 |
Descrizione fisica | xv, 644 p. : ill. ; 24 cm |
Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68-XX - Computer science [MSC 2020] 68Nxx - Theory of software [MSC 2020] 68Qxx - Theory of computing [MSC 2020] |
Soggetto non controllato |
Artificial intellegence
Automata Categorical models and logics Concurrency theory and process calculi Emerging models of computation Formal logic Language theory Linguistics Logical aspects of computational complexity Logical foundations of data bases Logics of programming Mathematics Modal, spatial and temporal logics Models of software security Rewriting theory Semantics of programming languages Software specification and refinement Type theory and proof theory and games |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Titolo uniforme | |
Record Nr. | UNICAMPANIA-VAN00249173 |
Cham, : Springer, 2020 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Fourier Techniques and Applications / edited by John F. Price |
Pubbl/distr/stampa | New York, : Plenum, 1985 |
Descrizione fisica | viii, 231 p. ; 24 cm |
Soggetto topico |
94-XX - Information and communication theory, circuits [MSC 2020]
42-XX - Harmonic analysis on Euclidean spaces [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
Soggetto non controllato |
Calculus
Diffusion Distribution Functions Metals Processing Spectroscopy |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0268765 |
New York, : Plenum, 1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Fourier Techniques and Applications / edited by John F. Price |
Pubbl/distr/stampa | New York, : Plenum, 1985 |
Descrizione fisica | viii, 231 p. ; 24 cm |
Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
42-XX - Harmonic analysis on Euclidean spaces [MSC 2020] 94-XX - Information and communication theory, circuits [MSC 2020] |
Soggetto non controllato |
Calculus
Diffusion Distribution Functions Metals Processing Spectroscopy |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00268765 |
New York, : Plenum, 1985 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Fractal geometry and stochastics 6. / Uta Freiberg ... [et al.] editors |
Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2021 |
Descrizione fisica | xii, 307 p. : ill. ; 24 cm |
Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
28-XX - Measure and integration [MSC 2020] 37-XX - Dynamical systems and ergodic theory [MSC 2020] 60-XX - Probability theory and stochastic processes [MSC 2020] |
Soggetto non controllato |
Fractal Geometry
Fractal dimension Geometric measure theory Multifractals Projection theorems Rectifiability Self-similarity |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00274380 |
Cham, : Birkhäuser, : Springer, 2021 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Fractal image encoding and analysis / edited by Yuval Fisher |
Pubbl/distr/stampa | Berlin, : Springer, 1998 |
Descrizione fisica | XIII, 368 p. : ill. ; 25 cm. |
Soggetto topico |
68-XX - Computer science [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
ISBN |
35-406-3196-8
978-35-406-3196-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-SUN0048880 |
Berlin, : Springer, 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Fractal image encoding and analysis / edited by Yuval Fisher |
Pubbl/distr/stampa | Berlin, : Springer, 1998 |
Descrizione fisica | XIII, 368 p. : ill. ; 25 cm |
Soggetto topico |
68-XX - Computer science [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
ISBN |
35-406-3196-8
978-35-406-3196-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN0048880 |
Berlin, : Springer, 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|
Fractal image encoding and analysis / edited by Yuval Fisher |
Pubbl/distr/stampa | Berlin, : Springer, 1998 |
Descrizione fisica | XIII, 368 p. : ill. ; 25 cm |
Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68-XX - Computer science [MSC 2020] |
ISBN |
35-406-3196-8
978-35-406-3196-5 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNICAMPANIA-VAN00048880 |
Berlin, : Springer, 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Vanvitelli | ||
|