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.
Machines, Computations, and Universality [[electronic resource] ] : 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / / edited by Jérôme Durand-Lose, Sergey Verlan
| Machines, Computations, and Universality [[electronic resource] ] : 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / / edited by Jérôme Durand-Lose, Sergey Verlan |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVII, 171 p. 27 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer systems Machine theory Computer science Computers, Special purpose Computer System Implementation Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Special Purpose and Application-Based Systems |
| ISBN | 3-319-92402-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Control Mechanisms for Array Grammars on Cayley Grids -- A Pleasant Stroll Through the Land of Distributed Machines, Computation, and Universality -- Sequential Grammars with Activation and Blocking of Rules -- The Language (and Series) of Hammersley-type Processes -- Minimizing Rules and Nonterminals in Semi-conditional Grammars: Non-trivial for the Simple Case -- Minimal Useful Size of Counters for (Real-Time) Multicounter Automata -- A Framework for (De)composing with Boolean Automata Networks -- An Extension of Interval-valued Computing Equivalent to Red-green Turing Machines -- Physical Computation and First-Order Logic. . |
| Record Nr. | UNISA-996465799603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Machines, Computations, and Universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / / edited by Jérôme Durand-Lose, Sergey Verlan
| Machines, Computations, and Universality : 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / / edited by Jérôme Durand-Lose, Sergey Verlan |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVII, 171 p. 27 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Computer systems Machine theory Computer science Computers, Special purpose Computer System Implementation Formal Languages and Automata Theory Computer Science Logic and Foundations of Programming Special Purpose and Application-Based Systems |
| ISBN | 3-319-92402-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Control Mechanisms for Array Grammars on Cayley Grids -- A Pleasant Stroll Through the Land of Distributed Machines, Computation, and Universality -- Sequential Grammars with Activation and Blocking of Rules -- The Language (and Series) of Hammersley-type Processes -- Minimizing Rules and Nonterminals in Semi-conditional Grammars: Non-trivial for the Simple Case -- Minimal Useful Size of Counters for (Real-Time) Multicounter Automata -- A Framework for (De)composing with Boolean Automata Networks -- An Extension of Interval-valued Computing Equivalent to Red-green Turing Machines -- Physical Computation and First-Order Logic. . |
| Record Nr. | UNINA-9910349436303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Membrane Computing [[electronic resource] ] : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers / / edited by Marian Gheorghe, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan
| Membrane Computing [[electronic resource] ] : 12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers / / edited by Marian Gheorghe, Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa, Sergey Verlan |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (380 p. 83 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Computer simulation Bioinformatics Computer networks Software engineering Theory of Computation Formal Languages and Automata Theory Computer Modelling Computational and Systems Biology Computer Communication Networks Software Engineering |
| ISBN | 3-642-28024-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465981803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Unconventional Computation and Natural Computation [[electronic resource] ] : 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings / / edited by Susan Stepney, Sergey Verlan
| Unconventional Computation and Natural Computation [[electronic resource] ] : 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings / / edited by Susan Stepney, Sergey Verlan |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVIII, 217 p. 68 illus.) |
| Disciplina | 006 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence Computer storage devices Memory management (Computer science) Cryptography Data encryption (Computer science) Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence Computer Memory Structure Cryptology |
| ISBN | 3-319-92435-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465801203316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Unconventional Computation and Natural Computation : 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings / / edited by Susan Stepney, Sergey Verlan
| Unconventional Computation and Natural Computation : 17th International Conference, UCNC 2018, Fontainebleau, France, June 25-29, 2018, Proceedings / / edited by Susan Stepney, Sergey Verlan |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVIII, 217 p. 68 illus.) |
| Disciplina | 006 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence Computer storage devices Memory management (Computer science) Cryptography Data encryption (Computer science) Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence Computer Memory Structure Cryptology |
| ISBN | 3-319-92435-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910349436003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||