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.
Formal Methods for Dynamical Systems [[electronic resource] ] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky
| Formal Methods for Dynamical Systems [[electronic resource] ] : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (VIII, 181 p. 49 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Bioinformatics Computers Software Engineering Logics and Meanings of Programs Computational Biology/Bioinformatics Computation by Abstract Devices |
| ISBN | 3-642-38874-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chaotic dynamics -- Information theory -- Systems biology -- Hybrid systems -- Quantum computing -- Automata-based models and model checking. |
| Record Nr. | UNISA-996465837303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky
| Formal Methods for Dynamical Systems : 13th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2013, Bertinoro, Italy, June 17-22, 2013. Advanced Lectures / / edited by Marco Bernardo, Erik de Vink, Alessandra Di Pierro, Herbert Wiklicky |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (VIII, 181 p. 49 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Bioinformatics Computers Software Engineering Logics and Meanings of Programs Computational Biology/Bioinformatics Computation by Abstract Devices |
| ISBN | 3-642-38874-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chaotic dynamics -- Information theory -- Systems biology -- Hybrid systems -- Quantum computing -- Automata-based models and model checking. |
| Record Nr. | UNINA-9910483693203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Transactions on Computational Systems Biology XIII [[electronic resource] /] / edited by Ralph-Johan Back, Ion Petre, Erik de Vink
| Transactions on Computational Systems Biology XIII [[electronic resource] /] / edited by Ralph-Johan Back, Ion Petre, Erik de Vink |
| Edizione | [1st ed. 2011.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 |
| Descrizione fisica | 1 online resource (VII, 193 p.) |
| Disciplina | 570.285 |
| Collana | Transactions on Computational Systems Biology |
| Soggetto topico |
Bioinformatics
Computer simulation Computers Artificial intelligence Algorithms Mathematical statistics Computational Biology/Bioinformatics Simulation and Modeling Computation by Abstract Devices Artificial Intelligence Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science |
| ISBN | 3-642-19748-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Evolutionary Dynamics of a Population of Cells with a Toxin Suppressor Gene -- Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway -- Impulse-Based Dynamic Simulation of Deformable Biological Structures -- Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach -- Modelling Ammonium Transporters in Arbuscular Mycorrhiza Symbiosis -- Genetically Regulated Metabolic Networks: Gale-Nikaido Modules and Differential Inequalities -- Cultural Epigenetics: On the Heritability of Complex Diseases -- Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework. |
| Record Nr. | UNISA-996465388403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Transactions on Computational Systems Biology XIV [[electronic resource] ] : Special Issue on Computational Models for Cell Processes / / edited by Ion Petre, Erik de Vink
| Transactions on Computational Systems Biology XIV [[electronic resource] ] : Special Issue on Computational Models for Cell Processes / / edited by Ion Petre, Erik de Vink |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 233 p. 67 illus.) |
| Disciplina | 570.285 |
| Collana | Transactions on Computational Systems Biology |
| Soggetto topico |
Bioinformatics
Computer simulation Computers Artificial intelligence Algorithms Mathematical statistics Computational Biology/Bioinformatics Simulation and Modeling Computation by Abstract Devices Artificial Intelligence Algorithm Analysis and Problem Complexity Probability and Statistics in Computer Science |
| ISBN | 3-642-35524-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein -- Quasi Product Form Approximation for Markov Models of Reaction Networks -- Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study -- On Approximative Reachability Analysis of Biochemical Dynamical Systems -- Minimal Reaction Systems -- Complex Functional Rates in Rule-Based Languages for Biochemistry -- Probabilistic Model Checking of the PDGF Signaling Pathway -- Self-assembly Models of Variable Resolution -- Metabolic Constraints on the Evolution of Genetic Codes: Did Multiple ‘Preaerobic’ Ecosystem Transitions Entrain Richer Dialects via Serial Endosymbiosis?. |
| Record Nr. | UNISA-996465938703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||