Dirk Beyer – författare & böcker

Markovian Demand Inventory Models

AvDirk Beyer,Feng Chengm. fl.

Inbunden, Engelska, 2009

1 729 kr

Skickas inom 10-15 vardagar

Del 108

Del 108 - International Series in Operations Research & Management Science

Markovian Demand Inventory Models

AvDirk Beyer,Feng Chengm. fl.

Häftad, Engelska, 2012

1 729 kr

Skickas inom 10-15 vardagar

Del 11429

Del 11429 - Lecture Notes in Computer Science

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

AvDirk Beyer,Marieke Huismanm. fl.

Häftad, Engelska, 2019

749 kr

Skickas inom 10-15 vardagar

Del 11823

Del 11823 - Lecture Notes in Computer Science

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

AvDirk Beyer,Chantal Keller

Häftad, Engelska, 2019

749 kr

Skickas inom 10-15 vardagar

Del 11990

Del 11990 - Lecture Notes in Computer Science

Verification, Model Checking, and Abstract Interpretation

21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020, Proceedings

AvDirk Beyer,Damien Zufferey

Häftad, Engelska, 2020

1 189 kr

Skickas inom 10-15 vardagar

Del 14573

Del 14573 - Lecture Notes in Computer Science

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

AvDirk Beyer,Ana Cavalcanti

Häftad, Engelska, 2024

599 kr

Skickas inom 10-15 vardagar

Del 14550

Del 14550 - Lecture Notes in Computer Science

TOOLympics Challenge 2023

Updates, Results, Successes of the Formal-Methods Competitions

AvDirk Beyer,Arnd Hartmannsm. fl.

Häftad, Engelska, 2024

819 kr

Skickas inom 10-15 vardagar

Voices of Africa - Nigeria

AvDirk Beyer

Häftad, Engelska, 2019

189 kr

Skickas inom 3-6 vardagar

Teaching Compendium: Multiliteracies

AvDirk Beyer,Nilgül Karabulut-Klöppelt

Häftad, Tyska, 2025

479 kr

Skickas inom 3-6 vardagar

Teaching Compendium: Digital Tools and Literature

AvDirk Beyer

Häftad, Engelska, 2021

489 kr

Skickas inom 3-6 vardagar

Teaching Compendium Teaching Drama

AvDirk Beyer

Häftad, Engelska, 2025

479 kr

Skickas inom 3-6 vardagar

Internatspädagogik

AvDirk Beyer

Häftad, Tyska

519 kr

Skickas inom 3-6 vardagar

Del 10805

Del 10805 - Lecture Notes in Computer Science

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

AvDirk Beyer,Marieke Huisman

Häftad, Engelska, 2018

749 kr

Skickas inom 10-15 vardagar

Del 10806

Del 10806 - Lecture Notes in Computer Science

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

AvDirk Beyer,Marieke Huisman

Häftad, Engelska, 2018

749 kr

Skickas inom 10-15 vardagar

Digitale Transformation an Schulen gestalten

AvDirk Beyer

Häftad, Tyska, 2026

479 kr

Skickas inom 3-6 vardagar

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

AvDirk Beyer,Michele Boreale

Häftad, Engelska, 2013

749 kr

Skickas inom 10-15 vardagar