1 326 kr
Skickas inom 10-15 vardagar
1 326 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.
1 326 kr
Skickas inom 10-15 vardagar
25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part III
573 kr
Skickas inom 10-15 vardagar
13th International Conference, TAP 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9–11, 2019, Proceedings
573 kr
Skickas inom 10-15 vardagar
739 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.
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
913 kr
Skickas inom 10-15 vardagar
1 138 kr
Läs direkt efter köp
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
460 kr
Skickas inom 10-15 vardagar
Updates, Results, Successes of the Formal-Methods Competitions
630 kr
Skickas inom 10-15 vardagar
821 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.
145 kr
Skickas inom 3-6 vardagar
369 kr
Skickas inom 3-6 vardagar
373 kr
Skickas inom 3-6 vardagar
369 kr
Skickas inom 3-6 vardagar
397 kr
Skickas inom 3-6 vardagar
388 kr
Läs direkt efter köp
388 kr
Läs direkt efter köp
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
573 kr
Skickas inom 10-15 vardagar
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
573 kr
Skickas inom 10-15 vardagar
361 kr
Skickas inom 3-6 vardagar
573 kr
Skickas inom 10-15 vardagar
734 kr
Läs direkt efter köp
532 kr
Skickas inom 3-6 vardagar
319 kr
Skickas inom 5-8 vardagar
294 kr
Skickas inom 3-6 vardagar
255 kr
Läs direkt efter köp
210 kr
Skickas inom 3-6 vardagar
579 kr
Skickas inom 3-6 vardagar