Bild 1 von 2
Galerie
Bild 1 von 2
Quantitative Bewertung von Systemen: 18. Internationale Konferenz, QEST 2021, PA-
US $55,55
Ca.EUR 47,31
Artikelzustand:
Neuwertig
Buch, das wie neu aussieht, aber bereits gelesen wurde. Der Einband weist keine sichtbaren Gebrauchsspuren auf. Bei gebundenen Büchern ist der Schutzumschlag vorhanden (sofern zutreffend). Alle Seiten sind vollständig vorhanden, es gibt keine zerknitterten oder eingerissenen Seiten und im Text oder im Randbereich wurden keine Unterstreichungen, Markierungen oder Notizen vorgenommen. Der Inneneinband kann minimale Gebrauchsspuren aufweisen. Minimale Gebrauchsspuren. Genauere Einzelheiten sowie eine Beschreibung eventueller Mängel entnehmen Sie bitte dem Angebot des Verkäufers.
- Sofort-KaufenQuantitative Bewertung von Systemen: 18. Internationale Konferenz, QEST 2021, PA
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
US $5,22 (ca. EUR 4,45) USPS Media MailTM.
Standort: Henderson, Nevada, USA
Lieferung:
Lieferung zwischen Do, 9. Okt und Mi, 15. Okt nach 94104 bei heutigem Zahlungseingang
Rücknahme:
Keine Rücknahme.
Zahlungen:
Sicher einkaufen
- Gratis Rückversand im Inland
- Punkte für jeden Kauf und Verkauf
- Exklusive Plus-Deals
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:395434196876
Artikelmerkmale
- Artikelzustand
- Book Title
- Quantitative Evaluation of Systems
- ISBN-13
- 9783030851712
- ISBN
- 9783030851712
Über dieses Produkt
Product Identifiers
Publisher
Springer International Publishing A&G
ISBN-10
3030851710
ISBN-13
9783030851712
eBay Product ID (ePID)
13050087622
Product Key Features
Number of Pages
Xv, 469 Pages
Language
English
Publication Name
Quantitative Evaluation of Systems : 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings
Publication Year
2021
Subject
Intelligence (Ai) & Semantics, Probability & Statistics / General, Computer Science
Type
Textbook
Subject Area
Mathematics, Computers
Series
Lecture Notes in Computer Science Ser.
Format
Trade Paperback
Dimensions
Item Weight
26.1 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Series Volume Number
12846
Number of Volumes
1 vol.
Illustrated
Yes
Table Of Content
Keynote Speaker.- Performance Evaluation: Model-Driven or Problem-Driven?.- Probabilistic Model Checking.- A Modest Approach to Dynamic Heuristic Search in Probabilistic Model Checking.- Tweaking the Odds in Probabilistic Timed Automata.- Quantifying Software Reliability via Model-Counting.- Quantitative Models and Metamodels: Analysis and Validation.- Compositional safe approximation of response time distribution of complex workflows.- Transient Analysis of Hierarchical Semi-Markov Process Models with Tool Support in Stateflow.- Evaluating the Effectiveness of Metamodels in Emulating Quantitative Models.- Queueing Systems.- Network Calculus for Bounding Delays in Feedforward Networks of FIFO Queueing Systems.- SEH: Size Estimate Hedging for Single-Server Queues.- An Approximate Bribe Queueing Model for Bid Advising in Cloud Spot Markets.- Learning and Verification.- DSMC Evaluation Stages: Fostering Robust and Safe Behavior in Deep Reinforcement Learning.- Active and sparse methods in smoothed model checking.- Safe Learning for Near-Optimal Scheduling.- Simulation.- Symbolic Simulation of Railway Timetables under Consideration of Stochastic Dependencies.- Simulation of n-dimensional second-order fluid models with different absorbing, reflecting and mixed barriers.- Performance Evaluation.- Queue Response Times with Server Speed Controlled by Measured Utilizations.- Service Demand Distribution Estimation for Microservices Using Markovian Arrival Processes.- Performance analysis of work stealing strategies in large scale multi-threaded computing.- Abstractions and Aggregations.- Stationary Distribution Approximations of Markovian Population Models using Aggregation.- Reasoning about Proportional Lumpability.- Lumpability for Uncertain Continuous-Time Markov Chains.- Stochastic Models.- Accurate Approximate Diagnosis of (Controllable) Stochastic Systems.- Optimizing reachability probabilities for a restricted class of Stochastic Hybrid Automata via Flowpipe-Construction.- Attack Trees vs. Fault Trees: two sides of the same coin from different currencies.
Synopsis
This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021. The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and metamodels: analysis and validation; queueing systems; learning and verification; simulation; performance evaluation; abstractions and aggregations; and stochastic models.
LC Classification Number
QA75.5-76.95
Artikelbeschreibung des Verkäufers
Rechtliche Informationen des Verkäufers
Info zu diesem Verkäufer
NV Wheels and Caps
99,3% positive Bewertungen•1.007 Artikel verkauft
Angemeldet als gewerblicher Verkäufer
Verkäuferbewertungen (286)
- o***- (42)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufI had a pleasant experience overall. The seller's shipping and handling process was quick and responsive; I received my item via UPS within the expected delivery period. After a brief inspection, the hubcap appeared to match the description in the seller's listing. I was very pleased with my purchase.Tesla Model Y OEM Gemini 19" Wheel Cover Hubcap Rim 1044235-00-C (Nr. 395935603066)
- b***b (4)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufGreat seller!. Received a wheel that had unfortunately been damaged in shipping. Seller was easy to work with to reach a satisfactory resolution. I would not hesitate to do business with them in the future. Thanks!
- a***m (18)- Bewertung vom Käufer.Letzte 6 MonateBestätigter KaufWhat accidentally sent the wrong item! The seller took full responsibility and handled it properly and in less than an hour with only 2 messages between me and them.Orle Oko - Deluxe LED Golf Cart Light Kit Compatible EZGO RXV 2016+ (Nr. 396392776406)
Noch mehr entdecken:
- Internationale Politikbücher,
- Bücher über internationales Recht Sachbuch,
- Bücher über internationale Politik Sachbuch,
- Bücher über internationale Beziehungen Sachbuch,
- Bücher über internationale Küche Sachbuch,
- Englische Bücher über internationale Küche Sachbuch,
- Deutsche Bücher über internationale Küche Sachbuch,
- Bücher über internationale Küche im Taschenbuch Sachbuch,
- Deutsche Bücher über internationale Politik Sachbuch,
- Bücher über internationale Küche Kochbücher Sachbuch