{"title":"Dirk Beyer Ph D","description":null,"products":[{"product_id":"markovian-demand-inventory-models-book-dirk-beyer-ph-d-9780387716039","title":"Markovian Demand Inventory Models","description":"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.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51001958367505,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51001960726801,"sku":"NIN9780387716039","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52533755379985,"sku":"NLS9780387716039","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/0387716033.jpg?v=1785785076"},{"product_id":"toolympics-challenge-2023-book-dirk-beyer-ph-d-9783031676949","title":"TOOLympics Challenge 2023","description":"\u003cp\u003eTOOLympics 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 in 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.\u003c\/p\u003e\n\u003cp\u003eA 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.\u003c\/p\u003e\n\u003cp\u003eThe 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.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51132817604881,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51132820160785,"sku":"NIN9783031676949","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ GARDNERS","offer_id":51717910724881,"sku":"NGR9783031676949","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3031676947.jpg?v=1785811909"},{"product_id":"theoretische-und-methodische-ansatze-zum-innovationsmarketing-book-dirk-beyer-ph-d-9783656480310","title":"Theoretische und methodische Ansätze zum Innovationsmarketing","description":null,"brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51155789480209,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51155789906193,"sku":"NIN9783656480310","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3656480311.jpg?v=1751416110"},{"product_id":"tools-and-algorithms-for-the-construction-and-analysis-of-systems-book-dirk-beyer-ph-d-9783319899596","title":"Tools and Algorithms for the Construction and Analysis of Systems","description":"This book is Open Access under a CC BY licence. \u003cp\u003eThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.\u003c\/p\u003e\n\n\u003cp\u003eThe total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:\u003c\/p\u003e\n\n\u003cp\u003ePart I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.\u003c\/p\u003e\n\n\u003cp\u003ePart II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7\u003csup\u003eth\u003c\/sup\u003e Competition on Software Verification – SV-COMP.\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52089108693265,"sku":"NLS9783319899596","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319899596.jpg?v=1756905786"},{"product_id":"verification-model-checking-and-abstract-interpretation-book-dirk-beyer-ph-d-9783030393212","title":"Verification, Model Checking, and Abstract Interpretation","description":"This book constitutes the proceedings of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2020. The 21 papers presented in this volume were carefully reviewed from 44 submissions. VMCAI provides a forum for researchers from the communities of verification, model checking, and abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":52117729018129,"sku":"NGR9783030393212","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52538956382481,"sku":"NLS9783030393212","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030393212.jpg?v=1785769104"},{"product_id":"formal-techniques-for-distributed-systems-book-dirk-beyer-ph-d-9783642385919","title":"Formal Techniques for Distributed Systems","description":"This book constitutes the refereed proceedings of the 15th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2013, and the 33rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2013, held in Florence, Italy, in June 2013, as part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013. The 20 revised full papers presented were carefully reviewed and selected from 39 submissions. The papers present a wide range of topics combining theory and practice. They cover distributed computing models and formal specification, testing, and verification methods as well as application domains such as application-level distributed systems, telecommunication services, Internet, embedded and real-time systems, and networking and communication security and reliability.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52120614338833,"sku":"NLS9783642385919","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642385919.jpg?v=1757426483"},{"product_id":"tools-and-algorithms-for-the-construction-and-analysis-of-systems-book-dirk-beyer-ph-d-9783319899626","title":"Tools and Algorithms for the Construction and Analysis of Systems","description":"\u003cp\u003eThis book is Open Access under a CC BY licence.\u003c\/p\u003e\u003cp\u003eThe LNCS 10805 and 10806 proceedings set constitutes the proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2018.\u003c\/p\u003e\u003cp\u003eThe total of 43 full and 11 short papers presented in these volumes was carefully reviewed and selected from 154submissions. The papers are organized in topical sections as follows:\u003c\/p\u003e\u003cp\u003ePart I: theorem proving; SAT and SMT I; deductive verification; software verification and optimization; model checking; and machine learning.\u003c\/p\u003e\u003cp\u003e \u003c\/p\u003ePart II: concurrent and distributed systems; SAT and SMT II; security and reactive systems; static and dynamic program analysis; hybrid and stochastic systems; temporal logic and mu-calculus; 7\u003csup\u003eth\u003c\/sup\u003e Competition on Software Verification – SV-COMP.\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52143747596561,"sku":"NLS9783319899626","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783319899626.jpg?v=1789126146"},{"product_id":"tools-and-algorithms-for-the-construction-and-analysis-of-systems-book-dirk-beyer-ph-d-9783030175016","title":"Tools and Algorithms for the Construction and Analysis of Systems","description":"\u003cp\u003eThis book is Open Access under a CC BY licence.\u003c\/p\u003e\n\n\u003cp\u003eThis book, LNCS 11429, is part III of the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. It's a special volume on the occasion of the 25 year anniversary of TACAS.\u003cbr\u003e\u003c\/p\u003e\n\n\u003cp\u003e\u003cbr\u003e\u003c\/p\u003e","brand":"WoB","offers":[{"title":"GB \/ NEW \/ GARDNERS","offer_id":52151952113937,"sku":"NGR9783030175016","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52589758415121,"sku":"NLS9783030175016","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030175016.jpg?v=1789130621"},{"product_id":"tests-and-proofs-book-dirk-beyer-ph-d-9783030311568","title":"Tests and Proofs","description":"\u003cp\u003eThis 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.\u003cbr\u003e 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.\u003cb\u003e\u003c\/b\u003e\u003c\/p\u003e","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52431356952849,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52431357575441,"sku":"NLS9783030311568","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783030311568.jpg?v=1759172274"},{"product_id":"markovian-demand-inventory-models-book-dirk-beyer-ph-d-9781461424666","title":"Markovian Demand Inventory Models","description":"This text provides a superbly researched insight into Markovian demand inventory models. The central 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.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52522580476177,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52522580803857,"sku":"NLS9781461424666","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9781461424666.jpg?v=1786614563"},{"product_id":"fundamental-approaches-to-software-engineering-book-dirk-beyer-ph-d-9783031572586","title":"Fundamental Approaches to Software Engineering","description":"This open access book constitutes the proceedings of the 27th International Conference on Fundamental Approaches to Software Engineering, FASE 2024, held in conjunction with ETAPS 2024 which took place in Luxembourg in April 2024. \u003cbr\u003eThe 14 full papers included in this book were carefully reviewed and selected from 41 submission. The proceedings also include 5 short papers from the Test-Comp 2024 event that was hosted by FASE. They deal with the broad field of software engineering, focusing on requirements, design, architecture, modeling, applications of AI to software engineering and software engineering for AI-based systems, quality, model-driven engineering, processes, and software evolution.","brand":"WoB","offers":[{"title":"GB \/ NEW \/ INGRAM","offer_id":52584815100177,"sku":"NLS9783031572586","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783031572586.jpg?v=1789210327"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-dirk-beyer-ph-d.oembed","provider":"World of Books ","version":"1.0","type":"link"}