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


Computer Science (R0) eBook Series

Showing 1 - 12 of 12 results
Skip side bar filters

  • Transactions on Petri Nets and Other Models of Concurrency XVI

    Edited by Maciej Koutny, Fabrice Kordon, Daniel Moldt ...
    Series series Computer Science (R0)
    The 16th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 41st International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2020, and the 20th International Conference on Application of Concurrency to System Design, ACSD 2020.The papers cover a diverse range of topics including model ... Read more

    $115.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency XVII

    Edited by Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo ...
    Series series Computer Science (R0)
    Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XVII. These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which ... Read more

    $115.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency X

    Edited by Maciej Koutny, Jörg Desel, Serge Haddad ...
    Series series Computer Science (R0)
    These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC ... Read more

    $64.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency XII

    Edited by Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang ...
    Series series Computer Science (R0)
    The 12th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 37th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2016, and the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. It also contains one paper submitted directly to ToPNoC.The 9 papers cover ... Read more

    $64.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency IX

    Edited by Maciej Koutny, Serge Haddad, Alex Yakovlev ...
    Series series Computer Science (R0)
    These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC ... Read more

    $64.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency XI

    Edited by Maciej Koutny, Jörg Desel, Jetty Kleijn ...
    Series series Computer Science (R0)
    The 11th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 36th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2015, and the 15th International Conference on Application of Concurrency to System Design, ACSD 2014. It also contains one paper submitted directly to ToPNoC.The 16 papers ... Read more

    $64.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency XIII

    Edited by Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek ...
    Series series Computer Science (R0)
    The 13th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 38th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2017, and the 17th International Conference on Application of Concurrency to System Design, ACSD 2017.The 9 papers cover a diverse range of topics including model checking and ... Read more

    $64.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency XIV

    Edited by Maciej Koutny, Lucia Pomello, Lars Michael Kristensen ...
    Series series Computer Science (R0)
    The 14th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 39th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2018, and the 18th International Conference on Application of Concurrency to System Design, ACSD 2018.The 10 papers cover a diverse range of topics including model ... Read more

    $64.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency XV

    Edited by Maciej Koutny, Fabrice Kordon, Lucia Pomello ...
    Series series Computer Science (R0)
    The 15th volume of ToPNoC contains revised and extended versions of a selection of the best workshop and tutorial papers presented at the 40th International Conference on Application and Theory of Petri Nets and Concurrency, Petri Nets 2019, and the 19th International Conference on Application of Concurrency to System Design, ACSD 2019.The papers cover a diverse range of topics including model ... Read more

    $64.99 CAD

People who read these also enjoyed

  • Computer Aided Verification

    32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

    Edited by Shuvendu K. Lahiri, Chao Wang ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.*The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical ... Read more

    Free

  • Tools and Algorithms for the Construction and Analysis of Systems

    25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part II

    Edited by Tomáš Vojnar, Lijun Zhang ...
    Series Book 2 - Springer Nature Proceedings Computer Science
    This book is Open Access under a CC BY licence.The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The total of ... Read more

    Free

  • Computer Aided Verification

    33rd International Conference, CAV 2021, Virtual Event, July 20–23, 2021, Proceedings, Part I

    Edited by Alexandra Silva, K. Rustan M. Leino ...
    Series Book 1 - Springer Nature Proceedings Computer Science
    This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections:Part ... Read more

    Free