Bernhard Steffen U A (44 results)
Jahres- und Tagungsbericht der Görres-Gesellschaft 1995.
Bogerts, Bernhard, Wolfgang Frühwald Steffen Heitmann u. a.:
Language: German
Published by Görres-Gesellschaft, 1995
- Softcover
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germanybooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contact seller5-star sellerCondition: Used - Very good
£ 3.04
£ 13.64 shippingShips from Germany to U.S.A.Quantity: 1 available
Add to basketBroschiert. Condition: Gut. 253 Seiten; Das Buch befindet sich in einem sehr ordentlich erhaltenen Zustand. Sprache: Deutsch Gewicht in Gramm: 425.
Services and visualization ; towards user-friendly design ; Lecture notes in computer science ; Vol. 1385
Margaria-Steffen, Tiziana, Roland Rückert Tiziana Margaria u. a.:
Language: English
Published by Berlin ; Heidelberg ; Singapore ; Tokyo ; New York ; Barcelona ; Budapest ; Hong Kong ; London ; Milan ; Paris ; Santa Clara : Springer, 1998
- Softcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, GermanyRoland Antiquariat UG haftungsbeschränkt
Contact seller5-star sellerCondition: Used
£ 51.18
£ 35.92 shippingShips from Germany to U.S.A.Quantity: 1 available
Softcover. 322 p. Good condition. Reading pages are clean and without markings. Book shows slight signs of storage or use. Binding slightly stained. Spine with reading grooves. Otherwise a good copy. 9783540643678 Sprache: Englisch Gewicht in Gramm: 454.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 28.58
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Computing and Software Science | State of the Art and Perspectives | Bernhard Steffen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xix | Englisch | 2019 | Springer | EAN 9783319919072 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juerge…n[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 30.96
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Mathematical Foundations of Advanced Informatics | Volume 1: Inductive Approaches | Bernhard Steffen (u. a.) | Taschenbuch | xxvii | Englisch | 2019 | Springer | EAN 9783030098339 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]s…pringer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 36.51
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Let's Talk AI | Interdisciplinarity Is a Must | Barbara Steffen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xv | Englisch | 2025 | Springer | EAN 9783032090072 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]sprin…ger[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems | 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III | Tiziana Margaria (u. a.) | Taschenbuch | xiv | Englisch | 2018 | Springer | EAN 9783030034238 | Verantwo…rtliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice | 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV | Tiziana Margaria (u. a.) | Taschenbuch | xiv | Englisch | 2018 | Springer | EAN 9783030034269 | Verantwor…tliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation. Verification | 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part II | Tiziana Margaria (u. a.) | Taschenbuch | xiii | Englisch | 2018 | Springer | EAN 9783030034207 | Verantwortliche… Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation: Applications | 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III | Tiziana Margaria (u. a.) | Taschenbuch | xv | Englisch | 2020 | Spr…inger | EAN 9783030614669 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles | 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part II | Tiziana Margaria (u. a.) | Taschenbuch | xv | Englisch | 2…020 | Springer | EAN 9783030614690 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. 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 | Dirk Beyer (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxvii | Englisch | 2019 | Springer |…EAN 9783030175016 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. 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, Part IV | Tiziana Margaria (u. a.) | Taschenbuch | xii | Englisch | 2021 |… Springer | EAN 9783030837228 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change | 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I | Tiziana Margaria (u. a.) | Taschenbuch | xviii | Englisch | 2014 | Springer | EAN 978…3662452332 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications | 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II | Tiziana Margaria (u. a.) | Taschenbuch | xviii | Englisch | 2014 | Springer |…EAN 9783662452301 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification, and Validation | International Workshops, SARS 2011 and MLSC 2011, held under the auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers | Reiner Hähnle (u. a.) | Taschenbuch | Communications in Computer and Inf…ormation Science | xii | Englisch | 2012 | Springer | EAN 9783642347801 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation | 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I | Tiziana Margaria (u. a.) | Taschenbuch | xvi | Englisch | 2012 | Springer | EAN 9783642340253 | Verantwortliche Person… für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation | 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part II | Tiziana Margaria (u. a.) | Taschenbuch | xvi | Englisch | 2012 | Springer | EAN 9783642340314 | Verantwortliche Perso…n für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation. Modeling | 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I | Tiziana Margaria (u. a.) | Taschenbuch | xv | Englisch | 2018 | Springer | EAN 9783030034177 | Verantwortliche Person… für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Verification, Model Checking, and Abstract Interpretation | 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings | Bernhard Steffen (u. a.) | Taschenbuch | xi | Englisch | 2004 | Springer | EAN 9783540208037 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tier…gartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. SOFSEM 2017: Theory and Practice of Computer Science | 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings | Bernhard Steffen (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xviii | Englisch | 2017… | Springer | EAN 9783319519623 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation. Application Areas | 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part V | Tiziana Margaria (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2024 | Springer… | EAN 9783031753893 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.39
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications | 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II | Tiziana Margaria (u. a.) | Taschenbuch | xxiv | Englisch | 2016 | Springer |…EAN 9783319471686 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 48.36
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Real Time and Such | Essays Dedicated to Wang Yi to Celebrate His Scientific Career | Susanne Graf (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2024 | Springer | EAN 9783031737503 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heide…lberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 56.25
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation. Practice | 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part IV | Tiziana Margaria (u. a.) | Taschenbuch | xiii | Englisch | 2022 | Springer | EAN 9783031197611 | Verantwortliche Per…son für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 56.25
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Model Checking, Synthesis, and Learning | Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday | Ernst-Rüdiger Olderog (u. a.) | Taschenbuch | Lecture Notes in Computer Science | viii | Englisch | 2021 | Springer | EAN 9783030913830 | Verantwortliche Person für die EU: Springer Verl…ag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 57.03
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies | 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part IV | Tiziana Margaria (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch… | 2024 | Springer | EAN 9783031753862 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 60.21
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation | 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Rhodes, Greece, October 17-29, 2021, Proceedings | Tiziana Margaria (u. a.) | Taschenbuch | xii | Englisch | 2021 | Springer | EAN 9783030891…589 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 60.21
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering | 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part II | Tiziana Margaria (u. a.) | Taschenbuch | xiii | Englisch | 2022 | Springer | EAN 9783031197550 | Verantw…ortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 60.21
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning | 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III | Tiziana Margaria (u. a.) | Taschenbuch | xiii | Englisch | 2022 | Springer | EAN 9783031197581 | Ver…antwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 64.18
£ 59.87 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems | 12th International Symposium, ISoLA 2024, Crete, Greece, October 27-31, 2024, Proceedings, Part II | Tiziana Margaria (u. a.) | Taschenbuch | Lecture Notes in Computer Science… | xii | Englisch | 2024 | Springer | EAN 9783031751066 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
