Skip to main content
Search Button
Librairie Kobo Canada Cartes cadeau Aide
Kobo Rakuten
Ma liste d'envies

Panier

Vous profitez des avantages réservés aux VIP !

Article(s) non disponible(s) à la vente
Veuillez vérifier votre panier. Vous pouvez supprimer le ou les articles qui ne sont pas disponibles maintenant ou nous les supprimerons automatiquement au moment du règlement de la commande.
articlesarticle
articlesarticle

Recommandé pour vous

Loading...


Computer Science (R0) Série de Livres électroniques

1-12 sur 12 résultats
Skip side bar filters

  • Transactions on Petri Nets and Other Models of Concurrency XVI

    Modifié par Maciej Koutny, Fabrice Kordon, Daniel Moldt ...
    Collections 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 ... En savoir plus

    $115.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency XVII

    Modifié par Maciej Koutny, Robin Bergenthum, Gianfranco Ciardo ...
    Collections 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 ... En savoir plus

    $115.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency X

    Modifié par Maciej Koutny, Jörg Desel, Serge Haddad ...
    Collections 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 ... En savoir plus

    $64.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency XII

    Modifié par Maciej Koutny, Jetty Kleijn, Wojciech Penczek, Mingmin Zhang ...
    Collections 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 ... En savoir plus

    $64.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency IX

    Modifié par Maciej Koutny, Serge Haddad, Alex Yakovlev ...
    Collections 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 ... En savoir plus

    $64.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency XI

    Modifié par Maciej Koutny, Jörg Desel, Jetty Kleijn ...
    Collections 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 ... En savoir plus

    $64.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency XIII

    Modifié par Maciej Koutny, Lars Michael Kristensen, Wojciech Penczek ...
    Collections 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 ... En savoir plus

    $64.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency XIV

    Modifié par Maciej Koutny, Lucia Pomello, Lars Michael Kristensen ...
    Collections 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 ... En savoir plus

    $64.99 CAD

  • Transactions on Petri Nets and Other Models of Concurrency XV

    Modifié par Maciej Koutny, Fabrice Kordon, Lucia Pomello ...
    Collections 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 ... En savoir plus

    $64.99 CAD

Les lecteurs de ces romans ont aussi aimé

  • Computer Aided Verification

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

    Modifié par Shuvendu K. Lahiri, Chao Wang ...
    Collections Livre 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 ... En savoir plus

    Gratuit

  • 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

    Modifié par Tomáš Vojnar, Lijun Zhang ...
    Collections Livre 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 ... En savoir plus

    Gratuit

  • Computer Aided Verification

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

    Modifié par Alexandra Silva, K. Rustan M. Leino ...
    Collections Livre 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 ... En savoir plus

    Gratuit