Dirk Beyer – författare
Visar alla böcker från författaren Dirk Beyer. Handla med fri frakt och snabb leverans.
29 produkter
Markovian Demand Inventory Models
Av Dirk Beyer, Feng Cheng m. fl.
Inbunden, 2009
1314 kr
Lägg i varukorg
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 …
Markovian Demand Inventory Models
Av Michael Taksar, Suresh P. Sethi m. fl.
E-bok, 2009
1785 kr
Lägg i varukorg
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 …
Markovian Demand Inventory Models
Av Dirk Beyer, Feng Cheng m. fl.
Häftad, 2012
1314 kr
Lägg i varukorg
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 …
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
Av Dirk Beyer, Marieke Huisman m. fl.
Häftad, 2019
567 kr
Lägg i varukorg
This book is Open Access under a CC BY licence.This 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 …
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
Häftad, 2019
567 kr
Lägg i varukorg
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 …
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
E-bok, 2019
755 kr
Lägg i varukorg
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 …
Verification, Model Checking, and Abstract Interpretation
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Av Dirk Beyer, Damien Zufferey
Häftad, 2020
904 kr
Lägg i varukorg
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
21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings
Av Damien Zufferey, Dirk Beyer
E-bok, 2020
1138 kr
Lägg i varukorg
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 …
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
Häftad, 2024
456 kr
Lägg i varukorg
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. The 14 full papers included in this book were carefully reviewed and …
TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Av Dirk Beyer, Arnd Hartmanns m. fl.
Häftad, 2024
624 kr
Lägg i varukorg
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 in Paris, France. The goal is to acknowledge the achievements of the …
TOOLympics Challenge 2023
Updates, Results, Successes of the Formal-Methods Competitions
Av Fabrice Kordon, Arnd Hartmanns m. fl.
E-bok, 2024
821 kr
Lägg i varukorg
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 …
Teaching Compendium: Multiliteracies
Av Dirk Beyer, Nilgül Karabulut-Klöppelt
Häftad, 2025
380 kr
Lägg i varukorg
Internatspädagogik
Ein Handbuch
Av Dirk Beyer
E-bok, 2026
396 kr
Lägg i varukorg
Die Gründe, warum Kinder und Jugendliche ein Internat besuchen, sind vielfältig. Für die Entscheidung spricht: Internate sind nicht nur nur Bildungseinrichtungen; sie bieten darüber hinaus eine ideale Umgebung zum Lernen, Wachsen und gemeinschaftlichen Agieren. Eine fundierte Internatspädagogik ist …
Internatspädagogik
Ein Handbuch
Av Dirk Beyer
E-bok, 2026
396 kr
Lägg i varukorg
Die Gründe, warum Kinder und Jugendliche ein Internat besuchen, sind vielfältig. Für die Entscheidung spricht: Internate sind nicht nur nur Bildungseinrichtungen; sie bieten darüber hinaus eine ideale Umgebung zum Lernen, Wachsen und gemeinschaftlichen Agieren. Eine fundierte Internatspädagogik ist …
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
Av Dirk Beyer, Marieke Huisman
Häftad, 2018
568 kr
Lägg i varukorg
This book is Open Access under a CC BY licence. The 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 …
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
Av Dirk Beyer, Marieke Huisman
Häftad, 2018
568 kr
Lägg i varukorg
This book is Open Access under a CC BY licence.The 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 …
Formal Techniques for Distributed Systems
Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
Av Dirk Beyer, Michele Boreale
Häftad, 2013
568 kr
Lägg i varukorg
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 …
Formal Techniques for Distributed Systems
Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings
Av Michele Boreale, Dirk Beyer
E-bok, 2013
734 kr
Lägg i varukorg
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 …
Theoretische und methodische Ansätze zum Innovationsmarketing
Eine empirische Untersuchung in der Deutschschweiz
Av Dirk Beyer
Häftad, 2013
551 kr
Lägg i varukorg
Band 2 Womens High Performance Football
Kognitive Spielintelligenz, Pressing Und Emotionale Regulation Im Frauenfussball
Av Dirk Beyer
Häftad, 2026
319 kr
Lägg i varukorg
Künstliche Intelligenz im Englischunterricht
Potenziale und unterrichtspraktische Anwendung
Av Dirk Beyer
E-bok, 2025
260 kr
Lägg i varukorg
So setzen Sie KI im Englischunterricht souverän einLesen, Schreiben, Sprechen und Verstehen - dabei handelt es sich nicht nur um die zentralen Sprachfertigkeiten, die Sie im Englischunterricht lehren. Gleichzeitig sind es die Bereiche, in denen Künstliche Intelligenzen (KI) und insbesondere …
Comment & Co. - Summarizing Information and Forming Opinions
Av Dirk Beyer, Die Sprachezeitung
Häftad, 2023
214 kr
Lägg i varukorg
Wert- und risikoorientiertes Controlling
Av Dirk Beyer, Sandra Kirchner-Khairy
Inbunden, 2024
579 kr
Lägg i varukorg
