Cellular Automata and Discrete Complex Systems [[electronic resource] ] : 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings / / edited by Jarkko Kari |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 263 p. 80 illus.) |
Disciplina | 005.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Computer simulation Computer networks Computer science—Mathematics Discrete mathematics Theory of Computation Computer Modelling Computer Communication Networks Discrete Mathematics in Computer Science |
ISBN | 3-662-47221-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Dynamical, topological, ergodic and algebraic aspects -- Algorithmic and complexity issues -- Emergent properties -- Formal language processing aspects -- Symbolic dynamics -- Models of parallelism and distributed systems -- Timing schemes -- Phenomenological descriptions -- Scientific modeling -- Practical applications. |
Record Nr. | UNISA-996216374803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Cellular Automata and Discrete Complex Systems : 21st IFIP WG 1.5 International Workshop, AUTOMATA 2015, Turku, Finland, June 8-10, 2015. Proceedings / / edited by Jarkko Kari |
Edizione | [1st ed. 2015.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 |
Descrizione fisica | 1 online resource (X, 263 p. 80 illus.) |
Disciplina | 005.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Computer simulation Computer networks Computer science—Mathematics Discrete mathematics Theory of Computation Computer Modelling Computer Communication Networks Discrete Mathematics in Computer Science |
ISBN | 3-662-47221-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Dynamical, topological, ergodic and algebraic aspects -- Algorithmic and complexity issues -- Emergent properties -- Formal language processing aspects -- Symbolic dynamics -- Models of parallelism and distributed systems -- Timing schemes -- Phenomenological descriptions -- Scientific modeling -- Practical applications. |
Record Nr. | UNINA-9910484030403321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2015 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Cellular Automata and Discrete Complex Systems [[electronic resource] ] : 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings / / edited by Jarkko Kari, Martin Kutrib, Andreas Malcher |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (X, 187 p. 35 illus.) |
Disciplina | 530.1595 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Computer simulation Computer networks Data structures (Computer science) Information theory Theory of Computation Computer Modelling Computer Communication Networks Data Structures and Information Theory Computer Science |
ISBN | 3-642-40867-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Conceptual Connections around Density Determination in Cellular Automata -- A Guided Tour of Asynchronous Cellular Automata -- A Note on the Classification of the Most Simple Asynchronous Cellular Automata -- A Survey on m-Asynchronous Cellular Automata -- Regular Papers -- Elementary Cellular Automata with Memory of Delay Type -- A Robustness Approach to Study Metastable Behaviours in a Lattice-Gas Model of Swarming -- Leakage Squeezing Using Cellular Automata -- 1- Resiliency of Bipermutive Cellular Automata Rules -- On the Convergence of Boolean Automata Networks without Negative Cycles -- Color Blind Cellular Automata -- Commutators of Bipermutive and Affine Cellular Automata -- On Polynomial Rings in Information Dynamics of Linear CA. |
Record Nr. | UNISA-996465429403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Cellular Automata and Discrete Complex Systems : 19th International Workshop, AUTOMATA 2013, Gießen, Germany, September 14-19, 2013, Proceedings / / edited by Jarkko Kari, Martin Kutrib, Andreas Malcher |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (X, 187 p. 35 illus.) |
Disciplina | 530.1595 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Computer simulation Computer networks Data structures (Computer science) Information theory Theory of Computation Computer Modelling Computer Communication Networks Data Structures and Information Theory Computer Science |
ISBN | 3-642-40867-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Papers -- Conceptual Connections around Density Determination in Cellular Automata -- A Guided Tour of Asynchronous Cellular Automata -- A Note on the Classification of the Most Simple Asynchronous Cellular Automata -- A Survey on m-Asynchronous Cellular Automata -- Regular Papers -- Elementary Cellular Automata with Memory of Delay Type -- A Robustness Approach to Study Metastable Behaviours in a Lattice-Gas Model of Swarming -- Leakage Squeezing Using Cellular Automata -- 1- Resiliency of Bipermutive Cellular Automata Rules -- On the Convergence of Boolean Automata Networks without Negative Cycles -- Color Blind Cellular Automata -- Commutators of Bipermutive and Affine Cellular Automata -- On Polynomial Rings in Information Dynamics of Linear CA. |
Record Nr. | UNINA-9910483493803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Reversible Computation [[electronic resource] ] : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / / edited by Jarkko Kari, Irek Ulidowski |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIII, 353 p. 132 illus.) |
Disciplina | 004 |
Collana | Programming and Software Engineering |
Soggetto topico |
Logic design
Artificial intelligence Programming languages (Electronic computers) Computer communication systems Software engineering Logic Design Artificial Intelligence Programming Languages, Compilers, Interpreters Computer Communication Networks Software Engineering |
ISBN | 3-319-99498-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications. |
Record Nr. | UNISA-996466367703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings / / edited by Jarkko Kari, Irek Ulidowski |
Edizione | [1st ed. 2018.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
Descrizione fisica | 1 online resource (XIII, 353 p. 132 illus.) |
Disciplina | 004 |
Collana | Programming and Software Engineering |
Soggetto topico |
Logic design
Artificial intelligence Programming languages (Electronic computers) Computer communication systems Software engineering Logic Design Artificial Intelligence Programming Languages, Compilers, Interpreters Computer Communication Networks Software Engineering |
ISBN | 3-319-99498-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications. |
Record Nr. | UNINA-9910349410403321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Unconventional Computation [[electronic resource] ] : 10th International Conference, UC 2011, Turku, Finland, June 6-10, 2011. Proceedings / / edited by Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg |
Edizione | [1st ed. 2011.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
Descrizione fisica | 1 online resource (X, 247 p. 76 illus., 13 illus. in color.) |
Disciplina | 004.0151 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Machine theory Artificial intelligence Bioinformatics Theory of Computation Formal Languages and Automata Theory Artificial Intelligence Computer Science Logic and Foundations of Programming Computational and Systems Biology |
ISBN | 3-642-21341-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465609903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Unveiling Dynamics and Complexity [[electronic resource] ] : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings / / edited by Jarkko Kari, Florin Manea, Ion Petre |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIII, 401 p. 57 illus.) |
Disciplina | 511.352 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Artificial intelligence Pattern recognition systems Computer science—Mathematics Discrete mathematics Machine theory Theory of Computation Artificial Intelligence Automated Pattern Recognition Discrete Mathematics in Computer Science Formal Languages and Automata Theory |
ISBN | 3-319-58741-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algorithmics for biology -- Combinatorics and algorithmics on words -- Computability in analysis, algebra, and geometry.-Cryptography and information theory -- Formal languages and automata theory -- History and philosophy of computing. |
Record Nr. | UNISA-996466200703316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Unveiling Dynamics and Complexity : 13th Conference on Computability in Europe, CiE 2017, Turku, Finland, June 12-16, 2017, Proceedings / / edited by Jarkko Kari, Florin Manea, Ion Petre |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XIII, 401 p. 57 illus.) |
Disciplina | 511.352 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer science
Algorithms Artificial intelligence Pattern recognition systems Computer science—Mathematics Discrete mathematics Machine theory Theory of Computation Artificial Intelligence Automated Pattern Recognition Discrete Mathematics in Computer Science Formal Languages and Automata Theory |
ISBN | 3-319-58741-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Algorithmics for biology -- Combinatorics and algorithmics on words -- Computability in analysis, algebra, and geometry.-Cryptography and information theory -- Formal languages and automata theory -- History and philosophy of computing. |
Record Nr. | UNINA-9910483707203321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|