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 Textbook of Belief Dynamics : Solutions to exercises / by Sven Ove Hansson
| A Textbook of Belief Dynamics : Solutions to exercises / by Sven Ove Hansson |
| Autore | Hansson, Sven-Ove |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1999 |
| Descrizione fisica | 65 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
68Txx - Artificial intelligence [MSC 2020] |
| Soggetto non controllato |
Database
Formal language Knowledge Knowledge representation Logic Nonmonotonic reasoning Reason |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00299908 |
Hansson, Sven-Ove
|
||
| Dordrecht, : Springer, : Kluwer, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A theory of shape identification / Frédéric Cao ... [et al.]
| A theory of shape identification / Frédéric Cao ... [et al.] |
| Pubbl/distr/stampa | Berlin, : Springer, 2008 |
| Descrizione fisica | XI, 257 p. ; 24 cm |
| Soggetto topico |
62-XX - Statistics [MSC 2020]
68-XX - Computer science [MSC 2020] 91-XX - Game theory, economics, finance, and other social and behavioral sciences [MSC 2020] 94-XX - Information and communication theory, circuits [MSC 2020] |
| Soggetto non controllato |
Algorithms
Calculus Cluster analysis Cognition Database Meaningful level lines Object recognition Scale invariant features Shape grouping Shape recognition Stereo Stereo vision |
| ISBN | 978-35-406-8480-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00068197 |
| Berlin, : Springer, 2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
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 | ||
| ||
Algorithms for Parallel Processing / Michael T. Heath, Abhiram Ranade, Robert S. Schreiber editors
| Algorithms for Parallel Processing / Michael T. Heath, Abhiram Ranade, Robert S. Schreiber editors |
| Pubbl/distr/stampa | New York, : Springer, 1999 |
| Descrizione fisica | x, 366 p. : ill. ; 24 cm |
| Soggetto non controllato |
Algorithm Analysis
Algorithms Combinatorics Database Optimization Parallelism Problem complexity Programming Scientific Computing Sorting |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00300197 |
| New York, : Springer, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
An Introduction to Data Analysis in R : Hands-on Coding, Data Mining, Visualization and Statistics from Scratch / Alfonso Zamora Saiz ... [et al.]
| An Introduction to Data Analysis in R : Hands-on Coding, Data Mining, Visualization and Statistics from Scratch / Alfonso Zamora Saiz ... [et al.] |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xv, 276 p. : ill. ; 24 cm |
| Soggetto topico |
62-XX - Statistics [MSC 2020]
62H12 - Estimation in multivariate analysis [MSC 2020] 62R07 - Statistical aspects of big data and data science [MSC 2020] |
| Soggetto non controllato |
Big Data
Data Mining Data analysis Data science Database Descriptive Statistics Multivariate statistics R code R package Statistical inference Visualization Web scraping |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00248672 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Analyzing and Modeling Data and Knowledge : Proceedings of the 15th Annual Conference of the “Gesellschaft für Klassifikation e.V.“, University of Salzburg, February 25–27, 1991 / Martin Schader (Ed.)
| Analyzing and Modeling Data and Knowledge : Proceedings of the 15th Annual Conference of the “Gesellschaft für Klassifikation e.V.“, University of Salzburg, February 25–27, 1991 / Martin Schader (Ed.) |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, 1992 |
| Descrizione fisica | ix, 346 p. : ill. ; 24 cm |
| Soggetto topico |
60-XX - Probability theory and stochastic processes [MSC 2020]
62-XX - Statistics [MSC 2020] 91-XX - Game theory, economics, finance, and other social and behavioral sciences [MSC 2020] |
| Soggetto non controllato |
Calculus
Classification Data analysis Database Differential equations Knowledge Organization Multidimensional Scaling Statistics Time series |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00289285 |
| Berlin [etc.], : Springer-Verlag, 1992 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
A city is not a computer : other urban intelligences / / Shannon Mattern
| A city is not a computer : other urban intelligences / / Shannon Mattern |
| Autore | Mattern Shannon Christine |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , 2021 |
| Descrizione fisica | 1 online resource : illustrations, maps |
| Disciplina | 307.1216 |
| Collana | Places books |
| Soggetto topico |
Urban renewal
Sociology, Urban Smart cities City planning |
| Soggetto non controllato |
Accessibility
Advertising American Forests Archivist Bloomberg Terminal CARTO Career Civic engagement Climate change Collaboration Colonialism CompStat Computation Computer scientist Consideration Conspiracy theory Control engineering Control room Copyright Critical practice Cultural heritage Data set Database Decision tree Decision-making Design tool Designer Digital humanities Ecosystem Emerging technologies Entrepreneurship Environmental justice Epistemology Eric Klinenberg Funding Generative Design Geographer Governance Hardware store Household Ideology Illustration Information literacy Information management Information science Infrastructure Institution Knowledge economy Laundry Librarian Librarians Library Literature Machine learning Measurement Mierle Laderman Ukeles Movement for Black Lives Obsolescence Operating system Operationalization Oslo School of Architecture and Design Park Pedagogy Philosopher Police Politics Pollution Princeton University Press Processing (programming language) Public Knowledge Public infrastructure Public library Publishing Push-button Racism Real estate development Reproductive labor Restorative justice Scaffolding Sidewalk Labs Smart city Smartphone Supply chain Tax Technology Telecommunication The Various Tree planting Unemployment University of California, Berkeley University of Toronto University of Washington Urban ecology Urban history Urban planning Urbanism Washington University in St. Louis Wi-Fi Year |
| ISBN | 0-691-22675-X |
| Classificazione | RB 10627 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Cover -- Title Page -- Copyright Page -- Contents -- Acknowledgments -- Introduction Cities, Trees & -- Algorithms -- 1. City Console -- 2. A City Is Not a Computer -- 3. Public Knowledge -- 4. Maintenance Codes -- Conclusion Platforms, Grafts & -- Arboreal Intelligence -- Notes -- Index -- Photo Credits. |
| Record Nr. | UNINA-9910554233203321 |
|
Mattern Shannon Christine
|
||
| Princeton, NJ : , : Princeton University Press, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Classification, Data Analysis, and Data Highways : Proceedings of the 21. Annual Conference of the Gesellschaft für Klassifikation e.V., University of Potsdam, March 12–14, 1997 / Ingo Balderjahn, Rudolf Mathar, Martin Schader (Eds.)
| Classification, Data Analysis, and Data Highways : Proceedings of the 21. Annual Conference of the Gesellschaft für Klassifikation e.V., University of Potsdam, March 12–14, 1997 / Ingo Balderjahn, Rudolf Mathar, Martin Schader (Eds.) |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 1998 |
| Descrizione fisica | x, 414 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
62-XX - Statistics [MSC 2020] |
| Soggetto non controllato |
Classification
Data analysis Data structures Database Internet Linear regression Monte-Carlo Simulation Multivariate statistics Relational database Statistical Methods Statistics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00298201 |
| Berlin ; Heidelberg, : Springer, 1998 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Coalgebraic Methods in Computer Science : 15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / Daniela Petrişan, Jurriaan Rot editors
| Coalgebraic Methods in Computer Science : 15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / Daniela Petrişan, Jurriaan Rot editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xv, 201 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68-XX - Computer science [MSC 2020] 68Q65 - Abstract data types; algebraic specification [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Boolean algebra Boolean functions Coalgebra Computer programming Computer vision Database Dynamical systems Formal logic Functors Game Theory Image processing Mathematics Matrix algebra Semantical models Semantics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00248772 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Computational Frameworks for Political and Social Research with Python / Josh Cutler, Matt Dickenson
| Computational Frameworks for Political and Social Research with Python / Josh Cutler, Matt Dickenson |
| Autore | Cutler, Josh |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xv, 209 p. : ill. ; 24 cm |
| Altri autori (Persone) | Dickenson, Matt |
| Soggetto topico |
62-XX - Statistics [MSC 2020]
91-XX - Game theory, economics, finance, and other social and behavioral sciences [MSC 2020] |
| Soggetto non controllato |
Application programming
Computer vision Data Collection Data structures Database Natural language Political analysis Programming Python |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00248837 |
|
Cutler, Josh
|
||
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
