Magers & Quinn Booksellers

Cancel

Filters

Selected

Steffen, Bernhard

Condition

New

Used

Collectible

Availability

On Our Shelves

Ships from Warehouse

Format

Hardcover

Paperback

Audio Book

Languages

English

Spanish

Italian

French

Swedish

German

Norwegian

Danish

Finnish

Latin

Price

Back

Steffen, Bernhard

Filters

Sort by

Karten Von Mykenai: Auf Veranlassung Des Deutschen Archaologischen Instituts Aufgenommen Und Mit Erlauterndem Text

Steffen, Bernhard

Paperback

$17.75

Karten Von Mykenai: Auf Veranlassung Des Deutschen Archäologischen Instituts Aufgenommen Und Mit Erläuterndem Text

Steffen, Bernhard

Hardcover

$37.44

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part of the Joint European Conferen

Steffen, Bernhard

Paperback

$54.99

Bridging the Gap Between AI and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Proceedings

Steffen, Bernhard

Paperback

$79.99

Bridging the Gap Between AI and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Steffen, Bernhard

Paperback

$139.99

Bridging the Gap Between AI and Reality: Second International Conference, Aisola 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings

Steffen, Bernhard

Paperback

$79.99

Transactions on Foundations for Mastering Change I

Steffen, Bernhard

Paperback

$54.99

Bridging the Gap Between AI and Reality: Second International Conference, Aisola 2024, Crete, Greece, October 30 - November 3, 2024, Selected Papers

Steffen, Bernhard

Paperback

$49.99

Bridging the Gap Between AI and Reality: Third International Conference on Bridging the Gap Between AI and Reality, Aisola 2025, Rhodes, Greece, Novem

Steffen, Bernhard

Paperback

$69.99

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre

Margaria, Tiziana

Steffen, Bernhard

Paperback

$99.99

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISOLA 20

Margaria, Tiziana

Steffen, Bernhard

Paperback

$54.99

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal

Margaria, Tiziana

Steffen, Bernhard

Paperback

$54.99

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion

Margaria, Tiziana

Steffen, Bernhard

Paperback

$153.99

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November

Margaria, Tiziana

Steffen, Bernhard

Paperback

$54.99

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion,

Margaria, Tiziana

Steffen, Bernhard

Paperback

$54.99

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings

Steffen, Bernhard

Levi, Giorgio

Paperback

$54.99

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 27 - 29, 1996, Pro

Margaria, Tiziana

Steffen, Bernhard

Paperback

$54.99

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, Isola 20

Steffen, Bernhard

Margaria, Tiziana

Paperback

$54.99

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co

Margaria, Tiziana

Steffen, Bernhard

Paperback

$109.99

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, Isola 2022, Rhodes, Gre

Margaria, Tiziana

Steffen, Bernhard

Paperback

$79.99

Filters

Selected

Category

Condition

Availability

Format

Languages

Price

Steffen, Bernhard

Karten Von Mykenai: Auf Veranlassung Des Deutschen Archaologischen Instituts Aufgenommen Und Mit Erlauterndem Text

Karten Von Mykenai: Auf Veranlassung Des Deutschen Archäologischen Instituts Aufgenommen Und Mit Erläuterndem Text

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part of the Joint European Conferen

Bridging the Gap Between AI and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Proceedings

Bridging the Gap Between AI and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Bridging the Gap Between AI and Reality: Second International Conference, Aisola 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings

Transactions on Foundations for Mastering Change I

Bridging the Gap Between AI and Reality: Second International Conference, Aisola 2024, Crete, Greece, October 30 - November 3, 2024, Selected Papers

Bridging the Gap Between AI and Reality: Third International Conference on Bridging the Gap Between AI and Reality, Aisola 2025, Rhodes, Greece, Novem

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISOLA 20

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion,

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 27 - 29, 1996, Pro

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, Isola 20

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, Isola 2022, Rhodes, Gre

Loading

You have reached the end of the list.
Return to the top.

Filters

Selected

Category

Condition

Availability

Format

Languages

Price

Steffen, Bernhard

Karten Von Mykenai: Auf Veranlassung Des Deutschen Archaologischen Instituts Aufgenommen Und Mit Erlauterndem Text

Karten Von Mykenai: Auf Veranlassung Des Deutschen Archäologischen Instituts Aufgenommen Und Mit Erläuterndem Text

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, Tacas'98, Held as Part of the Joint European Conferen

Bridging the Gap Between AI and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Proceedings

Bridging the Gap Between AI and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Selected Papers

Bridging the Gap Between AI and Reality: Second International Conference, Aisola 2024, Crete, Greece, October 30 - November 3, 2024, Proceedings

Transactions on Foundations for Mastering Change I

Bridging the Gap Between AI and Reality: Second International Conference, Aisola 2024, Crete, Greece, October 30 - November 3, 2024, Selected Papers

Bridging the Gap Between AI and Reality: Third International Conference on Bridging the Gap Between AI and Reality, Aisola 2025, Rhodes, Greece, Novem

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, Isola 2022, Rhodes, Gre

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISOLA 20

Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November

Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, ISoLA 2010 Heraklion,

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, Vmcai 2004, Venice, January 11-13, 2004, Proceedings

Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, Tacas '96, Passau, Germany, March 27 - 29, 1996, Pro

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, Isola 20

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, Isola 2016, Imperial, Co

Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, Isola 2022, Rhodes, Gre

Loading

You have reached the end of the list. Return to the top.

You have reached the end of the list.
Return to the top.