Ph. D. Beyer, Dirk - Böcker

Visar alla böcker från författaren Ph. D. Beyer, Dirk.
7 produkter
Dirk Beyer, Feng Cheng, Suresh P. Sethi, Michael Taksar, Ph. D. Beyer, Dirk, Suresh P Sethi - Markovian Demand Inventory Models, Inbunden
Del 108 - International Series in Operations Research & Management Science

Markovian Demand Inventory Models

Av Dirk Beyer, Feng Cheng, Suresh P. Sethi, Michael Taksar, Ph. D. Beyer, Dirk, Suresh P Sethi

Inbunden, Engelska, 2009

1 699 kr

Skickas inom 10-15 vardagar
Dirk Beyer, Chantal Keller, Ph. D. Beyer, Dirk - Tests and Proofs, Häftad

Tests and Proofs

Av Dirk Beyer, Chantal Keller, Ph. D. Beyer, Dirk

Häftad, Engelska, 2019

739 kr

Skickas inom 10-15 vardagar
Dirk Beyer, Damien Zufferey, Ph. D. Beyer, Dirk - Verification, Model Checking, and Abstract Interpretation, Häftad

Verification, Model Checking, and Abstract Interpretation

Av Dirk Beyer, Damien Zufferey, Ph. D. Beyer, Dirk

Häftad, Engelska, 2020

1 179 kr

Skickas måndag 17/11
Dirk Beyer, Arnd Hartmanns, Fabrice Kordon, Ph. D. Beyer, Dirk - TOOLympics Challenge 2023, Häftad
Del 14550 - Lecture Notes in Computer Science

TOOLympics Challenge 2023

Av Dirk Beyer, Arnd Hartmanns, Fabrice Kordon, Ph. D. Beyer, Dirk

Häftad, Engelska, 2024

869 kr

Skickas inom 10-15 vardagar
Dirk Beyer, Marieke Huisman, Ph. D. Beyer, Dirk - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Dirk Beyer, Marieke Huisman, Ph. D. Beyer, Dirk

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar
Dirk Beyer, Marieke Huisman, Ph. D. Beyer, Dirk - Tools and Algorithms for the Construction and Analysis of Systems, Häftad

Tools and Algorithms for the Construction and Analysis of Systems

Av Dirk Beyer, Marieke Huisman, Ph. D. Beyer, Dirk

Häftad, Engelska, 2018

739 kr

Skickas inom 10-15 vardagar