Atjaunināt sīkdatņu piekrišanu

E-grāmata: Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings

Edited by , Edited by , Edited by
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 12289
  • Izdošanas datums: 03-Nov-2020
  • Izdevniecība: Springer Nature Switzerland AG
  • Valoda: eng
  • ISBN-13: 9783030598549
Citas grāmatas par šo tēmu:
  • Formāts - PDF+DRM
  • Cena: 53,52 €*
  • * ši ir gala cena, t.i., netiek piemērotas nekādas papildus atlaides
  • Ielikt grozā
  • Pievienot vēlmju sarakstam
  • Šī e-grāmata paredzēta tikai personīgai lietošanai. E-grāmatas nav iespējams atgriezt un nauda par iegādātajām e-grāmatām netiek atmaksāta.
Quantitative Evaluation of Systems: 17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, ProceedingsPalielināt
  • Formāts: PDF+DRM
  • Sērija : Lecture Notes in Computer Science 12289
  • Izdošanas datums: 03-Nov-2020
  • Izdevniecība: Springer Nature Switzerland AG
  • Valoda: eng
  • ISBN-13: 9783030598549
Citas grāmatas par šo tēmu:

DRM restrictions

  • Kopēšana (kopēt/ievietot):

    nav atļauts

  • Drukāšana:

    nav atļauts

  • Lietošana:

    Digitālo tiesību pārvaldība (Digital Rights Management (DRM))
    Izdevējs ir piegādājis šo grāmatu šifrētā veidā, kas nozīmē, ka jums ir jāinstalē bezmaksas programmatūra, lai to atbloķētu un lasītu. Lai lasītu šo e-grāmatu, jums ir jāizveido Adobe ID. Vairāk informācijas šeit. E-grāmatu var lasīt un lejupielādēt līdz 6 ierīcēm (vienam lietotājam ar vienu un to pašu Adobe ID).

    Nepieciešamā programmatūra
    Lai lasītu šo e-grāmatu mobilajā ierīcē (tālrunī vai planšetdatorā), jums būs jāinstalē šī bezmaksas lietotne: PocketBook Reader (iOS / Android)

    Lai lejupielādētu un lasītu šo e-grāmatu datorā vai Mac datorā, jums ir nepieciešamid Adobe Digital Editions (šī ir bezmaksas lietotne, kas īpaši izstrādāta e-grāmatām. Tā nav tas pats, kas Adobe Reader, kas, iespējams, jau ir jūsu datorā.)

    Jūs nevarat lasīt šo e-grāmatu, izmantojot Amazon Kindle.

This book constitutes the proceedings of the 17th International Conference on Quantitative Evaluation Systems, QEST 2020, held in Vienna, Austria, in August/September 2020.
The 12 full papers presented together with 7 short papers were carefully reviewed and selected from 42 submissions. The papers cover topics such as classic measures involving performance and reliability, quantification of properties that are classically qualitative, such as safety, correctness, and security as well as analytic studies, diversity in the model formalisms and methodologies employed, and development of new formalisms and methodologies.
Machine Learning for Reliability Analysis of Large Scale Distributed
Systems.- Tracking the Race Between Deep Reinforcement Learning and Imitation
Learning.- SafePILCO: a Software Tool for Safe and Data-Efficient Policy
Synthesis.- StochNetV2: a Tool for Automated Deep Abstractions for Stochastic
Reaction Networks.- Alternative Characterizations of Probabilistic Trace
Equivalences on Coherent Resolutions of Nondeterminism.- Probabilistic Model
Checking of AODV.- Multi-player Equilibria Verification for Concurrent
Stochastic Games.- Loss-size and Reliability Trade-offs Amongst Diverse
Redundant Binary Classifiers.- Bayesian Inference by Symbolic Model
Checking.- CogQN: A Queueing Model that Captures Human Learning of the User
Interfaces of Session-based Systems.- A Matlab Toolkit for the Analysis of
Two-level Processor Sharing Queues.- M/M/1 Vacation Queue with Multiple
Thresholds: A Fluid Analysis.- Bounding Mean First Passage Times in
Population Continuous-Time Markov Chains.- Markovian Arrival Processes in
Multi-Dimensions.- Automatic Pre- and Postconditions for Partial Differential
Equations.- Importance of Interaction Structure and Stochasticity for
Epidemic Spreading: A COVID-19 Case Study.- The Dynamic Fault Tree Rare Event
Simulator.- Entropy Measurement of Concurrent Disorder.- Hardening Critical
Infrastructure Networks Against Attacker Reconnaissance.- Sensitivity
Analysis and Uncertainty Quantification of State-Based Discrete-Event
Simulation Models through a Stacked Ensemble of Metamodels.- Flexible Nets.-
Verifying Probabilistic Programs. 
Biežāk uzdotie jautājumi par e-grāmatām Biežāk uzdotie jautājumi par e-grāmatām
Permanent link: https://www.kriso.lv/db/97830305985492e.html
Keywords: