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

My Wish Lists Login / Join

Results for author 'Bernd Finkbeiner'

Refine Your Results

subjects

Computing & I.T.

5

Mathematics

2

Reference, Information & Interdisciplinary Subjects

1

Science

2

lists

All Books

5

availability

All Books

5

price

$50 - $100

5

formats

Paperbacks

5

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 : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Pr - Bernd Finkbeiner

Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Pr

Bernd Finkbeiner and Laura KovÃ¡cs

Paperback

$64.56

Automated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings - Bernd Finkbeiner

Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

Bernd Finkbeiner, Lijun Zhang and Geguang Pu

Paperback

$84.99

Fields of Logic and Computation II : Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday - Andreas Blass

Fields of Logic and Computation II

Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday

Andreas Blass, Wolfram Schulte, Nachum Dershowitz, Lev D. Beklemishev and Bernd Finkbeiner

Paperback

$84.99

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Pr - Bernd Finkbeiner

Tools and Algorithms for the Construction and Analysis of Systems

30th International Conference, TACAS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6-11, 2024, Pr

Bernd Finkbeiner and Laura KovÃ¡cs

Paperback

$64.56

Fields of Logic and Computation III : Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday - Andreas Blass

Fields of Logic and Computation III

Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday

Andreas Blass, Patrick Cegielski, Nachum Dershowitz, Manfred Droste and Bernd Finkbeiner

Paperback

$84.99

5 Results