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.
Unconventional Computation and Natural Computation [[electronic resource] ] : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings / / edited by Matthew J. Patitz, Mike Stannett
| Unconventional Computation and Natural Computation [[electronic resource] ] : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings / / edited by Matthew J. Patitz, Mike Stannett |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 221 p. 89 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence Electronic data processing—Management Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence IT Operations |
| ISBN | 3-319-58187-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Power of Analogue-digital Machines -- Ways to Compute in Euclidean Frameworks. - Real-Time Computability of Real Numbers by Chemical Reaction Networks -- Temporal logic computation using DNA strand displacement reactions -- Quantum-dot Cellular Automata: a Clocked Architecture for High-speed, Energy-efficient Molecular Computing -- Platform color designs for interactive molecular arrangements -- Self-Assembly of Shapes at Constant Scale using Repulsive Forces -- Verification in Staged Tile Self-Assembly.-Self-Assembly of 4-sided Fractals in the Two-handed Tile Assembly Model.-Self-Assembled DC Resistive Circuits with Voltage Controlled Growth -- Morphogenetic and Homeostatic Self-Assembled Systems -- Superposition as memory: unlocking quantum automatic complexity -- Solving the Bin-Packing Problem by Means of Tissue P System with 2-Division -- Universal Matrix Insertion Grammars with Small Size -- Analysis on the Nested Duplication String System and Its Capacity -- Descrambling Order Analysis in Ciliates. |
| Record Nr. | UNISA-996466232703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Unconventional Computation and Natural Computation [[electronic resource] ] : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings / / edited by Matthew J. Patitz, Mike Stannett
| Unconventional Computation and Natural Computation [[electronic resource] ] : 16th International Conference, UCNC 2017, Fayetteville, AR, USA, June 5-9, 2017, Proceedings / / edited by Matthew J. Patitz, Mike Stannett |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (XVIII, 221 p. 89 illus.) |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Artificial intelligence Electronic data processing—Management Computer Science Logic and Foundations of Programming Software Engineering Artificial Intelligence IT Operations |
| ISBN | 3-319-58187-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The Power of Analogue-digital Machines -- Ways to Compute in Euclidean Frameworks. - Real-Time Computability of Real Numbers by Chemical Reaction Networks -- Temporal logic computation using DNA strand displacement reactions -- Quantum-dot Cellular Automata: a Clocked Architecture for High-speed, Energy-efficient Molecular Computing -- Platform color designs for interactive molecular arrangements -- Self-Assembly of Shapes at Constant Scale using Repulsive Forces -- Verification in Staged Tile Self-Assembly.-Self-Assembly of 4-sided Fractals in the Two-handed Tile Assembly Model.-Self-Assembled DC Resistive Circuits with Voltage Controlled Growth -- Morphogenetic and Homeostatic Self-Assembled Systems -- Superposition as memory: unlocking quantum automatic complexity -- Solving the Bin-Packing Problem by Means of Tissue P System with 2-Division -- Universal Matrix Insertion Grammars with Small Size -- Analysis on the Nested Duplication String System and Its Capacity -- Descrambling Order Analysis in Ciliates. |
| Record Nr. | UNINA-9910483171603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Unconventional Computation and Natural Computation [[electronic resource] ] : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / / edited by Martyn Amos, Anne Condon
| Unconventional Computation and Natural Computation [[electronic resource] ] : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / / edited by Martyn Amos, Anne Condon |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVIII, 197 p. 62 illus.) |
| Disciplina | 006 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Artificial intelligence Computer networks Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Artificial Intelligence Computer Communication Networks |
| ISBN | 3-319-41312-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reachability Problems for Continuous Chemical Reaction Networks -- An All-Optical Soliton FFT Computational Arrangement in the 3NLSE-domain -- Babbage meets Zuse: A Minimal Mechanical Computer -- Generative Power of Matrix Insertion-deletion Systems with Context-free Insertion or Deletion -- Evolving Carbon Nanotube Reservoir Computers -- Global Network Cooperation Catalysed by a Small Prosocial Migrant Clique -- Model-Based Computation -- In vitro Implementation of a Stack Data Structure Based on DNA Strand Displacement -- Analysis of Boolean Logic Gates Logical Complexity for use with Spiking Memristor Gates -- Language Recognition Power and Succintness of Affine Automata -- Training a Carbon-Nanotube / Liquid Crystal Data Classifier Using Evolutionary Algorithms -- Towards Quantitative Verification of Reaction Systems -- Traversal Languages Capturing Isomorphism Classes on Sierpinski Gaskets -- Discrete DNA Reaction-Diffusion Model for Implementing Simple Cellular Automaton -- Universal Totalistic Asynchonous Cellular Automaton and its Possible Implementation by DNA. |
| Record Nr. | UNISA-996466007903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Unconventional Computation and Natural Computation [[electronic resource] ] : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / / edited by Martyn Amos, Anne Condon
| Unconventional Computation and Natural Computation [[electronic resource] ] : 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings / / edited by Martyn Amos, Anne Condon |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVIII, 197 p. 62 illus.) |
| Disciplina | 006 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Machine theory Algorithms Artificial intelligence Computer networks Theory of Computation Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Artificial Intelligence Computer Communication Networks |
| ISBN | 3-319-41312-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Reachability Problems for Continuous Chemical Reaction Networks -- An All-Optical Soliton FFT Computational Arrangement in the 3NLSE-domain -- Babbage meets Zuse: A Minimal Mechanical Computer -- Generative Power of Matrix Insertion-deletion Systems with Context-free Insertion or Deletion -- Evolving Carbon Nanotube Reservoir Computers -- Global Network Cooperation Catalysed by a Small Prosocial Migrant Clique -- Model-Based Computation -- In vitro Implementation of a Stack Data Structure Based on DNA Strand Displacement -- Analysis of Boolean Logic Gates Logical Complexity for use with Spiking Memristor Gates -- Language Recognition Power and Succintness of Affine Automata -- Training a Carbon-Nanotube / Liquid Crystal Data Classifier Using Evolutionary Algorithms -- Towards Quantitative Verification of Reaction Systems -- Traversal Languages Capturing Isomorphism Classes on Sierpinski Gaskets -- Discrete DNA Reaction-Diffusion Model for Implementing Simple Cellular Automaton -- Universal Totalistic Asynchonous Cellular Automaton and its Possible Implementation by DNA. |
| Record Nr. | UNINA-9910484839403321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Unconventional Computation and Natural Computation [[electronic resource] ] : 11th International Conference, UCNC 2012, Orléans, France, September 3-7, 2012, Proceedings / / edited by Jerome Durand-Lose, Natasa Jonoska
| Unconventional Computation and Natural Computation [[electronic resource] ] : 11th International Conference, UCNC 2012, Orléans, France, September 3-7, 2012, Proceedings / / edited by Jerome Durand-Lose, Natasa Jonoska |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XII, 252 p. 74 illus.) |
| 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-32894-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465475803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Unifying Theories of Programming [[electronic resource] ] : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings / / edited by Pedro Ribeiro, Augusto Sampaio
| Unifying Theories of Programming [[electronic resource] ] : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings / / edited by Pedro Ribeiro, Augusto Sampaio |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIV, 217 p. 932 illus., 30 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Computer science - Mathematics Computer engineering Computer networks Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Mathematics of Computing Computer Engineering and Networks |
| ISBN | 3-030-31038-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Unification Approaches -- Hybrid Models -- Concurrency. |
| Record Nr. | UNISA-996466428803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Unifying Theories of Programming [[electronic resource] ] : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings / / edited by Pedro Ribeiro, Augusto Sampaio
| Unifying Theories of Programming [[electronic resource] ] : 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings / / edited by Pedro Ribeiro, Augusto Sampaio |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XIV, 217 p. 932 illus., 30 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Computer science - Mathematics Computer engineering Computer networks Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Mathematics of Computing Computer Engineering and Networks |
| ISBN | 3-030-31038-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Unification Approaches -- Hybrid Models -- Concurrency. |
| Record Nr. | UNINA-9910349278303321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Unifying Theories of Programming [[electronic resource] ] : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers / / edited by Jonathan P. Bowen, Huibiao Zhu
| Unifying Theories of Programming [[electronic resource] ] : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers / / edited by Jonathan P. Bowen, Huibiao Zhu |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (IX, 217 p. 36 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Formal Languages and Automata Theory Theory of Computation |
| ISBN | 3-319-52228-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstraction refinement -- Choice -- Termination -- Feasibility -- Locality.-Concurrency -- Communication. . |
| Record Nr. | UNISA-996465755403316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Unifying Theories of Programming [[electronic resource] ] : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers / / edited by Jonathan P. Bowen, Huibiao Zhu
| Unifying Theories of Programming [[electronic resource] ] : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers / / edited by Jonathan P. Bowen, Huibiao Zhu |
| Edizione | [1st ed. 2017.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
| Descrizione fisica | 1 online resource (IX, 217 p. 36 illus.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Formal Languages and Automata Theory Theory of Computation |
| ISBN | 3-319-52228-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Abstraction refinement -- Choice -- Termination -- Feasibility -- Locality.-Concurrency -- Communication. . |
| Record Nr. | UNINA-9910483210903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Unifying Theories of Programming [[electronic resource] ] : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / / edited by David Naumann
| Unifying Theories of Programming [[electronic resource] ] : 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers / / edited by David Naumann |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (IX, 143 p. 10 illus.) : online resource |
| Disciplina | 004 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Software engineering Machine theory Computer Science Logic and Foundations of Programming Compilers and Interpreters Software Engineering Formal Languages and Automata Theory Theory of Computation |
| ISBN | 3-319-14806-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Numerous formal notations.- Theories of programming -- Abstraction -- Refinement -- Choice -- Termination -- Feasibility -- Locality -- Concurrency and communication. |
| Record Nr. | UNISA-996198833903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
