Dirk Beyer – författare
1 307 kr
Skickas inom 10-15 vardagar
1 785 kr
Läs direkt efter köp
Inventory management is concerned with matching supply with demand and a central problem in Operations Management. The problem is to find the amount to be produced or purchased in order to maximize the total expected profit or minimize the total expected cost. Over the past two decades, several variations of the formula appeared, mostly in trade journals written by and for inventory managers. A critical assumption in the inventory literature is that the demands in different periods are independent and identically distributed. However, in real life, demands may depend on environmental considerations or the events in the world such as the weather, the state of economy, etc. Moreover, these events are represented by stochastic processes - exogenous or controlled.
In Markovian Demand Inventory Models, the authors are concerned with inventory models where these world events are modeled by Markov processes. Their research on Markovian demand inventory models was carried out over a period of ten years beginning in the early nineties.
Markovian Demand Inventory Models
1 307 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
565 kr
Skickas inom 10-15 vardagar
Tests and Proofs
13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
565 kr
Skickas inom 10-15 vardagar
734 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 13th International Conference on Tests and Proofs, TAP 2019, held as part of the Third World Congress on Formal Methods 2019, Porto, Portugal, in October 2019. The 10 regular papers and 2 invited paper presented in this volume were carefully reviewed and selected from 19 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.
Verification, Model Checking, and Abstract Interpretation
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
900 kr
Skickas inom 10-15 vardagar
1 111 kr
Läs direkt efter köp
Fundamental Approaches to Software Engineering
27th International Conference, FASE 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings
454 kr
Skickas inom 10-15 vardagar
TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
621 kr
Skickas inom 10-15 vardagar
815 kr
Läs direkt efter köp
TOOLympics 2023 was the third edition of a series of events to showcase competitions in the area of formal methods, colocated with the European Joint Conferences on Theory and Practice of Software (ETAPS 2023), held in April n Paris, France. The goal is to acknowledge the achievements of the various research competitions and comparative evaluations broadly related to the field of formal methods, to explain to the audience which tools from the field of formal methods they evaluate, and to understand their commonalities and differences. The developers of the participating tools typically participate in the competitions and evaluations, choosing the right parameters for the tools, or the best workflow for the approach.
A total of ten competitions joined TOOLympics in 2023 and were presented at the event: CHC-COMP, MCC, QComp, ARCH-COMP, RERS, SL-COMP, SV-COMP, Test-Comp, VerifyThis, and the VT-Long-Term Challenge. Six of these are represented in this proceedings volume as papers: ARCH-COMP, CHC-COMP, MCC, QComp, VerifyThis, and the VerifyThis Long-Term Challenge. Each of these papers was peer-reviewed in single-blind mode.
The papers will be of value to researchers and practitioners who employ formal methods approaches such as model checking, program analysis, probabilistic analysis, runtime verification, SAT solving, and SMT solving.
141 kr
Skickas inom 3-6 vardagar
372 kr
Skickas inom 3-6 vardagar
362 kr
Skickas inom 3-6 vardagar
390 kr
Skickas inom 3-6 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
566 kr
Skickas inom 10-15 vardagar
Tools and Algorithms for the Construction and Analysis of Systems
24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
566 kr
Skickas inom 10-15 vardagar
566 kr
Skickas inom 10-15 vardagar
734 kr
Läs direkt efter köp
516 kr
Skickas inom 3-6 vardagar
286 kr
Skickas inom 3-6 vardagar
244 kr
Läs direkt efter köp
561 kr
Skickas inom 3-6 vardagar