Rakuten Kobo

Shopping Cart

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

- Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Get 1 credit every month for the audiobook of your choice
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  
  Includes eBooks
  
  Includes audiobooks
  
  Includes 30 hours of listening time
  
  No commitment, cancel anytime at kobo.com/account/subscriptions
  Audiobook
  by ,
  
  Available:
  
  . No commitment, cancel anytime at kobo.com/account/subscriptions.
  
  Pre-order
  1 audiobook monthly
  
  + FREE 30-day trial
  
  Special Offer
  
  Get 1 credit every month to exchange for an audiobook of your choice
  
  *No commitment, cancel anytime
  
  FREE

itemsitem

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

No commitment, cancel anytime at kobo.com/account/subscriptions

Get 1 credit every month for the audiobook of your choice

No commitment, cancel anytime at kobo.com/account/subscriptions

Includes eBooks

Includes audiobooks

Includes 30 hours of listening time

No commitment, cancel anytime at kobo.com/account/subscriptions
Audiobook
by ,

Available:
. No commitment, cancel anytime at kobo.com/account/subscriptions.

Pre-order
1 audiobook monthly

+ FREE 30-day trial

Special Offer

Get 1 credit every month to exchange for an audiobook of your choice

*No commitment, cancel anytime

FREE

Recommended For You

Skip side bar filters

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

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
Transactions on Foundations for Mastering Change I

Edited by Bernhard Steffen ...

Series series Computer Science (R0)
The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today’s agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks. ... Read more

$49.49 USD

The LNCS Transactions on Foundations for Mastering Change, FoMaC, aims to establish a forum for formal-methods-based research, dealing with the nature of today’s agile system development, which is characterized by unclear premises, unforeseen change, and the need for fast reaction, in a context of hard-to-control frame conditions, such as third-party components, network problems, and attacks.
... Read more
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

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

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
Bridging the Gap Between AI and Reality

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

Edited by Bernhard Steffen ...

Series series Springer Nature Proceedings Computer Science
This book constitutes the proceedings of 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 AI via the various ... Read more

$71.99 USD

This book constitutes the proceedings of 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 AI via the various
... Read more
Leveraging Applications of Formal Methods, Verification and Validation. Verification

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

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 2 - 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

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

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 4 - 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

$67.49 USD

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
Bridging the Gap Between AI and Reality

4th International Conference, AISoLA 2026, Kos, Greece, October 27–31, 2026, Proceedings

Edited by Bernhard Steffen ...

Series series Springer Nature Proceedings Computer Science
This open access book constitutes proceedings of the 4th International Conference on Bridging the Gap between AI and Reality, AISoLA 2026, which took place in Kos, Greece, in October 2026.The proceedings contain 8 full papers, one full invited talk, and a track introduction. They focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai ... Read more

Free

This open access book constitutes proceedings of the 4th International Conference on Bridging the Gap between AI and Reality, AISoLA 2026, which took place in Kos, Greece, in October 2026.The proceedings contain 8 full papers, one full invited talk, and a track introduction. They focus on the following topics: AI assisted programming; digital humanities; approaches of using formal methods and ai
... Read more
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

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 2 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... Read more

$49.49 USD

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each
... Read more
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

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

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
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I

Edited by Tiziana Margaria, Bernhard Steffen ...

Series Book 1 - Springer Nature Proceedings Computer Science
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each ... Read more

$89.09 USD

The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each
... Read more

Rakuten Kobo

eReaders

Apps

Accessories

What is Kobo Super Points?

Reward Yourself

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Computer Science (R0)

Computer Science (R0)

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Computer Science (R0)

Computer Science (R0)

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Bridging the Gap Between AI and Reality

Transactions on Foundations for Mastering Change I

Bridging the Gap Between AI and Reality

Bridging the Gap Between AI and Reality

Bridging the Gap Between AI and Reality

Leveraging Applications of Formal Methods, Verification and Validation. Verification

Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies

Bridging the Gap Between AI and Reality

Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications

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

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

Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques

eReaders

Apps

Accessories

Shopping Cart

You're getting the VIP treatment!

Your Shopping Cart is empty

Available:

1 audiobook monthly

+ FREE 30-day trial

Available:

1 audiobook monthly

+ FREE 30-day trial

Recommended For You

Top Series in United States

Computer Science (R0)

Computer Science (R0)

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Computer Science (R0)

Computer Science (R0)

Springer Nature Proceedings Computer Science

Springer Nature Proceedings Computer Science

Show: