Order Total (1 Item Items):
Shipping Destination:
Steffen Bernhard Editor (45 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (45)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (43)
- As New, Fine or Near Fine (No further results match this refinement)
- Very Good or Good (2)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (45)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (No further results match this refinement)
- Not Print on Demand (38)
Language (2)
Free Shipping
- Free Shipping to U.S.A. (No further results match this refinement)
Seller Location
Seller Rating
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Computing and Software Science: State of the Art and Perspectives
Language: English
Published by Springer-Verlag New York Inc, 2019
ISBN 10: 3319919075 ISBN 13: 9783319919072
Paperback. Condition: Brand New. 590 pages. 9.00x6.00x1.25 inches. In Stock.
-
Bridging the Gap Between Ai and Reality: Third International Conference on Bridging the Gap Between Ai and Reality, Aisola 2025, Rhodes, Greece, November 15, 2025, Selected Papers
Language: English
Published by Springer-Nature New York Inc, 2025
ISBN 10: 3032071313 ISBN 13: 9783032071316
Paperback. Condition: Brand New. 180 pages. 9.25x6.10x9.21 inches. In Stock.
-
Paperback. Condition: Brand New. 260 pages. 9.25x6.10x9.21 inches. In Stock.
-
Paperback. Condition: Brand New. 222 pages. 6.14x0.47x9.21 inches. In Stock.
-
Bridging the Gap Between Ai and Reality: Second International Conference, Aisola 2024, Crete, Greece, October 30 November 3, 2024, Selected Papers
Language: English
Published by Springer-Nature New York Inc, 2025
ISBN 10: 3032013763 ISBN 13: 9783032013767
Paperback. Condition: Brand New. 450 pages. 9.25x6.10x9.25 inches. In Stock.
-
Paperback. Condition: Brand New. revised edition. 273 pages. 9.20x6.10x0.80 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation - Tools and Trends: 9th International Symposium on Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 20-30, 2020, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2021
ISBN 10: 303083722X ISBN 13: 9783030837228
Paperback. Condition: Brand New. 277 pages. 9.25x6.10x0.59 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium: 12th International Symposium, Isola 2024, Crete, Greece, October 2731, 2024, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031737083 ISBN 13: 9783031737084
Paperback. Condition: Brand New. 443 pages. 9.25x6.10x9.21 inches. In Stock.
-
Paperback. Condition: Brand New. 2012 edition. 377 pages. 9.20x6.10x0.90 inches. In Stock.
-
Real Time and Such: Essays Dedicated to Wang Yi to Celebrate His Scientific Career
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031737504 ISBN 13: 9783031737503
Paperback. Condition: Brand New. 160 pages. 9.25x6.10x9.21 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation: Applications: 9th International Symposium on Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 2030, 2020, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2020
ISBN 10: 3030614662 ISBN 13: 9783030614669
Paperback. Condition: Brand New. 490 pages. 9.25x6.10x1.18 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation - Verification: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2018
ISBN 10: 3030034208 ISBN 13: 9783030034207
Paperback. Condition: Brand New. 512 pages. 9.25x6.10x1.22 inches. In Stock.
-
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 611, 2019, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2019
ISBN 10: 3030175014 ISBN 13: 9783030175016
Paperback. Condition: Brand New. 288 pages. 9.25x6.10x0.71 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification, and Validation: 4th International Symposium on Leveraging Applications, Isola 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2010
ISBN 10: 3642165605 ISBN 13: 9783642165603
Paperback. Condition: Brand New. 500 pages. 9.00x6.00x0.75 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation - Distributed Systems: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2018
ISBN 10: 3030034232 ISBN 13: 9783030034238
Paperback. Condition: Brand New. 536 pages. 9.25x6.10x1.26 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation - Industrial Practice: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2018
ISBN 10: 3030034267 ISBN 13: 9783030034269
Paperback. Condition: Brand New. 544 pages. 9.25x6.10x1.50 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles: 9th International Symposium on Leveraging Applications of Formal Methods, Isola 2020, Rhodes, Greece, October 2030, 2020, Pro
Language: English
Published by Springer-Nature New York Inc, 2020
ISBN 10: 3030614697 ISBN 13: 9783030614690
Paperback. Condition: Brand New. 544 pages. 9.25x6.10x1.14 inches. In Stock.
-
Paperback. Condition: Brand New. 2012 edition. 633 pages. 9.20x6.10x1.40 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation - Modeling: 8th International Symposium, Isola 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2018
ISBN 10: 3030034178 ISBN 13: 9783030034177
Paperback. Condition: Brand New. 606 pages. 9.25x6.10x1.50 inches. In Stock.
-
Formal Methods for Industrial Critical Systems: 30th International Conference, Fmics 2025, Aarhus, Denmark, August 2728, 2025, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2025
ISBN 10: 3032009413 ISBN 13: 9783032009418
Paperback. Condition: Brand New. 307 pages. 9.26x6.11x9.21 inches. In Stock.
-
Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissimination, Applications; 7th International Symposium, Isola 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3319471686 ISBN 13: 9783319471686
Paperback. Condition: Brand New. 894 pages. 9.25x6.10x1.73 inches. In Stock.
-
paperback. Condition: New. In shrink wrap. Looks like an interesting title!
-
Paperback. Condition: Brand New. 419 pages. 6.14x0.86x9.21 inches. In Stock.
-
Transactions on Foundations for Mastering Change: Vol 1
Language: English
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3319465074 ISBN 13: 9783319465074
Paperback. Condition: Brand New. 272 pages. 9.25x6.10x0.62 inches. In Stock.
-
Paperback. Condition: Brand New. 342 pages. 6.14x0.72x9.21 inches. In Stock.
-
Sofsem 2017: Theory and Practice of Computer Science, Proceedings
Language: English
Published by Springer-Verlag New York Inc, 2017
ISBN 10: 331951962X ISBN 13: 9783319519623
Paperback. Condition: Brand New. 544 pages. 9.25x6.10x1.23 inches. In Stock.
-
Bridging the Gap Between Ai and Reality: First International Conference, Aisola 2023, Crete, Greece, October 23-28, 2023, Proceedings
Language: English
Published by Springer-Nature New York Inc, 2024
ISBN 10: 3031460014 ISBN 13: 9783031460012
Paperback. Condition: Brand New. 469 pages. 9.25x6.10x0.95 inches. In Stock.
-
Paperback. Condition: Brand New. 483 pages. 9.25x6.10x9.21 inches. In Stock.
