000946073 000__ 03890cam\a2200589M\\4500
000946073 001__ 946073
000946073 005__ 20230306152529.0
000946073 006__ m\\\\\o\\d\\\\\\\\
000946073 007__ cr\un\nnnunnun
000946073 008__ 201105s2020\\\\sz\a\\\\ob\\\\101\0\eng\d
000946073 019__ $$a1203925558$$a1204143704$$a1227388121$$a1232855934$$a1232857522
000946073 020__ $$a9783030598549$$q(electronic book)
000946073 020__ $$a3030598543$$q(electronic book)
000946073 020__ $$z3030598535
000946073 020__ $$z9783030598532
000946073 0247_ $$a10.1007/978-3-030-59854-9$$2doi
000946073 035__ $$aSP(OCoLC)on1225563555
000946073 035__ $$aSP(OCoLC)1225563555
000946073 040__ $$aSFB$$beng$$erda$$cSFB$$dOCLCO$$dYDXIT$$dOCLCF$$dGW5XE$$dYDX$$dSNU$$dERF$$dEBLCP$$dOCLCO
000946073 049__ $$aISEA
000946073 050_4 $$aQA76.9.E94
000946073 08204 $$a004.2/4$$223
000946073 1112_ $$aInternational Conference on the Quantitative Evaluation of Systems$$n(17th :$$d2020 :$$cOnline)
000946073 24510 $$aQuantitative evaluation of systems :$$b17th International Conference, QEST 2020, Vienna, Austria, August 31 - September 3, 2020, Proceedings /$$cMarco Gribaudo, David N. Jansen, Anne Remke (eds.).
000946073 2463_ $$aQEST 2020
000946073 264_1 $$aCham :$$bSpringer,$$c[2020]
000946073 300__ $$a1 online resource (xi, 298 pages) :$$billustrations
000946073 336__ $$atext$$btxt$$2rdacontent
000946073 337__ $$acomputer$$bc$$2rdamedia
000946073 338__ $$aonline resource$$bcr$$2rdacarrier
000946073 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v12289
000946073 4901_ $$aLNCS sublibrary: SL1 - Theoretical computer science and general issues
000946073 500__ $$aInternational conference proceeding.
000946073 504__ $$aIncludes bibliographical references and author index.
000946073 5050_ $$aMachine 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. .
000946073 506__ $$aAccess limited to authorized users.
000946073 5880_ $$aOnline resource; title from PDF title page (SpringerLink, viewed January 27, 2021).
000946073 650_0 $$aComputer systems$$xEvaluation$$vCongresses.
000946073 650_0 $$aComputer networks$$xEvaluation$$vCongresses.
000946073 650_0 $$aReliability (Engineering)$$vCongresses.
000946073 650_0 $$aStochastic processes$$vCongresses.
000946073 650_0 $$aComputer science$$xMathematics.
000946073 7001_ $$aGribaudo, Marco,$$d1972-$$eeditor.
000946073 7001_ $$aJansen, David N.,$$eeditor.
000946073 7001_ $$aRemke, Anne,$$d1980-$$eeditor.
000946073 77608 $$iPrint version:$$z3030598535$$z9783030598532$$w(OCoLC)1191236701
000946073 830_0 $$aLecture notes in computer science ;$$v12289.
000946073 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues ;$$v12289.
000946073 852__ $$bebk
000946073 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-59854-9$$zOnline Access$$91397441.1
000946073 909CO $$ooai:library.usi.edu:946073$$pGLOBAL_SET
000946073 980__ $$aEBOOK
000946073 980__ $$aBIB
000946073 982__ $$aEbook
000946073 983__ $$aOnline
000946073 994__ $$a92$$bISE