Skip to main content
Search Button
Canada 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

  • Bridging the Gap Between AI and Reality

    Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, Rhodes, Greece, November 1–5, 2025, Selected Papers

    Edited by Bernhard Steffen ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes selected papers of the proceedings of the Third International Conference on Bridging the Gap between AI and Reality, AISoLA 2025, which took place in Rhodes, Greece, in November 2025.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 ... Read more

    Free

  • Bridging the Gap Between AI and Reality

    First International Conference, AISoLA 2023, Crete, Greece, October 23–28, 2023, Selected Papers

    Edited by Bernhard Steffen ...
    Series series Springer Nature Proceedings Computer Science
    This open access book constitutes revised selected papers from the First International Conference on Bridging the Gap between AI and Reality, AISoLA 2023, which took place in Crete, Greece, in October 2023.The papers included in this book focus on the following topics: The nature of AI-based systems; ethical, economic and legal implications of AI-systems in practice; ways to make controlled use of ... 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

  • 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

  • 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

    $72.99 CAD

  • 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

    $89.69 CAD

  • 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

    $108.89 CAD

  • 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. 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

    $102.49 CAD

  • 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

    $64.09 CAD