Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings: Lecture Notes in Computer Science, cartea 13479
Editat de Erika Ábrahám, Marco Paolierien Limba Engleză Paperback – 11 sep 2022
The 19 full papers presented together with 1 keynote paper were carefully reviewed and selected from 44 submissions. The papers are organized in the following topics: program analysis; parameter synthesis; markovian agents and population models; dynamical systems; tools; applications and automata theory; and applications.
Din seria Lecture Notes in Computer Science
- 20%
Preț: 741.34 lei - 20%
Preț: 340.22 lei - 20%
Preț: 343.43 lei - 20%
Preț: 315.18 lei - 20%
Preț: 327.41 lei - 20%
Preț: 1031.06 lei - 20%
Preț: 438.67 lei - 20%
Preț: 315.76 lei - 20%
Preț: 330.61 lei - 20%
Preț: 148.66 lei - 20%
Preț: 122.89 lei - 20%
Preț: 995.03 lei - 20%
Preț: 562.71 lei - 20%
Preț: 237.99 lei - 20%
Preț: 504.57 lei - 20%
Preț: 332.20 lei - 15%
Preț: 563.85 lei - 20%
Preț: 636.26 lei - 5%
Preț: 365.59 lei - 20%
Preț: 321.95 lei - 20%
Preț: 310.26 lei - 20%
Preț: 607.38 lei -
Preț: 370.38 lei - 20%
Preț: 172.68 lei - 20%
Preț: 315.76 lei - 20%
Preț: 662.78 lei - 20%
Preț: 256.26 lei - 20%
Preț: 440.36 lei - 20%
Preț: 626.79 lei - 20%
Preț: 566.70 lei - 17%
Preț: 360.19 lei - 20%
Preț: 309.90 lei - 20%
Preț: 579.38 lei - 20%
Preț: 301.94 lei - 20%
Preț: 307.71 lei - 20%
Preț: 369.12 lei - 20%
Preț: 330.61 lei - 20%
Preț: 1044.38 lei - 20%
Preț: 574.58 lei -
Preț: 399.17 lei - 20%
Preț: 802.24 lei - 20%
Preț: 569.11 lei - 20%
Preț: 1374.12 lei - 20%
Preț: 333.84 lei - 20%
Preț: 538.29 lei - 20%
Preț: 326.97 lei
Preț: 328.85 lei
Preț vechi: 411.06 lei
-20% Nou
Puncte Express: 493
Preț estimativ în valută:
62.94€ • 65.60$ • 52.40£
62.94€ • 65.60$ • 52.40£
Carte tipărită la comandă
Livrare economică 06-20 ianuarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783031163357
ISBN-10: 3031163354
Pagini: 399
Ilustrații: XVII, 399 p. 116 illus., 77 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.59 kg
Ediția:1st ed. 2022
Editura: Springer International Publishing
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
ISBN-10: 3031163354
Pagini: 399
Ilustrații: XVII, 399 p. 116 illus., 77 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.59 kg
Ediția:1st ed. 2022
Editura: Springer International Publishing
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Cham, Switzerland
Cuprins
Program Analysis.- Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments.- Distribution Estimation for Probabilistic Loops.- An Automated Quantitative Information Flow Analysis for Concurrent Programs.- Parameter Synthesis.- Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties.- End-to-end Statistical Model Checking for Parametric ODE Models.- POMDP Controllers With Optimal Budget.- Markovian Agents and Population Models.- A Logical Framework for Reasoning about Local and Global Properties of Collective Systems.- Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-scaling.- Dynamical Systems.- An Algorithm for the Formal Reduction of Differential Equations as Over-approximations.- Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems.- Tools.- LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning.- LN: a Meta-Solver for LayeredQueueing Network Analysis.- Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows.- Applications.- Preference-Aware Computation Offloading for IoT in Multi-Access Edge Computing Using Probabilistic Model Checking.- Analysis of an Electric Vehicle Charging System along a Highway.- Verifier’s Dilemma in Ethereum Blockchain: A Quantitative Analysis.- Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks.- Automata Theory and Applications.- Mirrors and Memory in Quantum Automata.- Monte Carlo Tree Search for Priced Timed Automata.