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] ] : 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] ] : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings / / edited by Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca
| Unconventional Computation and Natural Computation [[electronic resource] ] : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings / / edited by Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 262 p. 68 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Machine theory Artificial intelligence Computer simulation Bioinformatics Theory of Computation Formal Languages and Automata Theory Artificial Intelligence Computer Modelling Computational and Systems Biology |
| ISBN | 3-642-39074-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quantum, cellular, molecular, neural, DNA -- Membrane, and evolutionary computing -- Cellular automata -- Computation based on chaos and dynamical systems -- Massive parallel computation -- Collective intelligence -- Computation based on physical principles such as relativistic -- Optical, spatial, collision-based computing -- Amorphous computing -- Physarum computing -- Hypercomputation -- Fuzzy and rough computing -- Swarm intelligence -- Artificial immune systems -- Physics of computation -- Chemical computation -- Evolving hardware -- The computational nature of self-assembly, developmental processes, bacterial communication, and brain processes. |
| Record Nr. | UNISA-996465527403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Unconventional Computation and Natural Computation [[electronic resource] ] : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings / / edited by Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca
| Unconventional Computation and Natural Computation [[electronic resource] ] : 12th International Conference, UCNC 2013, Milan, Italy, July 1-5, 2013, Proceedings / / edited by Giancarlo Mauri, Alberto Dennunzio, Luca Manzoni, Antonio E. Porreca |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XVI, 262 p. 68 illus.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Algorithms Machine theory Artificial intelligence Computer simulation Bioinformatics Theory of Computation Formal Languages and Automata Theory Artificial Intelligence Computer Modelling Computational and Systems Biology |
| ISBN | 3-642-39074-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Quantum, cellular, molecular, neural, DNA -- Membrane, and evolutionary computing -- Cellular automata -- Computation based on chaos and dynamical systems -- Massive parallel computation -- Collective intelligence -- Computation based on physical principles such as relativistic -- Optical, spatial, collision-based computing -- Amorphous computing -- Physarum computing -- Hypercomputation -- Fuzzy and rough computing -- Swarm intelligence -- Artificial immune systems -- Physics of computation -- Chemical computation -- Evolving hardware -- The computational nature of self-assembly, developmental processes, bacterial communication, and brain processes. |
| Record Nr. | UNINA-9910484482403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| 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 | ||
| ||
Unconventional Programming Paradigms [[electronic resource] ] : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / / edited by Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel
| Unconventional Programming Paradigms [[electronic resource] ] : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / / edited by Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XI, 367 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Machine theory Theory of Computation Compilers and Interpreters Formal Languages and Automata Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive Programming of Solid-State Devices to Orchestrated Self-organisation of Informed Matter -- Relational Growth Grammars – A Graph Rewriting Approach to Dynamical Systems with a Dynamical Structure -- A New Programming Paradigm Inspired by Artificial Chemistries -- Higher-Order Chemical Programming Style -- Amorphous Computing -- to Amorphous Computing -- Abstractions for Directing Self-organising Patterns -- Programming an Amorphous Computational Medium -- Computations in Space and Space in Computations -- Bio-inspired Computing -- Bio-inspired Computing Paradigms (Natural Computing) -- Inverse Design of Cellular Automata by Genetic Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration of Self-assembled DNA Nanostructures and Motors -- Membrane Systems: A Quick Introduction -- Cellular Meta-programming over Membranes -- Modelling Dynamically Organised Colonies of Bio-entities -- P Systems: Some Recent Results and Research Problems -- Outlining an Unconventional, Adaptive, and Particle-Based Reconfigurable Computer Architecture -- Autonomic Computing -- Autonomic Computing: An Overview -- Enabling Autonomic Grid Applications: Dynamic Composition, Coordination and Interaction -- Grassroots Approach to Self-management in Large-Scale Distributed Systems -- Autonomic Runtime System for Large Scale Parallel and Distributed Applications -- Generative Programming -- Towards Generative Programming -- Overview of Generative Software Development -- A Comparison of Program Generation with Aspect-Oriented Programming -- Generative Programming from a Post Object-Oriented Programming Viewpoint. |
| Record Nr. | UNINA-9910483593503321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Unconventional Programming Paradigms [[electronic resource] ] : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / / edited by Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel
| Unconventional Programming Paradigms [[electronic resource] ] : International Workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004, Revised Selected and Invited Papers / / edited by Jean-Pierre Banâtre, Pascal Fradet, Jean-Louis Giavitto, Olivier Michel |
| Edizione | [1st ed. 2005.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Descrizione fisica | 1 online resource (XI, 367 p.) |
| Disciplina | 005.1 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Compilers (Computer programs) Machine theory Theory of Computation Compilers and Interpreters Formal Languages and Automata Theory |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talk -- From Quantum Physics to Programming Languages: A Process Algebraic Approach -- Chemical Computing -- Chemical Computing -- Programming Reaction-Diffusion Processors -- From Prescriptive Programming of Solid-State Devices to Orchestrated Self-organisation of Informed Matter -- Relational Growth Grammars – A Graph Rewriting Approach to Dynamical Systems with a Dynamical Structure -- A New Programming Paradigm Inspired by Artificial Chemistries -- Higher-Order Chemical Programming Style -- Amorphous Computing -- to Amorphous Computing -- Abstractions for Directing Self-organising Patterns -- Programming an Amorphous Computational Medium -- Computations in Space and Space in Computations -- Bio-inspired Computing -- Bio-inspired Computing Paradigms (Natural Computing) -- Inverse Design of Cellular Automata by Genetic Algorithms: An Unconventional Programming Paradigm -- Design, Simulation, and Experimental Demonstration of Self-assembled DNA Nanostructures and Motors -- Membrane Systems: A Quick Introduction -- Cellular Meta-programming over Membranes -- Modelling Dynamically Organised Colonies of Bio-entities -- P Systems: Some Recent Results and Research Problems -- Outlining an Unconventional, Adaptive, and Particle-Based Reconfigurable Computer Architecture -- Autonomic Computing -- Autonomic Computing: An Overview -- Enabling Autonomic Grid Applications: Dynamic Composition, Coordination and Interaction -- Grassroots Approach to Self-management in Large-Scale Distributed Systems -- Autonomic Runtime System for Large Scale Parallel and Distributed Applications -- Generative Programming -- Towards Generative Programming -- Overview of Generative Software Development -- A Comparison of Program Generation with Aspect-Oriented Programming -- Generative Programming from a Post Object-Oriented Programming Viewpoint. |
| Record Nr. | UNISA-996465784403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
| 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. | 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 | ||
| ||
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. | UNINA-9910484459803321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
