Autore: Dirk Beyer

Supporto

10 Ebook di Dirk Beyer

Dirk Beyer & Feng Cheng: Markovian Demand Inventory Models
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 t …
PDF
Inglese
€117.69
Dirk Beyer: Theoretische und methodische Ansätze zum Innovationsmarketing
Projektarbeit aus dem Jahr 2013 im Fachbereich BWL – Unternehmensführung, Management, Organisation, Fernfachhochschule Schweiz, Sprache: Deutsch, Abstract: Das Ziel der vorliegenden Arbeit ist, die v …
PDF
Tedesco
€18.99
Dirk Beyer & Marieke Huisman: Tools and Algorithms for the Construction and Analysis of Systems
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 …
EPUB
Inglese
DRM
€3.85
Dirk Beyer & Marieke Huisman: Tools and Algorithms for the Construction and Analysis of Systems
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 a …
EPUB
Inglese
DRM
€3.84
Dirk Beyer & Michele Boreale: Formal Techniques for Distributed Systems
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 Inte …
PDF
Inglese
DRM
€57.60
Dirk Beyer & Chantal Keller: Tests and Proofs
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 …
EPUB
Inglese
DRM
€57.76
Dirk Beyer & Damien Zufferey: Verification, Model Checking, and Abstract Interpretation
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 carefu …
EPUB
Inglese
DRM
€90.03
Dirk Beyer & Marieke Huisman: Tools and Algorithms for the Construction and Analysis of Systems
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 …
EPUB
Inglese
DRM
€3.84
Dirk Beyer & Sandra Kirchner-Khairy: Wert- und risikoorientiertes Controlling
Operative und strategische Ansatzpunkte für die unternehmenswertorientierte Steuerung eines Unternehmens Unternehmenswerte stehen im Zentrum vielfältigster Entscheidungen und Transaktionen. Ihre Höhe …
PDF
Tedesco
€35.99
Dirk Beyer & Arnd Hartmanns: TOOLympics Challenge 2023
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 (E …
EPUB
Inglese
DRM
€141.52