Showing 1 - 15 of 15 Results
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
5.
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
7.
Formal Techniques for Distributed Systems by Beyer, Dirk, Boreale, Michele ISBN: 9783642385933 List Price: $24.99
8.
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
14.
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