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 Algorithms, Languages, and Complexity / edited by Ding-Zhu Du, Ker-I Ko
| Advances in Algorithms, Languages, and Complexity / edited by Ding-Zhu Du, Ker-I Ko |
| Pubbl/distr/stampa | Dordrecht [etc.], : Kluwer, 1997 |
| Descrizione fisica | xxxiv, 396 p. ; 24 cm |
| Soggetto topico |
00B15 - Collections of articles of miscellaneous specific interest [MSC 2020]
03-XX - Mathematical logic and foundations [MSC 2020] 68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Algorithms
Automata Complexity Complexity theory Computation Computational complexity Computer Science Kolmogorov complexity Mathematics Monoid Networks Randomness Theorem proving Theoretical computer science |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00297689 |
| Dordrecht [etc.], : Kluwer, 1997 | ||
| 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 |
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 | ||
| ||
Cellular Automata, Dynamical Systems and Neural Networks / edited by Eric Goles and Servet Martínez
| Cellular Automata, Dynamical Systems and Neural Networks / edited by Eric Goles and Servet Martínez |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1994 |
| Descrizione fisica | viii, 189 p. ; 24 cm |
| Soggetto non controllato |
Automata
Entropy Networks Neural networks Statistical Physics Theoretical computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00292445 |
| Dordrecht, : Springer, : Kluwer, 1994 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Finite fields : theory and computation : the meeting point of number theory, computer science, coding theory and cryptography / Igor E. Shparlinski
| Finite fields : theory and computation : the meeting point of number theory, computer science, coding theory and cryptography / Igor E. Shparlinski |
| Autore | Shparlinski, Igor E. |
| Pubbl/distr/stampa | Dordrecht, : Kluwer, 1999 |
| Descrizione fisica | XIV, 528 p. ; 25 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11T06 - Polynomials over finite fields [MSC 2020] 11T71 Algebraic coding theory; cryptography [MSC 2020] 11Txx - Finite fields and commutative rings (number-theoretic aspects) [MSC 2020] 11Y16 - Number-theoretic algorithms; complexity [MSC 2020] 94A60 - Cryptography [MSC 2020] 94B27 - Geometric methods (including applications of algebraic geometry) applied to coding theory [MSC 2020] |
| Soggetto non controllato |
Algebra
Coding theory Computer Science Computers Cryptography Finite fields Number theory Symbols Theoretical computer science |
| ISBN |
07-923566-2-4
978-07-923566-2-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00024457 |
Shparlinski, Igor E.
|
||
| Dordrecht, : Kluwer, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Finite fields : theory and computation : the meeting point of number theory, computer science, coding theory and cryptography / Igor E. Shparlinski
| Finite fields : theory and computation : the meeting point of number theory, computer science, coding theory and cryptography / Igor E. Shparlinski |
| Autore | Shparlinski, Igor E. |
| Pubbl/distr/stampa | Dordrecht, : Springer, : Kluwer, 1999 |
| Descrizione fisica | XIV, 528 p. ; 25 cm |
| Soggetto topico |
11-XX - Number theory [MSC 2020]
11T06 - Polynomials over finite fields [MSC 2020] 11T71 Algebraic coding theory; cryptography [MSC 2020] 11Txx - Finite fields and commutative rings (number-theoretic aspects) [MSC 2020] 11Y16 - Number-theoretic algorithms; complexity [MSC 2020] 94A60 - Cryptography [MSC 2020] 94B27 - Geometric methods (including applications of algebraic geometry) applied to coding theory [MSC 2020] |
| Soggetto non controllato |
Algebra
Coding theory Computer Science Computers Cryptography Finite fields Number theory Symbols Theoretical computer science |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00299982 |
|
Shparlinski, Igor E.
|
||
| Dordrecht, : Springer, : Kluwer, 1999 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
