top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Foundations of Mathematics : Symposium Papers Commemorating the Sixtieth Birthday of Kurt Gödel / edited by Jack J. Bulloff, Thomas C. Holyoke, Samuel W. Hahn
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
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
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
Opac: Controlla la disponibilità qui
Fourier Techniques and Applications / edited by John F. Price
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
Opac: Controlla la disponibilità qui
Fourier Techniques and Applications / edited by John F. Price
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
Opac: Controlla la disponibilità qui
Fractal geometry and stochastics 6. / Uta Freiberg ... [et al.] editors
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
Opac: Controlla la disponibilità qui
Fractal image encoding and analysis / edited by Yuval Fisher
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
Opac: Controlla la disponibilità qui
Fractal image encoding and analysis / edited by Yuval Fisher
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
Opac: Controlla la disponibilità qui
Fractal image encoding and analysis / edited by Yuval Fisher
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
Opac: Controlla la disponibilità qui