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 12 results for “igor potapov”
Skip side bar filters

  • Digitalisation and Digital Transformation

    First Research Twinning Conference, RTC-Digital 2023, Liverpool, UK, March 27–30, 2023, Proceedings

    Edited by Igor Potapov, Dmytro Chumachenko, Volodymyr Proshkin, Vira Shendryk, Oleksandr Berezko, James McCafferty, Olexandr Konovalov ...
    Series series Springer Nature Proceedings Computer Science
    This book CCIS 2647 constitutes the refereed proceedings of First Research Twinning Conference on Digitalisation and Digital Transformation, RTC-Digital 2023, held in Liverpool, UK, during March 27–30, 2023.The 29 full papers were carefully reviewed and selected from 101 submissions.The objective is to help Ukrainian academics at Universities and Research institutes to integrate into the ... Read more

    $89.09 USD

  • Information and Communication Technologies in Education, Research, and Industrial Applications

    19th International Conference, ICTERI 2024, Lviv, Ukraine, September 23–27, 2024, Proceedings

    Edited by Vadim Ermolayev, Igor Potapov, Oleksii Ignatenko, Roman Hornung, Andrii Hlybovets, Vitaliy Yakovyna, Yaroslav Prytula, Oleksandr Spivakovsky ...
    Series series Springer Nature Proceedings excluding Computer Science
    This book constitutes the proceedings of the 19th International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications, ICTERI 2024, held in Lviv, Ukraine, during September 23–27, 2024.The 29 full papers, 2 short papers and 3 keynote papers included in this volume were carefully reviewed and selected from 83 submissions. They were organized in ... Read more

    $89.09 USD

  • Reachability Problems

    15th International Conference, RP 2021, Liverpool, UK, October 25–27, 2021, Proceedings

    Edited by Paul C. Bell, Patrick Totzke, Igor Potapov ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2021, held in Liverpool, UK in October 2021.The 6 full papers presented were carefully reviewed and selected from 27 submissions. In addition, 4 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; rewriting ... Read more

    $80.99 USD

  • Reachability Problems

    17th International Conference, RP 2023, Nice, France, October 11–13, 2023, Proceedings

    Edited by Olivier Bournez, Enrico Formenti, Igor Potapov ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 17th International Conference on Reachability Problems, RP 2023, held in Nice, France, during October 11–13, 2023.The 13 full papers included in this book were carefully reviewed and selected from 19 submissions. They present recent research on reachability problems to promote the exploration of new approaches for the modeling and analysis of ... Read more

    $62.99 USD

  • Reachability Problems

    16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings

    Edited by Anthony W. Lin, Georg Zetzsche, Igor Potapov ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Conference on Reachability Problems, RP 2022, held in Kaiserslautern, Germany, in October 2022.The 8 full papers presented were carefully reviewed and selected from 14 submissions. In addition, 3 invited papers were included in this volume. The RP proceedings cover topics such as reachability for infinite state systems; ... Read more

    $53.99 USD

  • Reachability Problems

    14th International Conference, RP 2020, Paris, France, October 19–21, 2020, Proceedings

    Edited by Sylvain Schmitz, Igor Potapov ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 14th International Conference on Reachability Problems, RP 2020, held in Paris, France in October 2020.The 8 full papers presented were carefully reviewed and selected from 25 submissions. In addition, 2 invited papers were included in this volume. The papers cover topics such as reachability for infinite state systems; rewriting systems; ... Read more

    $49.49 USD

  • Reachability Problems

    13th International Conference, RP 2019, Brussels, Belgium, September 11–13, 2019, Proceedings

    Edited by Emmanuel Filiot, Raphaël Jungers, Igor Potapov ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 13th International Conference on Reachability Problems, RP 2019, held in Brussels, Belgium, in September 2019.The 14 full papers presented were carefully reviewed and selected from 26 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular ... Read more

    $49.49 USD

  • Reachability Problems

    11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings

    Edited by Matthew Hague, Igor Potapov ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 11th International Workshop on Reachability Problems, RP 2017, held in London, UK, in September 2017. The 12 full papers presented together with 1 invited paper were carefully reviewed and selected from 17 submissions.The aim of the conference is to bring together scholars from diverse fields with a shared interest in reachability problems, and ... Read more

    $49.49 USD

  • Reachability Problems

    10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

    Edited by Igor Potapov, Jiří Srba, Kim Guldstrand Larsen ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Workshop on Reachability Problems, RP 2016, held in Aalborg, Denmark, in September 2016. The 11 full papers presented together with2 invited papers and 3 abstracts of invited talks were carefully reviewed and selected from 18 submissions. The papers cover a range of topics in the field of reachability for infinite state ... Read more

    $49.49 USD

  • Reachability Problems

    12th International Conference, RP 2018, Marseille, France, September 24-26, 2018, Proceedings

    Edited by Igor Potapov, Pierre-Alain Reynier ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 12th International Conference on Reachability Problems, RP 2018, held in Marseille, France, in September 2018.The 11 full papers presented were carefully reviewed and selected from 21 submissions. The papers cover topics such as reachability for infinite state systems; rewriting systems; reachability analysis in counter/timed/cellular ... Read more

    $49.49 USD

People who read these also enjoyed

  • Computer Aided Verification

    30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

    Edited by Hana Chockler, Georg Weissenbacher ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018.The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and ... Read more

    Free

  • Language and Automata Theory and Applications

    10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

    Edited by Adrian-Horia Dediu, Bianca Truthe, Carlos Martín-Vide, Jan Janoušek ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 10th International Conference on Language and Automata Theory and Applications, LATA 2016, held in Prague, Czech Republic, in March 2016.The 42 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 119 submissions. The papers cover the following topics: algebraic language theory; algorithms for ... Read more

    $49.49 USD