1 329 kr
Skickas inom 10-15 vardagar
1 329 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 329 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
574 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
574 kr
Skickas inom 10-15 vardagar
732 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
915 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
461 kr
Skickas inom 10-15 vardagar
Updates, Results, Successes of the Formal-Methods Competitions
631 kr
Skickas inom 10-15 vardagar
813 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.
144 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
384 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
574 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
574 kr
Skickas inom 10-15 vardagar
361 kr
Skickas inom 3-6 vardagar
574 kr
Skickas inom 10-15 vardagar
734 kr
Läs direkt efter köp
532 kr
Skickas inom 3-6 vardagar
316 kr
Skickas inom 5-8 vardagar
294 kr
Skickas inom 3-6 vardagar
252 kr
Läs direkt efter köp
210 kr
Skickas inom 3-6 vardagar