Free shipping on all orders over $79* Limited Time Only

My Wish Lists Login / Join

Results for author 'Dirk Beyer'

Refine Your Results

subjects

Business & Management

2

Computing & I.T.

6

Engineering & Technology

2

Mathematics

4

Science

4

lists

All Books

7

availability

All Books

7

price

$50 - $100

4

Over $100

3

formats

Paperbacks

6

Hardcovers

1

Language

Sort By:

Booktopia Recommends

Bestsellers

Price Low to High

Price High to Low

Most Recently Published

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 - Dirk, Ph. D. Beyer

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

Dirk, Ph. D. Beyer and Marieke Huisman

Paperback

$84.99

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, Proc - Dirk Beyer

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, Proc

Dirk Beyer and Michele Boreale

Paperback

$84.99

Markovian Demand Inventory Models : International Series in Operations Research & Management Science - Dirk Beyer

Markovian Demand Inventory Models

International Series in Operations Research & Management Science

Dirk Beyer, Feng Cheng and Suresh P. Sethi

Hardcover

$199.00

Markovian Demand Inventory Models : International Series in Operations Research & Management Science - Dirk Beyer

Markovian Demand Inventory Models

International Series in Operations Research & Management Science

Dirk Beyer, Feng Cheng and Suresh P. Sethi

Paperback

$199.00

Verification, Model Checking, and Abstract Interpretation : 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings - Damien Zufferey

Verification, Model Checking, and Abstract Interpretation

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

Damien Zufferey and Dirk, Ph. D. Beyer

Paperback

$139.00

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 - Dirk Beyer

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

Dirk Beyer and Ana Cavalcanti

Paperback

$64.56

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 - Bernhard Steffen

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

Bernhard Steffen, Marieke Huisman, Fabrice Kordon and Dirk, Ph. D. Beyer

Paperback

$84.99

7 Results