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.
Combinatorial Algorithms on Words / edited by Alberto Apostolico, Zvi Galil
| Combinatorial Algorithms on Words / edited by Alberto Apostolico, Zvi Galil |
| Pubbl/distr/stampa | Berlin, : Springer, 1985 |
| Descrizione fisica | viii, 363 p. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020] |
| Soggetto non controllato |
Area
Calculus Coding Coding theory Combinatorial algorithms Combinatorics Data Compression Formal languages Languages Matching Models Pattern Matching Turing |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0263471 |
| Berlin, : Springer, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Combinatorial Algorithms on Words / edited by Alberto Apostolico, Zvi Galil
| Combinatorial Algorithms on Words / edited by Alberto Apostolico, Zvi Galil |
| Pubbl/distr/stampa | Berlin, : Springer, 1985 |
| Descrizione fisica | viii, 363 p. ; 24 cm |
| Soggetto topico |
00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]
68-XX - Computer science [MSC 2020] |
| Soggetto non controllato |
Area
Calculus Coding Coding theory Combinatorial algorithms Combinatorics Data Compression Formal languages Languages Matching Models Pattern Matching Turing |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00263471 |
| Berlin, : Springer, 1985 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dark and Bright Mathematics : Hidden Harmony in Art, History and Culture / Dirk Huylebrouck
| Dark and Bright Mathematics : Hidden Harmony in Art, History and Culture / Dirk Huylebrouck |
| Autore | Huylebrouck, Dirk |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2023 |
| Descrizione fisica | xvii, 241 p. : ill. ; 24 cm |
| Soggetto non controllato |
Allah's Geometry
Coldplay Math Columbus' Meridian Demaine Facebook Math Failing Lottery Machines Golden Section Myth Halal Mathematics Hitler Le Corbusier Leonardo da Vinci Mathematical Murders Nautilus Shell New Age Newton's Indian Apple Roman Emperors Stock Exchange and Math Turing Unprovability Vedic Math |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0279329 |
Huylebrouck, Dirk
|
||
| Cham, : Birkhäuser, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Dark and Bright Mathematics : Hidden Harmony in Art, History and Culture / Dirk Huylebrouck
| Dark and Bright Mathematics : Hidden Harmony in Art, History and Culture / Dirk Huylebrouck |
| Autore | Huylebrouck, Dirk |
| Pubbl/distr/stampa | Cham, : Birkhäuser, : Springer, 2023 |
| Descrizione fisica | xvii, 241 p. : ill. ; 24 cm |
| Soggetto topico |
00A09 - Popularization of mathematics [MSC 2020]
00A66 - Mathematics and visual arts [MSC 2020] 01Axx - History of mathematics and mathematicians [MSC 2020] |
| Soggetto non controllato |
Allah's Geometry
Coldplay Math Columbus' Meridian Demaine Facebook Math Failing Lottery Machines Golden Section Myth Halal Mathematics Hitler Le Corbusier Leonardo da Vinci Mathematical Murders Nautilus Shell New Age Newton's Indian Apple Roman Emperors Stock Exchange and Math Turing Unprovability Vedic Math |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00279329 |
|
Huylebrouck, Dirk
|
||
| Cham, : Birkhäuser, : Springer, 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic / J. Donald Monk
| Mathematical Logic / J. Donald Monk |
| Autore | Monk, James D. |
| Pubbl/distr/stampa | New York, : Springer, 1976 |
| Descrizione fisica | x, 532 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 26E35 - Nonstandard analysis [MSC 2020] 08-XX - General algebraic systems [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 03B25 - Decidability of theories and sets of sentences [MSC 2020] 11U05 - Decidability (number-theoretic aspects) [MSC 2020] |
| Soggetto non controllato |
Algorithms
Boundary Element Methods Computability theory Construction Decidability Functions Logic Mathematica Mathematical analysis Mathematical logic Model theory Recursion Turing Turing degree Types |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268023 |
|
Monk, James D.
|
||
| New York, : Springer, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Mathematical Logic / J. Donald Monk
| Mathematical Logic / J. Donald Monk |
| Autore | Monk, James D. |
| Pubbl/distr/stampa | New York, : Springer, 1976 |
| Descrizione fisica | x, 532 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03B25 - Decidability of theories and sets of sentences [MSC 2020] 03Dxx - Computability and recursion theory [MSC 2020] 06-XX - Order, lattices, ordered algebraic structures [MSC 2020] 08-XX - General algebraic systems [MSC 2020] 11U05 - Decidability (number-theoretic aspects) [MSC 2020] 26E35 - Nonstandard analysis [MSC 2020] |
| Soggetto non controllato |
Algorithms
Boundary Element Methods Computability theory Constructions Decidability Functions Logic Mathematica Mathematical analysis Mathematical logic Model theory Recursion Turing Turing degree Types |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268023 |
|
Monk, James D.
|
||
| New York, : Springer, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||