Zoeken

U zocht naar: Auteur Beyer, Dirk. Filter Auteur: Beyer, Dirk. weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competitions
thumbnail
Full text!
Auteur:
Beyer, Dirk.; Hartmanns, Arnd; Kordon, Fabrice
Uitgever:
Cham Springer 2024
Type:
e-book
2. Markovian Demand Inventory Models
thumbnail
Full text!
Auteur:
Beyer, Dirk; Cheng, Feng; Sethi, Suresh P.; Taksar, Michael; Feng Cheng; Michael Taksar; Suresh P. Sethi
Uitgever:
Springer US 2010
Type:
e-book