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 Industrial Critical Systems [[electronic resource] ] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings / / edited by Mariëlle Stoelinga, Ralf Pinger
| Formal Methods for Industrial Critical Systems [[electronic resource] ] : 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings / / edited by Mariëlle Stoelinga, Ralf Pinger |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (XIV, 223 p. 87 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Special purpose computers Application software Computers Software Engineering Logics and Meanings of Programs Special Purpose and Application-Based Systems Computer Appl. in Administrative Data Processing Computation by Abstract Devices |
| Soggetto genere / forma | Conference proceedings. |
| ISBN | 3-642-32469-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Real-Time Specification Patterns and Tools -- Automated Extraction of Abstract Behavioural Models from JMS Applications -- Certifying and Reasoning on Cost Annotations in C Programs.- Waiting for Locks: How Long Does It Usually Take? -- Microcontroller Assembly Synthesis from Timed Automaton Task Specifications.- Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs -- Range Analysis of Binaries with Minimal Effort -- Combining Analyses for C Program Verification -- Model Checking the FlexRay Startup Phase -- Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations -- Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.- Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems -- A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java -- Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. . |
| Record Nr. | UNISA-996465309303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / / edited by Étienne André, Mariëlle Stoelinga
| Formal Modeling and Analysis of Timed Systems [[electronic resource] ] : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / / edited by Étienne André, Mariëlle Stoelinga |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 301 p. 237 illus., 41 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Software engineering Computer science Machine theory Computer simulation Computers, Special purpose Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Computer Modelling Special Purpose and Application-Based Systems |
| ISBN | 3-030-29662-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data -- Timed systems -- Linear and Non-linear Systems -- Timed Automata -- Special Session on Timed Systems and Probabilities. |
| Record Nr. | UNISA-996466467903316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / / edited by Étienne André, Mariëlle Stoelinga
| Formal Modeling and Analysis of Timed Systems : 17th International Conference, FORMATS 2019, Amsterdam, The Netherlands, August 27–29, 2019, Proceedings / / edited by Étienne André, Mariëlle Stoelinga |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XVI, 301 p. 237 illus., 41 illus. in color.) |
| Disciplina | 004.0151 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Algorithms
Software engineering Computer science Machine theory Computer simulation Computers, Special purpose Software Engineering Computer Science Logic and Foundations of Programming Formal Languages and Automata Theory Computer Modelling Special Purpose and Application-Based Systems |
| ISBN | 3-030-29662-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Special Session on Data-driven and Stochastic Approaches to Real-time, including Monitoring and Big Data -- Timed systems -- Linear and Non-linear Systems -- Timed Automata -- Special Session on Timed Systems and Probabilities. |
| Record Nr. | UNINA-9910349304503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
| Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk |
| Autore | Jansen Nils |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (462 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
JungesSebastian
KaminskiBenjamin Lucien MathejaChristoph NollThomas QuatmannTim StoelingaMariëlle VolkMatthias |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Software engineering Computer Science Logic and Foundations of Programming Theory of Computation Software Engineering |
| ISBN |
9783031757839
3031757831 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Programming Languages -- Automatic Compositional Checking of Multi-Object TypeState Properties of Software -- Sound and Complete Techniques for Reasoning about Termination -- Amortized Analysis of Leftist Heaps. Asymptotic Analysis of Probabilistic Programs: When Expectations Do Not Meet Our Expectations -- Source-level reasoning for quantifying information leaks -- Symbolic Methods for Quantitative Information Flow in Probabilistic Programs -- Static Slicing for Probabilistic Programs: An Overview -- Polar: An Algebraic Analyzer for (Probabilistic) Loops -- Quantum Computing: From Weakest Preconditions to Voltage Pulses -- A Unified Framework for Quantitative Analysis of Probabilistic Programs -- Neural Programs: Linking Probabilistic and Differential Programming -- Towards a Proof System for Probabilistic Dynamic Logic -- Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting -- Some Thoughts on Graph Similarity -- On Categories of Nested Conditions -- Another Look at LTL Modulo Theory over Finite and Infinite Traces. |
| Record Nr. | UNINA-9910983076703321 |
Jansen Nils
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
| Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk |
| Autore | Jansen Nils |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (509 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
JungesSebastian
KaminskiBenjamin Lucien MathejaChristoph NollThomas QuatmannTim StoelingaMariëlle VolkMatthias |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Software engineering Computer Science Logic and Foundations of Programming Theory of Computation Software Engineering |
| ISBN |
9783031757785
9783031757778 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Methods and Machine Learning -- Learning Generalized Stochastic Petri Nets From Event Data -- Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages -- A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community -- Malwa: Learnability by Design -- Formal Verification Techniques for Vision-based Autonomous Systems – A Survey -- What is Formal Verification without Specifications? A Survey on Mining LTL Specifications -- Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet -- L# for DFAs -- Verification Techniques -- The Transformation Game: Joining Forces for Verification -- The Black Ninjas and the Sniper: On Robust Population Protocols .-Effective Model-Based Testing -- Compiling Binary Decision Diagrams with Interrupt-based Downsizing -- Modular criticality analysis for dynamic fault trees -- Timed Systems -- Measured Causes: Adding Time and Probability to True Concurrency.Ten Papers with Pisa and Twente -- (de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems.-Avoiding Spurious Timeouts -- Urgency Annotations for Alternating Choices -- Rescuing Catastrophe Victims by Interactive Markov Chains with Clocks -- Games -- Ten Years of Petri Games -- Compositional Solution of Mean Payoff Games by String Diagrams -- Solving parity games, very slowly -- Academia Give Probabilities a Fair Chance -- Making ETAPS Gold Open Access. |
| Record Nr. | UNINA-9910983305103321 |
|
Jansen Nils
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
| Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk |
| Autore | Jansen Nils |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (405 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
JungesSebastian
KaminskiBenjamin Lucien MathejaChristoph NollThomas QuatmannTim StoelingaMariëlle VolkMatthias |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Software engineering Computer Science Logic and Foundations of Programming Theory of Computation Software Engineering |
| ISBN |
9783031757754
3031757750 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Checking Applications -- On Woolhouse’s Cotton-Spinning Problem -- Algorithms for Robbins’ Problem using Markov Decision Processes -- Revisiting a Pioneering Concurrent Stochastic Problem: The Erlangen Mainframe -- A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case -- Riding the Storm in a Probabilistic Model Checking Landscape -- Modest Models and Tools for Real Stochastic Timed Systems -- Model Checking Techniques Analyzing Value Functions of States in Parametric Markov Chains -- Expectation vs. Reality: Towards Verification of Psychological Games -- Process Mining Meets Probabilistic Model Checking via Model & Logical Embeddings -- Robustness analysis of probabilistic models with adversaries or strategic entities -- A Scenario Approach for Parametric Markov Decision Processes -- GPU Accelerating Statistical Model Checking for Extended Timed Automata -- Model Checking Markov Chains as Distribution Transformers -- Towards End-to-End GPU Acceleration of PCTL Model Checking -- Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size -- Model Checking and Strategy Synthesis with Abstractions and Certificates. |
| Record Nr. | UNINA-9910983392203321 |
|
Jansen Nils
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
| Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk |
| Autore | Jansen Nils |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (462 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
JungesSebastian
KaminskiBenjamin Lucien MathejaChristoph NollThomas QuatmannTim StoelingaMariëlle VolkMatthias |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Software engineering Computer Science Logic and Foundations of Programming Theory of Computation Software Engineering |
| ISBN |
9783031757839
3031757831 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Programming Languages -- Automatic Compositional Checking of Multi-Object TypeState Properties of Software -- Sound and Complete Techniques for Reasoning about Termination -- Amortized Analysis of Leftist Heaps. Asymptotic Analysis of Probabilistic Programs: When Expectations Do Not Meet Our Expectations -- Source-level reasoning for quantifying information leaks -- Symbolic Methods for Quantitative Information Flow in Probabilistic Programs -- Static Slicing for Probabilistic Programs: An Overview -- Polar: An Algebraic Analyzer for (Probabilistic) Loops -- Quantum Computing: From Weakest Preconditions to Voltage Pulses -- A Unified Framework for Quantitative Analysis of Probabilistic Programs -- Neural Programs: Linking Probabilistic and Differential Programming -- Towards a Proof System for Probabilistic Dynamic Logic -- Annotated Dependency Pairs for Full Almost-Sure Termination of Probabilistic Term Rewriting -- Some Thoughts on Graph Similarity -- On Categories of Nested Conditions -- Another Look at LTL Modulo Theory over Finite and Infinite Traces. |
| Record Nr. | UNISA-996630868703316 |
|
Jansen Nils
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
| Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk |
| Autore | Jansen Nils |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (405 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
JungesSebastian
KaminskiBenjamin Lucien MathejaChristoph NollThomas QuatmannTim StoelingaMariëlle VolkMatthias |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Software engineering Computer Science Logic and Foundations of Programming Theory of Computation Software Engineering |
| ISBN |
9783031757754
3031757750 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Model Checking Applications -- On Woolhouse’s Cotton-Spinning Problem -- Algorithms for Robbins’ Problem using Markov Decision Processes -- Revisiting a Pioneering Concurrent Stochastic Problem: The Erlangen Mainframe -- A Probabilistic Analysis of Simplified Cluedo with Storm: The Birthday Cake Case -- Riding the Storm in a Probabilistic Model Checking Landscape -- Modest Models and Tools for Real Stochastic Timed Systems -- Model Checking Techniques Analyzing Value Functions of States in Parametric Markov Chains -- Expectation vs. Reality: Towards Verification of Psychological Games -- Process Mining Meets Probabilistic Model Checking via Model & Logical Embeddings -- Robustness analysis of probabilistic models with adversaries or strategic entities -- A Scenario Approach for Parametric Markov Decision Processes -- GPU Accelerating Statistical Model Checking for Extended Timed Automata -- Model Checking Markov Chains as Distribution Transformers -- Towards End-to-End GPU Acceleration of PCTL Model Checking -- Model Checking of PLC Code Specifications: Impact of GRAFCET Features to State Space Size -- Model Checking and Strategy Synthesis with Abstractions and Certificates. |
| Record Nr. | UNISA-996630865603316 |
|
Jansen Nils
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk
| Principles of Verification: Cycling the Probabilistic Landscape : Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III / / edited by Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk |
| Autore | Jansen Nils |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (509 pages) |
| Disciplina | 004.0151 |
| Altri autori (Persone) |
JungesSebastian
KaminskiBenjamin Lucien MathejaChristoph NollThomas QuatmannTim StoelingaMariëlle VolkMatthias |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer science
Software engineering Computer Science Logic and Foundations of Programming Theory of Computation Software Engineering |
| ISBN |
9783031757785
9783031757778 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Formal Methods and Machine Learning -- Learning Generalized Stochastic Petri Nets From Event Data -- Safe Reinforcement Learning Through Regret and State Restorations in Evaluation Stages -- A Literature Review on Verification and Abstraction of Neural Networks Within the Formal Methods Community -- Malwa: Learnability by Design -- Formal Verification Techniques for Vision-based Autonomous Systems – A Survey -- What is Formal Verification without Specifications? A Survey on Mining LTL Specifications -- Robust Markov Decision Processes: A Place Where AI and Formal Methods Meet -- L# for DFAs -- Verification Techniques -- The Transformation Game: Joining Forces for Verification -- The Black Ninjas and the Sniper: On Robust Population Protocols .-Effective Model-Based Testing -- Compiling Binary Decision Diagrams with Interrupt-based Downsizing -- Modular criticality analysis for dynamic fault trees -- Timed Systems -- Measured Causes: Adding Time and Probability to True Concurrency.Ten Papers with Pisa and Twente -- (de-)Composed And More: Eager and Lazy Specifications (CAMELS) for Stochastic Hybrid Systems.-Avoiding Spurious Timeouts -- Urgency Annotations for Alternating Choices -- Rescuing Catastrophe Victims by Interactive Markov Chains with Clocks -- Games -- Ten Years of Petri Games -- Compositional Solution of Mean Payoff Games by String Diagrams -- Solving parity games, very slowly -- Academia Give Probabilities a Fair Chance -- Making ETAPS Gold Open Access. |
| Record Nr. | UNISA-996630862603316 |
|
Jansen Nils
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Quantitative Evaluation of Systems [[electronic resource] ] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / / edited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio
| Quantitative Evaluation of Systems [[electronic resource] ] : 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013, Proceedings / / edited by Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (XII, 406 p. 98 illus.) |
| Disciplina | 004.24 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer science
Electronic digital computers—Evaluation Computer science—Mathematics Mathematical statistics Computer Science Logic and Foundations of Programming System Performance and Evaluation Probability and Statistics in Computer Science |
| ISBN | 3-642-40196-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996466031803316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
