Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 12 of 40 results for “bernhard steffen”
Skip side bar filters

  • Bridging the Gap Between AI and Reality

    Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Selected Papers

    Edited by Bernhard Steffen ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes revised selected papers from the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024.The papers included in this book extend the presentation in the AISoLA 2024 on-site proceedings. They focus on the following topics: AI-Assisted Programming; health care approaches ... Read more

    Free

  • Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems

    13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part V

    Edited by Tiziana Margaria, Bernhard Steffen ...
    Series Book 5 - Springer Nature Proceedings Computer Science
    The open access ISoLA 2026 proceedings constitutes contributions of the associated events held at the 13th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2026, which took place in Kos, Greece, in October 2026.ISoLA 2026 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the ... Read more

    Free

  • Leveraging Applications of Formal Methods, Verification and Validation. X-by-Construction Meets Intersymbolic AI

    13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part IV

    Edited by Tiziana Margaria, Bernhard Steffen ...
    Series Book 4 - Springer Nature Proceedings Computer Science
    The open access ISoLA 2026 proceedings constitutes contributions of the associated events held at the 13th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2026, which took place in Kos, Greece, in October 2026.ISoLA 2026 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the ... Read more

    Free

  • Formal Methods for Industrial Critical Systems

    30th International Conference, FMICS 2025, Aarhus, Denmark, August 27–28, 2025, Proceedings

    Edited by Anne Remke, Bernhard Steffen ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; ... Read more

    $58.49 USD

  • Leveraging Applications of Formal Methods, Verification and Validation. Formal Methods for Distributed Computing in Future Railway Systems

    13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part II

    Edited by Tiziana Margaria, Bernhard Steffen ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    The open access ISoLA 2026 proceedings constitutes contributions of the associated events held at the 13th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2026, which took place in Kos, Greece, in October 2026.ISoLA 2026 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the ... Read more

    Free

  • Bridging the Gap Between AI and Reality

    Second International Conference, AISoLA 2024, Crete, Greece, October 30 – November 3, 2024, Proceedings

    Edited by Bernhard Steffen ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the Second International Conference on Bridging the Gap between AI and Reality, AISoLA 2024, which took place in Crete, Greece, in October/November 2024. The papers included in this book focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai in health care; models for trustworthy autonomous ... Read more

    $71.99 USD

  • Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

    13th International Symposium, ISoLA 2026, Kos, Greece, October 24–28, 2026, Proceedings, Part I

    Edited by Tiziana Margaria, Bernhard Steffen ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The open access ISoLA 2026 proceedings constitutes contributions of the associated events held at the 13th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2026, which took place in Kos, Greece, in October 2026.ISoLA 2026 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the ... Read more

    Free

  • Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

    11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I

    Edited by Tiziana Margaria, Bernhard Steffen ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2022, which took place in Rhodes, Greece, in October/November 2022.The contributions in the four-volume set are organized according to the following topical sections: specify this - bridging gaps between program ... Read more

    $80.09 USD

  • Let’s Talk AI

    Interdisciplinarity Is a Must

    Edited by Barbara Steffen, Edward A. Lee, Bernhard Steffen ...
    Series series Computer Science (R0)
    This unique open access volume represents an interdisciplinary dialog with top-class researchers and practitioners on the Artificial Intelligence revolution. The contributions derive from structured interviews with community leaders who examine recent developments in AI and offer predictions about its impact on science, technology, business, and society. The interviewees, leading thinkers and ... Read more

    Free

  • Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nicola

    12th International Symposium, ISoLA 2024, Crete, Greece, October 27–31, 2024, Proceedings, Part I

    Edited by Tiziana Margaria, Bernhard Steffen ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2024, which took place in Crete, Greece, in October 2024.ISoLA 2024 provides a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, ... Read more

    $80.99 USD

  • Leveraging Applications of Formal Methods, Verification and Validation. Modeling

    8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I

    Edited by Tiziana Margaria, Bernhard Steffen ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The four-volume set LNCS 11244, 11245, 11246, and 11247 constitutes the refereed proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018, held in Limassol, Cyprus, in October/November 2018.The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual ... Read more

    $49.49 USD

  • Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles

    9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part I

    Edited by Tiziana Margaria, Bernhard Steffen ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20–30, 2020, on Rhodes, Greece. The event itself was postponed to 2021 due to the COVID-19 pandemic.The papers presented were carefully reviewed and selected for inclusion in the ... Read more

    $80.09 USD