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ț: 1040.03 lei - 20%
Preț: 333.46 lei - 20%
Preț: 335.08 lei - 20%
Preț: 444.17 lei - 20%
Preț: 238.01 lei - 20%
Preț: 333.46 lei - 20%
Preț: 438.69 lei -
Preț: 440.52 lei - 20%
Preț: 336.71 lei - 20%
Preț: 148.66 lei - 20%
Preț: 310.26 lei - 20%
Preț: 256.27 lei - 20%
Preț: 632.22 lei - 17%
Preț: 427.22 lei - 20%
Preț: 641.78 lei - 20%
Preț: 307.71 lei - 20%
Preț: 1053.45 lei - 20%
Preț: 579.56 lei -
Preț: 373.56 lei - 20%
Preț: 330.23 lei - 15%
Preț: 429.74 lei - 20%
Preț: 607.39 lei - 20%
Preț: 538.29 lei -
Preț: 389.48 lei - 20%
Preț: 326.98 lei - 20%
Preț: 1386.07 lei - 20%
Preț: 1003.66 lei - 20%
Preț: 567.60 lei - 20%
Preț: 575.48 lei - 20%
Preț: 571.63 lei - 20%
Preț: 747.79 lei - 15%
Preț: 568.74 lei - 17%
Preț: 360.19 lei - 20%
Preț: 504.57 lei - 20%
Preț: 172.69 lei - 20%
Preț: 369.12 lei - 20%
Preț: 346.40 lei - 20%
Preț: 574.05 lei -
Preț: 402.62 lei - 20%
Preț: 584.40 lei - 20%
Preț: 747.79 lei - 20%
Preț: 809.19 lei - 20%
Preț: 649.49 lei - 20%
Preț: 343.16 lei - 20%
Preț: 309.90 lei - 20%
Preț: 122.89 lei
Preț: 331.68 lei
Preț vechi: 414.60 lei
-20% Nou
Puncte Express: 498
Preț estimativ în valută:
63.50€ • 66.00$ • 52.65£
63.50€ • 66.00$ • 52.65£
Carte tipărită la comandă
Livrare economică 05-19 februarie 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.