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.
Analytical and Stochastic Modelling Techniques and Applications [[electronic resource] ] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / / edited by Marco Gribaudo, Daniele Manini, Anne Remke
| Analytical and Stochastic Modelling Techniques and Applications [[electronic resource] ] : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / / edited by Marco Gribaudo, Daniele Manini, Anne Remke |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 217 p. 98 illus.) |
| Disciplina | 519.23 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Optical data processing Computer science—Mathematics Pattern recognition Data structures (Computer science) Software Engineering Image Processing and Computer Vision Math Applications in Computer Science Discrete Mathematics in Computer Science Pattern Recognition Data Structures |
| ISBN | 3-319-18579-9 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Optimal Analysis for M/G/1 Retrial Queue with Two-Way Communication -- Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks -- Model Checking of Open Interval Markov Chains -- Performance modeling of cellular systems with finite processor sharing queues in random environment, guard policy and flex retrial users -- Efficient Performance Evaluation of Wireless Networks with Varying Channel Conditions -- Mixed Networks with multiple classes of customers and restart -- Interconnected Wireless Sensors with Energy Harvesting -- Measuring the distance between MAPs and some applications -- Task delegation in a peer-to-peer volunteer computing platform -- On convergence rate to stationarity of queues with general Gaussian input -- Model-based Quantitative Security Analysis of Mobile Offloading Systems under Timing Attacks -- Single-Server Systems with Power-Saving Modes -- Multiserver Queues with Finite Capacity and Setup Time -- Power consumption analysis of replicated virtual applications -- On the Influence of High-Priority Customers on a Generalized Processor Sharing Queue. |
| Record Nr. | UNISA-996200027603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Analytical and Stochastic Modelling Techniques and Applications : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / / edited by Marco Gribaudo, Daniele Manini, Anne Remke
| Analytical and Stochastic Modelling Techniques and Applications : 22nd International Conference, ASMTA 2015, Albena, Bulgaria, May 26-29, 2015. Proceedings / / edited by Marco Gribaudo, Daniele Manini, Anne Remke |
| Edizione | [1st ed. 2015.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 |
| Descrizione fisica | 1 online resource (X, 217 p. 98 illus.) |
| Disciplina | 519.23 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Optical data processing Computer science—Mathematics Pattern recognition Data structures (Computer science) Software Engineering Image Processing and Computer Vision Math Applications in Computer Science Discrete Mathematics in Computer Science Pattern Recognition Data Structures |
| ISBN | 3-319-18579-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Optimal Analysis for M/G/1 Retrial Queue with Two-Way Communication -- Use of Flow Equivalent Servers in the Transient Analysis of Product Form Queuing Networks -- Model Checking of Open Interval Markov Chains -- Performance modeling of cellular systems with finite processor sharing queues in random environment, guard policy and flex retrial users -- Efficient Performance Evaluation of Wireless Networks with Varying Channel Conditions -- Mixed Networks with multiple classes of customers and restart -- Interconnected Wireless Sensors with Energy Harvesting -- Measuring the distance between MAPs and some applications -- Task delegation in a peer-to-peer volunteer computing platform -- On convergence rate to stationarity of queues with general Gaussian input -- Model-based Quantitative Security Analysis of Mobile Offloading Systems under Timing Attacks -- Single-Server Systems with Power-Saving Modes -- Multiserver Queues with Finite Capacity and Setup Time -- Power consumption analysis of replicated virtual applications -- On the Influence of High-Priority Customers on a Generalized Processor Sharing Queue. |
| Record Nr. | UNINA-9910483268503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2015 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computer Performance Engineering [[electronic resource] ] : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings / / edited by Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke
| Computer Performance Engineering [[electronic resource] ] : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings / / edited by Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 265 p. 92 illus.) |
| Disciplina | 004 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer system failures
Artificial intelligence Algorithms Software engineering Computer security System Performance and Evaluation Artificial Intelligence Algorithm Analysis and Problem Complexity Software Engineering Systems and Data Security |
| ISBN | 3-030-02227-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Evaluation Targeting Quality of Experience -- Mean Field Models for (Large-Scale) Load Balancing Systems -- On the Degradation of Distributed Graph Databases with Eventual Consistency -- To What Extent Does Performance Awareness Support Developers in Fixing Performance Bugs -- Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding -- Mean Value Analysis of Closed G-Networks with Signals -- Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions -- Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance -- Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification Approach -- Modeling Smart Buildings Using Fault Maintenance Trees -- Performance Impact of Misbehaving Voters -- Information Flow Security for Stochastic Models -- Towards Probabilistic Modeling and Analysis of Real-Time Systems -- An Ontology Framework for Generating Discrete-Event Stochastic Models -- A Mixed Strategy for a Competitive Game in Delay Tolerant Network -- Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming -- Modeling the Effect of Parallel Execution on Multi-site Computation Offloading in Mobile Cloud Computing -- An OpenFlow Controller Performance Evaluation Tool -- Product-form Queuing Networks with Batches. . |
| Record Nr. | UNISA-996466426903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings / / edited by Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke
| Computer Performance Engineering : 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings / / edited by Rena Bakhshi, Paolo Ballarini, Benoît Barbot, Hind Castel-Taleb, Anne Remke |
| Edizione | [1st ed. 2018.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 |
| Descrizione fisica | 1 online resource (XVI, 265 p. 92 illus.) |
| Disciplina |
004
004.24 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer system failures
Artificial intelligence Algorithms Software engineering Computer security System Performance and Evaluation Artificial Intelligence Algorithm Analysis and Problem Complexity Software Engineering Systems and Data Security |
| ISBN | 3-030-02227-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Performance Evaluation Targeting Quality of Experience -- Mean Field Models for (Large-Scale) Load Balancing Systems -- On the Degradation of Distributed Graph Databases with Eventual Consistency -- To What Extent Does Performance Awareness Support Developers in Fixing Performance Bugs -- Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding -- Mean Value Analysis of Closed G-Networks with Signals -- Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions -- Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance -- Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification Approach -- Modeling Smart Buildings Using Fault Maintenance Trees -- Performance Impact of Misbehaving Voters -- Information Flow Security for Stochastic Models -- Towards Probabilistic Modeling and Analysis of Real-Time Systems -- An Ontology Framework for Generating Discrete-Event Stochastic Models -- A Mixed Strategy for a Competitive Game in Delay Tolerant Network -- Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming -- Modeling the Effect of Parallel Execution on Multi-site Computation Offloading in Mobile Cloud Computing -- An OpenFlow Controller Performance Evaluation Tool -- Product-form Queuing Networks with Batches. . |
| Record Nr. | UNINA-9910349399003321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2018 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Distributed Applications and Interoperable Systems [[electronic resource] ] : 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / / edited by Anne Remke, Valerio Schiavoni
| Distributed Applications and Interoperable Systems [[electronic resource] ] : 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / / edited by Anne Remke, Valerio Schiavoni |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (209 pages) : illustrations |
| Disciplina | 004.36 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer communication systems
Software engineering Special purpose computers Computers Data structures (Computer science) Computer Communication Networks Software Engineering/Programming and Operating Systems Special Purpose and Application-Based Systems Information Systems and Communication Service Computing Milieux Data Structures and Information Theory |
| ISBN | 3-030-50323-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Privacy and Security -- On the trade-offs of Combining Multiple Secure Processing Primitives for Data Analytics -- Capturing Privacy-preserving User Contexts with IndoorHash -- Cloud and Systems -- Towards Hypervisor Support for Enhancing the Performance of Virtual Machine Introspection -- Fed-DIC: Diagonally Interleaved Coding in a Federated Cloud Environment -- TailX: Scheduling Heterogeneous Multiget Queries to Improve Tail Latencies in Key-Value Stores -- Fault-tolerance and Reproducibility -- Towards a Polyglot Data Access Layer for a Low-Code Application Development Platform (Experience Report) -- A Comparison of Message Exchange Patterns in BFT Protocols (Experience Report) -- Kollaps/Thunderstorm: Reproducible Evaluation of Distributed Systems -- Machine Learning for Systems -- Self-Tunable DBMS Replication with Reinforcement Learning) -- DroidAutoML: A Microservice Architecture to Automate the Evaluation of Android Machine Learning Detection Systems -- Distributed Algorithms -- A Resource Usage Efficient Distributed Allocation Algorithm for 5G Service Function Chains -- A Stabilizing One-To-Many Node-Disjoint paths Routing Algorithm in Star Networks. |
| Record Nr. | UNISA-996418319803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Distributed Applications and Interoperable Systems : 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / / edited by Anne Remke, Valerio Schiavoni
| Distributed Applications and Interoperable Systems : 20th IFIP WG 6.1 International Conference, DAIS 2020, Held as Part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020, Proceedings / / edited by Anne Remke, Valerio Schiavoni |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (209 pages) : illustrations |
| Disciplina | 004.36 |
| Collana | Computer Communication Networks and Telecommunications |
| Soggetto topico |
Computer communication systems
Software engineering Special purpose computers Computers Data structures (Computer science) Computer Communication Networks Software Engineering/Programming and Operating Systems Special Purpose and Application-Based Systems Information Systems and Communication Service Computing Milieux Data Structures and Information Theory |
| ISBN | 3-030-50323-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Privacy and Security -- On the trade-offs of Combining Multiple Secure Processing Primitives for Data Analytics -- Capturing Privacy-preserving User Contexts with IndoorHash -- Cloud and Systems -- Towards Hypervisor Support for Enhancing the Performance of Virtual Machine Introspection -- Fed-DIC: Diagonally Interleaved Coding in a Federated Cloud Environment -- TailX: Scheduling Heterogeneous Multiget Queries to Improve Tail Latencies in Key-Value Stores -- Fault-tolerance and Reproducibility -- Towards a Polyglot Data Access Layer for a Low-Code Application Development Platform (Experience Report) -- A Comparison of Message Exchange Patterns in BFT Protocols (Experience Report) -- Kollaps/Thunderstorm: Reproducible Evaluation of Distributed Systems -- Machine Learning for Systems -- Self-Tunable DBMS Replication with Reinforcement Learning) -- DroidAutoML: A Microservice Architecture to Automate the Evaluation of Android Machine Learning Detection Systems -- Distributed Algorithms -- A Resource Usage Efficient Distributed Allocation Algorithm for 5G Service Function Chains -- A Stabilizing One-To-Many Node-Disjoint paths Routing Algorithm in Star Networks. |
| Record Nr. | UNINA-9910410059103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [[electronic resource] ] : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / / edited by Anne Remke, Boudewijn R. Haverkort
| Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems [[electronic resource] ] : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / / edited by Anne Remke, Boudewijn R. Haverkort |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVIII, 203 p. 75 illus.) |
| Disciplina | 621.382 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Special purpose computers Computer communication systems Computer simulation Application software Software Engineering Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Computer Communication Networks Simulation and Modeling Information Systems Applications (incl. Internet) |
| ISBN | 3-319-31559-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | DDoS 3.0 - How terrorists bring down the Internet -- SGsim: Co-Simulation Framework for ICT-Enabled Power Distribution Grids -- Improving Cross-Traffic Bounds in Feed-Forward Networks -- There is a Job for Everyone -- Stochastic analysis of energy consumption in pool depletion systems -- Moving queue on a network -- A Multi-commodity Simulation Tool Based on TRIANA -- Performance and Precision of Web Caching Simulations for Zipf Request Pattern -- PSTeC: A Location-time Driven Modelling Formalism for Probabilistic Real-time Systems -- Analysis of Hierarchical Semi-Markov Processes with Parallel Regions -- Combining Mobility Models with Arrival Processes -- Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams -- Resolving Contention for Networks-on-Chips: Combining Time-triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use -- The Weak Convergence of TCP Bandwidth Sharing -- Analysis of Mitigation Measures for Timing Attacks in Mobile Offloading Systems -- Capabilities of Raspberry Pi 2 for Big Data and Video Streaming Applications in Data Centres -- Ensemble-Based Uncertainty Quantification for Smart Grid Co-Simulation. . |
| Record Nr. | UNISA-996466006603316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / / edited by Anne Remke, Boudewijn R. Haverkort
| Measurement, Modelling and Evaluation of Dependable Computer and Communication Systems : 18th International GI/ITG Conference, MMB & DFT 2016, Münster, Germany, April 4-6, 2016, Proceedings / / edited by Anne Remke, Boudewijn R. Haverkort |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVIII, 203 p. 75 illus.) |
| Disciplina | 621.382 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Special purpose computers Computer communication systems Computer simulation Application software Software Engineering Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Computer Communication Networks Simulation and Modeling Information Systems Applications (incl. Internet) |
| ISBN | 3-319-31559-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | DDoS 3.0 - How terrorists bring down the Internet -- SGsim: Co-Simulation Framework for ICT-Enabled Power Distribution Grids -- Improving Cross-Traffic Bounds in Feed-Forward Networks -- There is a Job for Everyone -- Stochastic analysis of energy consumption in pool depletion systems -- Moving queue on a network -- A Multi-commodity Simulation Tool Based on TRIANA -- Performance and Precision of Web Caching Simulations for Zipf Request Pattern -- PSTeC: A Location-time Driven Modelling Formalism for Probabilistic Real-time Systems -- Analysis of Hierarchical Semi-Markov Processes with Parallel Regions -- Combining Mobility Models with Arrival Processes -- Product Line Fault Tree Analysis by Means of Multi-valued Decision Diagrams -- Resolving Contention for Networks-on-Chips: Combining Time-triggered Application Scheduling with Dynamic Budgeting of Memory Bus Use -- The Weak Convergence of TCP Bandwidth Sharing -- Analysis of Mitigation Measures for Timing Attacks in Mobile Offloading Systems -- Capabilities of Raspberry Pi 2 for Big Data and Video Streaming Applications in Data Centres -- Ensemble-Based Uncertainty Quantification for Smart Grid Co-Simulation. . |
| Record Nr. | UNINA-9910484099203321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Stochastic Model Checking [[electronic resource] ] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures / / edited by Anne Remke, Mariëlle Stoelinga
| Stochastic Model Checking [[electronic resource] ] : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures / / edited by Anne Remke, Mariëlle Stoelinga |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 281 p. 69 illus.) |
| Disciplina | 003.76 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer science—Mathematics Mathematical statistics Machine theory Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Probability and Statistics in Computer Science Formal Languages and Automata Theory |
| ISBN | 3-662-45489-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The tree areas of stochastic models -- Abstraction techniques -- Stochastic model checking. |
| Record Nr. | UNISA-996210509703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Stochastic Model Checking : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures / / edited by Anne Remke, Mariëlle Stoelinga
| Stochastic Model Checking : International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012. Advanced Lectures / / edited by Anne Remke, Mariëlle Stoelinga |
| Edizione | [1st ed. 2014.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
| Descrizione fisica | 1 online resource (XII, 281 p. 69 illus.) |
| Disciplina | 003.76 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Software engineering Compilers (Computer programs) Computer science—Mathematics Mathematical statistics Machine theory Computer Science Logic and Foundations of Programming Software Engineering Compilers and Interpreters Probability and Statistics in Computer Science Formal Languages and Automata Theory |
| ISBN | 3-662-45489-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The tree areas of stochastic models -- Abstraction techniques -- Stochastic model checking. |
| Record Nr. | UNINA-9910483060003321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||