Bernhard Steffen U A (42 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
£ 4.43
£ 13.84 shippingShips from Germany to U.S.A.Quantity: 1 available
Broschiert. Condition: Gut. 253 Seiten; Das Buch befindet sich in einem sehr ordentlich erhaltenen Zustand. Sprache: Deutsch Gewicht in Gramm: 425.
Wendlingen am Neckar im Wandel.
Laderer, Bernhard (Redaktion), Jürgen Steffen Joachim Vöhringer u. a.:
- Hardcover
Seller: ABC Antiquariat, Einzelunternehmen, Stralsund, MV, GermanyABC Antiquariat, Einzelunternehmen
Contact seller5-star sellerCondition: Used - Very good
£ 13.41
£ 14.75 shippingShips from Germany to U.S.A.Quantity: 1 available
8° , Hardcover/Pappeinband. Condition: Gut. 72 Seiten, OHne Schutzumschlag, Einband mit kleineren Gebrauchsspuren, private Widmung auf vorderem Spiegel und Vorsatz, Zustand gut Sprache: Deutsch Gewicht in Gramm: 550.
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.93
£ 36.45 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.96
£ 60.75 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
£ 31.37
£ 60.75 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.96
£ 60.75 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
£ 45.01
£ 60.75 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
£ 45.01
£ 60.75 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.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 45.01
£ 60.75 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.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 45.01
£ 60.75 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 | xviii | Englisch | 2017 | Springer | EAN 9783319519623 | Ve…rantwortliche 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
£ 45.01
£ 60.75 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
£ 45.01
£ 60.75 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
£ 45.01
£ 60.75 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.92
£ 60.75 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Services and Visualization: Towards User-Friendly Design | ACos'98, VISUAL'98, AIN'97, Selected Papers | Tiziana Margaria (u. a.) | Taschenbuch | xii | Englisch | 1998 | Springer | EAN 9783540643678 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juerge…n[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 44.92
£ 60.75 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Tools and Algorithms for the Construction and Analysis of Systems | Second International Workshop, TACAS '96, Passau, Germany, March 27 - 29, 1996, Proceedings. | Tiziana Margaria (u. a.) | Taschenbuch | xiii | Englisch | 1996 | Springer | EAN 9783540610427 | Verantwortliche Person für die EU: Spring…er 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.92
£ 60.75 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Leveraging Applications of Formal Methods | First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers | Tiziana Maragria (u. a.) | Taschenbuch | vi | Englisch | 2006 | Springer | EAN 9783540489283 | Verantwortliche Person für die EU: Springer Ve…rlag 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.92
£ 60.75 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Tools and Algorithms for the Construction and Analysis of Systems | First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. Selected Papers | Ed Brinksma (u. a.) | Taschenbuch | vii | Englisch | 1995 | Springer | EAN 9783540606307 | Verantwortliche Person für die EU: Springer Ver…lag 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.92
£ 60.75 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Correct System Design | Recent Insights and Advances | Ernst-Rüdiger Olderog (u. a.) | Taschenbuch | xiv | Englisch | 1999 | Springer | EAN 9783540666240 | 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
£ 45.01
£ 60.75 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.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 45.01
£ 60.75 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.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 45.01
£ 60.75 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
£ 45.01
£ 60.75 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
£ 45.01
£ 60.75 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
£ 45.01
£ 60.75 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.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 45.01
£ 60.75 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
£ 45.01
£ 60.75 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
£ 45.01
£ 60.75 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.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 50.42
£ 60.75 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Formal Methods for Industrial Critical Systems | 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings | Anne Remke (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2025 | Springer | EAN 9783032009418 | 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
£ 57.03
£ 60.75 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
£ 60.75 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.
