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.
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors
| Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors |
| Pubbl/distr/stampa | Singapore, : Springer, 2021 |
| Descrizione fisica | xi, 229 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03Exx - Set theory [MSC 2020] 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 00B30 - Festschriften [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] 03Bxx - General logic [MSC 2020] |
| Soggetto non controllato |
Computability theory
Model theory Philosophical Logic Philosophy of mathematics Proof Theory Set Theory Theoretical computer science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0275416 |
| Singapore, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors
| Advances in Mathematical Logic : Dedicated to the Memory of Professor Gaisi Takeuti, SAML 2018, Kobe, Japan, September 2018, Selected, Revised Contributions / Toshiyasu Arai ... [et al.] editors |
| Pubbl/distr/stampa | Singapore, : Springer, 2021 |
| Descrizione fisica | xi, 229 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] 03Bxx - General logic [MSC 2020] 03Exx - Set theory [MSC 2020] 03Fxx - Proof theory and constructive mathematics [MSC 2020] |
| Soggetto non controllato |
Computability theory
Model theory Philosophical Logic Philosophy of mathematics Proof Theory Set Theory Theoretical computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00275416 |
| Singapore, : Springer, 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Approximation and Online Algorithms : 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / Evripidis Bampis, Nicole Megow editors
| Approximation and Online Algorithms : 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / Evripidis Bampis, Nicole Megow editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xii, 253 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 68W27 - Online algorithms; streaming algorithms [MSC 2020] 68W25 - Approximation algorithms [MSC 2020] |
| Soggetto non controllato |
Approximation algorithms
Approximation ratios Approximation theory Artificial Intelligence Bin packing Combinatorial optimization Competitive ratio Computer Networks Computer Science Computer systems Directed graphs Distributed computer systems Distributed systems Graph theory Mathematics On-line algorithms Online systems Optimization Polynomial Approximation Theoretical computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0248714 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Approximation and Online Algorithms : 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / Evripidis Bampis, Nicole Megow editors
| Approximation and Online Algorithms : 17th International Workshop, WAOA 2019, Munich, Germany, September 12–13, 2019, Revised Selected Papers / Evripidis Bampis, Nicole Megow editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xii, 253 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68-XX - Computer science [MSC 2020] 68W25 - Approximation algorithms [MSC 2020] 68W27 - Online algorithms; streaming algorithms [MSC 2020] |
| Soggetto non controllato |
Approximation algorithms
Approximation ratios Approximation theory Artificial Intelligence Bin packing Combinatorial optimization Competitive ratio Computer Networks Computer Science Computer systems Directed graphs Distributed computer systems Distributed systems Graph theory Mathematics On-line algorithms Online systems Optimization Polynomial Approximation Theoretical computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00248714 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Building Bridges II : Mathematics of László Lovász / Imre Bárány, Gyula O. H. Katona, Attila Sali editors
| Building Bridges II : Mathematics of László Lovász / Imre Bárány, Gyula O. H. Katona, Attila Sali editors |
| Pubbl/distr/stampa | Berlin, : Springer, 2019 |
| Descrizione fisica | xii, 614 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
05-XX - Combinatorics [MSC 2020] |
| Soggetto non controllato |
Codes
Combinatorial optimization Combinatorics Continuous matroids Convex Optimization Design Discrete mathematics Graph limits Graph theory Linear algebra methods László Lovász Matching theory Theoretical computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0127407 |
| Berlin, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Building Bridges II : Mathematics of László Lovász / Imre Bárány, Gyula O. H. Katona, Attila Sali editors
| Building Bridges II : Mathematics of László Lovász / Imre Bárány, Gyula O. H. Katona, Attila Sali editors |
| Pubbl/distr/stampa | Berlin, : Springer, 2019 |
| Descrizione fisica | xii, 614 p. : ill. ; 24 cm |
| Soggetto topico |
05-XX - Combinatorics [MSC 2020]
68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Codes
Combinatorial optimization Combinatorics Continuous matroids Convex Optimization Design Discrete mathematics Graph limits Graph theory Linear algebra methods László Lovász Matching theory Theoretical computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00127407 |
| Berlin, : Springer, 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Learning and Intelligent Optimization : 13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers / Nikolaos F. Matsatsinis, Yannis Marinakis, Panos Pardalos editors
| Learning and Intelligent Optimization : 13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers / Nikolaos F. Matsatsinis, Yannis Marinakis, Panos Pardalos editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xiii, 400 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Combinatorial optimization Communication systems Computer Networks Computer Science Computer systems Correlation analysis Engineering Evolutionary algorithms Genetic Algorithms Graph theory Internet Mathematics Network protocols Optimization Optimization problems Signal processing Telecommunication networks Telecommunication systems Theoretical computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249386 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Learning and Intelligent Optimization : 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers / Ilias S. Kotsireas, Panos Pardalos editors
| Learning and Intelligent Optimization : 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers / Ilias S. Kotsireas, Panos Pardalos editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xiv, 430 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
90-XX - Operations research, mathematical programming [MSC 2020] |
| Soggetto non controllato |
Artificial intellegence
Communication systems Computer Networks Computer hardware Computer systems Correlation analysis Education Engineering Genetic Algorithms Internet Learning Machine learning Mathematics Optimization Optimization problems Signal processing Telecommunication systems Theoretical computer science Wireless telecommunication systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0249389 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Learning and Intelligent Optimization : 13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers / Nikolaos F. Matsatsinis, Yannis Marinakis, Panos Pardalos editors
| Learning and Intelligent Optimization : 13th International Conference, LION 13, Chania, Crete, Greece, May 27–31, 2019, Revised Selected Papers / Nikolaos F. Matsatsinis, Yannis Marinakis, Panos Pardalos editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xiii, 400 p. : ill. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68-XX - Computer science [MSC 2020] 90-XX - Operations research, mathematical programming [MSC 2020] |
| Soggetto non controllato |
Artificial Intelligence
Combinatorial optimization Communication systems Computer Networks Computer Science Computer systems Correlation analysis Engineering Evolutionary algorithms Genetic Algorithms Graph theory Internet Mathematics Network protocols Optimization Optimization problems Signal processing Telecommunication networks Telecommunication systems Theoretical computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00249386 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Learning and Intelligent Optimization : 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers / Ilias S. Kotsireas, Panos Pardalos editors
| Learning and Intelligent Optimization : 14th International Conference, LION 14, Athens, Greece, May 24–28, 2020, Revised Selected Papers / Ilias S. Kotsireas, Panos Pardalos editors |
| Pubbl/distr/stampa | Cham, : Springer, 2020 |
| Descrizione fisica | xiv, 430 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
90-XX - Operations research, mathematical programming [MSC 2020] |
| Soggetto non controllato |
Artificial intellegence
Communication systems Computer Networks Computer hardware Computer systems Correlation analysis Education Engineering Genetic Algorithms Internet Learning Machine learning Mathematics Optimization Optimization problems Signal processing Telecommunication systems Theoretical computer science Wireless telecommunication systems |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00249389 |
| Cham, : Springer, 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||