1.
Markovian Demand Inventory Models
by Beyer, Dirk, Cheng, Feng, S...
ISBN: 9780387716039
List Price: $139.00
2.
Formal Techniques for Distributed Systems : Joint IFIP WG 6. 1 International Conferences, FM...
by Beyer, Dirk, Boreale, Michele
ISBN: 9783642385919
List Price: $108.00
4.
Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of the Third World C...
by Beyer, Dirk, Keller, Chantal
ISBN: 9783030311568
List Price: $69.99
OUT OF STOCK
See Availability on Amazon5.
Verification, Model Checking, and Abstract Interpretation : 21st International Conference, V...
by Beyer, Dirk, Zufferey, Damien
ISBN: 9783030393212
List Price: $89.99
6.
Theoretische und Methodische Ansatze Zum Innovationsmarketing
by Beyer, Dirk
ISBN: 9783656480310
List Price: $58.90
OUT OF STOCK
See Availability on Amazon7.
Formal Techniques for Distributed Systems
by Beyer, Dirk, Boreale, Michele
ISBN: 9783642385933
List Price: $24.99
OUT OF STOCK
See Availability on Amazon8.
Tools and Algorithms for the Construction and Analysis of Systems : 24th International Confe...
by Beyer, Dirk, Huisman, Marieke
ISBN: 9783319899626
List Price: $59.99
9.
Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer...
by Beyer, Dirk, Huisman, Marieke
ISBN: 9783319899596
List Price: $59.99
10.
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Confer...
by Marieke Huisman, Dirk Beyer
ISBN: 9781013278396
OUT OF STOCK
See Availability on Amazon11.
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Confer...
by Dirk Beyer, Marieke Huisman
ISBN: 9781013278419
OUT OF STOCK
See Availability on Amazon12.
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Confer...
by Dirk Beyer, Marieke Huisman
ISBN: 9781013278402
OUT OF STOCK
See Availability on Amazon13.
Tools and Algorithms for the Construction and Analysis of Systems: 24th International Confer...
by Marieke Huisman, Dirk Beyer
ISBN: 9781013278389
OUT OF STOCK
See Availability on Amazon14.
Fundamental Approaches to Software Engineering : 27th International Conference, FASE 2024, H...
by Beyer, Dirk, Cavalcanti, Ana
ISBN: 9783031572586
List Price: $49.99
15.
TOOLympics Challenge 2023 : Updates, Results, Successes of the Formal-Methods Competition
by Beyer, Dirk, Hartmanns, Arn...
ISBN: 9783031676949
List Price: $54.99