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.
Algebraic Theories / Ernest G. Manes
| Algebraic Theories / Ernest G. Manes |
| Autore | Manes, Ernest G. |
| Pubbl/distr/stampa | New York, : Springer, 1976 |
| Descrizione fisica | x, 356 p. ; 24 cm |
| Soggetto topico |
18-XX - Category theory; homological algebra [MSC 2020]
08Axx - Algebraic structures [MSC 2020] 18C15 - Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads [MSC 2020] 18C10 - Theories (e.g., algebraic theories), structure, and semantics [MSC 2020] |
| Soggetto non controllato |
Algebra
Area Automata Automata theory Category Theory Colimit Equations Groups Interactions Mathematics Natural Optical Character Recognition Scope |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268005 |
Manes, Ernest G.
|
||
| New York, : Springer, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algebraic Theories / Ernest G. Manes
| Algebraic Theories / Ernest G. Manes |
| Autore | Manes, Ernest G. |
| Pubbl/distr/stampa | New York, : Springer, 1976 |
| Descrizione fisica | x, 356 p. ; 24 cm |
| Soggetto topico |
08Axx - Algebraic structures [MSC 2020]
18-XX - Category theory; homological algebra [MSC 2020] 18C10 - Theories (e.g., algebraic theories), structure, and semantics [MSC 2020] 18C15 - Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads [MSC 2020] |
| Soggetto non controllato |
Algebra
Area Automata Automata theory Category Theory Colimit Equations Groups Interactions Mathematics Natural Optical Character Recognition Scope |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268005 |
|
Manes, Ernest G.
|
||
| New York, : Springer, 1976 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algorithmic and Geometric Topics Around Free Groups and Automorphisms / Javier Aramayona ... [et al.] ; Juan González-Meneses, Martin Lustig, Enric Ventura editor
| Algorithmic and Geometric Topics Around Free Groups and Automorphisms / Javier Aramayona ... [et al.] ; Juan González-Meneses, Martin Lustig, Enric Ventura editor |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2017 |
| Descrizione fisica | IX, 149 p. : ill. ; 24 cm |
| Soggetto topico |
68Q45 - Formal languages and automata [MSC 2020]
20Exx - Structure and classification of infinite or finite groups [MSC 2020] 20M35 - Semigroups in automata theory, linguistics, etc. [MSC 2020] 20F67 - Hyperbolic groups and nonpositively curved groups [MSC 2020] |
| Soggetto non controllato |
Automata
Bass-Serre Compactification Endomorphisms Geodesic current Hyperbolicity Languages Teichmüller space Treewidth Virtually-free groups |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN0124250 |
| Cham, : Birkhäuser, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Algorithmic and Geometric Topics Around Free Groups and Automorphisms / Javier Aramayona ... [et al.] ; Juan González-Meneses, Martin Lustig, Enric Ventura editor
| Algorithmic and Geometric Topics Around Free Groups and Automorphisms / Javier Aramayona ... [et al.] ; Juan González-Meneses, Martin Lustig, Enric Ventura editor |
| Pubbl/distr/stampa | Cham, : Birkhäuser, 2017 |
| Descrizione fisica | IX, 149 p. : ill. ; 24 cm |
| Soggetto topico |
20Exx - Structure and classification of infinite or finite groups [MSC 2020]
20F67 - Hyperbolic groups and nonpositively curved groups [MSC 2020] 20M35 - Semigroups in automata theory, linguistics, etc. [MSC 2020] 68Q45 - Formal languages and automata [MSC 2020] |
| Soggetto non controllato |
Automata
Bass-Serre Compactification Endomorphisms Geodesic current Hyperbolicity Languages Teichmüller space Treewidth Virtually-free groups |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Titolo uniforme | |
| Record Nr. | UNICAMPANIA-VAN00124250 |
| Cham, : Birkhäuser, 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Applied algebraic dynamics [[electronic resource] /] / by Vladimir Anashin and Andrei Khrennikov
| Applied algebraic dynamics [[electronic resource] /] / by Vladimir Anashin and Andrei Khrennikov |
| Autore | Anashin Vladimir |
| Pubbl/distr/stampa | Berlin ; ; New York, : Walter De Gruyter, c2009 |
| Descrizione fisica | 1 online resource (557 p.) |
| Disciplina | 512 |
| Altri autori (Persone) | KhrennikovA. I͡U <1958-> (Andreĭ I͡Urʹevich) |
| Collana | De Gruyter expositions in mathematics |
| Soggetto topico |
Arithmetical algebraic geometry
Differentiable dynamical systems |
| Soggetto non controllato |
Algebraic Dynamical Systems
Automata Computer Sciences Cryptography Ergodicity Genetics Latin Squares Measure-Preserving Transformations Profinite Groups Pseudorandom Generators Psychology Quantum Theory Stream Ciphers p-adic Numbers p-adic Probability |
| ISBN |
1-282-18794-5
9786612187940 3-11-020301-4 |
| Classificazione | SK 810 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Contents -- Chapter 1. Algebraic and number-theoretic background -- I. The Commutative Non-Archimedean Dynamics -- Chapter 2. Dynamics on algebraic structures -- Chapter 3. p-adic analysis -- Chapter 4. p-adic ergodic theory -- Chapter 5. Asymptotic distribution of cycles -- II. The Non-Commutative Non-Archimedean Dynamics -- Chapter 6. Basics of polynomial dynamics on groups -- Chapter 7. Ergodic polynomials over groups with operators -- III. Applications -- Chapter 8. Automata, computers, combinatorics -- Chapter 9. Pseudorandom numbers -- Chapter 10. Stream ciphers -- Chapter 11. Structure of trajectories -- Chapter 12. p-adic probability theory -- Chapter 13. p-adic valued quantization -- Chapter 14. m-adic modeling in cognitive science and psychology -- Chapter 15. Neuronal hierarchy behind the ultrametric mental space -- Chapter 16. Gene expression from dynamics in the 2-adic space -- Chapter 17. Genetic code on the diadic plane -- Backmatter |
| Record Nr. | UNINA-9910778600903321 |
|
Anashin Vladimir
|
||
| Berlin ; ; New York, : Walter De Gruyter, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Calvin C. Elgot : Selected Papers / Edited by Stephen L. Bloom ; With a foreword by Dana S. Scott and ”a glimpse back” by Samuel Eilenberg
| Calvin C. Elgot : Selected Papers / Edited by Stephen L. Bloom ; With a foreword by Dana S. Scott and ”a glimpse back” by Samuel Eilenberg |
| Autore | Elgot, Calvin C. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1982 |
| Descrizione fisica | xxiv, 460 p. : ill. ; 24 cm |
| Soggetto topico |
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020]
62-XX - Statistics [MSC 2020] 01A65 - Contemporary [MSC 2020] 62M07 - Non-Markovian processes: hypothesis testing [MSC 2020] |
| Soggetto non controllato |
Algebra
Algorithms Automata Computer Science Equations Programming programming languages |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0268538 |
|
Elgot, Calvin C.
|
||
| New York, : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Calvin C. Elgot : Selected Papers / Edited by Stephen L. Bloom ; With a foreword by Dana S. Scott and ”a glimpse back” by Samuel Eilenberg
| Calvin C. Elgot : Selected Papers / Edited by Stephen L. Bloom ; With a foreword by Dana S. Scott and ”a glimpse back” by Samuel Eilenberg |
| Autore | Elgot, Calvin C. |
| Pubbl/distr/stampa | New York, : Springer-Verlag, 1982 |
| Descrizione fisica | xxiv, 460 p. : ill. ; 24 cm |
| Soggetto topico |
01A65 - Contemporary [MSC 2020]
01A75 - Collected or selected works; reprintings or translations of classics [MSC 2020] 62-XX - Statistics [MSC 2020] 62M07 - Non-Markovian processes: hypothesis testing [MSC 2020] |
| Soggetto non controllato |
Algebra
Algorithms Automata Computer Science Equations Programming programming languages |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00268538 |
|
Elgot, Calvin C.
|
||
| New York, : Springer-Verlag, 1982 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Elements of Finite Model Theory / Leonid Libkin
| Elements of Finite Model Theory / Leonid Libkin |
| Autore | Libkin, Leonid |
| Pubbl/distr/stampa | Berlin ; Heidelberg, : Springer, 2004 |
| Descrizione fisica | xiv, 318 p. : ill. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03C13 - Model theory of finite structures [MSC 2020] 68-XX - Computer science [MSC 2020] 68Q15 - Complexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020] 68Q19 - Descriptive complexity and finite models [MSC 2020] |
| Soggetto non controllato |
Algorithm analysis and problem complexity
Automata Complexity Complexity theory Formal language Logic Model theory Variable |
| ISBN | 978-35-402-1202-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00283787 |
|
Libkin, Leonid
|
||
| Berlin ; Heidelberg, : Springer, 2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Buchi ; editor Dirk Siefkes
| Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Buchi ; editor Dirk Siefkes |
| Autore | Buchi, J. Richard |
| Pubbl/distr/stampa | New York, : Springer, 1989 |
| Descrizione fisica | XXII, 316 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020] 68Q70 - Algebraic theory of languages and automata [MSC 2020] |
| Soggetto non controllato |
Alphabet
Automata Automata theory Combinatorics Grammars Lattices Logic Mathematical logic |
| ISBN | 978-14-613-8855-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0054391 |
|
Buchi, J. Richard
|
||
| New York, : Springer, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Büchi ; editor Dirk Siefkes
| Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Büchi ; editor Dirk Siefkes |
| Autore | Buchi, J. Richard |
| Pubbl/distr/stampa | New York, : Springer, 1989 |
| Descrizione fisica | xxii, 316 p. : ill. ; 24 cm |
| Soggetto topico |
68-XX - Computer science [MSC 2020]
68Q42 - Grammars and rewriting systems [MSC 2020] 68Q70 - Algebraic theory of languages and automata [MSC 2020] |
| Soggetto non controllato |
Alphabet
Automata Automata theory Combinatorics Grammars Lattices Logic Mathematical logic |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0269192 |
|
Buchi, J. Richard
|
||
| New York, : Springer, 1989 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||