Skip to main content
Search Button
México Tienda Kobo Tarjetas de regalo Ayuda
Kobo Rakuten
Wishlist

Carrito de compra

¡Obtienes el tratamiento VIP!

Artículos no disponibles para compra.
Por favor revisa tu carrito. Puedes eliminar los artículos no disponibles ahora o los eliminaremos nosotros automáticamente al momento de pagar.
artículosartículo
artículosartículo

Recomendado para ti

Loading...
Descubre nuestras recomendaciones
eBooks gratis
Oferta del día
Descubre nuestras recomendaciones
Descubre nuestras recomendaciones
eBooks gratis


Computer Science (R0) Serie de eBooks

1 - 12 de 12 resultados
Skip side bar filters

  • Transactions on Petri Nets and Other Models of Concurrency XVI

    Edición de 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 ... Leer más

    $1,632 MXN

  • Transactions on Petri Nets and Other Models of Concurrency XV

    Edición de 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 ... Leer más

    $906 MXN

  • Transactions on Petri Nets and Other Models of Concurrency XVII

    Edición de 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 ... Leer más

    $1,632 MXN

  • Transactions on Petri Nets and Other Models of Concurrency XIV

    Edición de 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 ... Leer más

    $906 MXN

  • Transactions on Petri Nets and Other Models of Concurrency IX

    Edición de 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 ... Leer más

    $906 MXN

  • Transactions on Petri Nets and Other Models of Concurrency X

    Edición de 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 ... Leer más

    $906 MXN

  • Transactions on Petri Nets and Other Models of Concurrency XI

    Edición de 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 ... Leer más

    $906 MXN

  • Transactions on Petri Nets and Other Models of Concurrency XII

    Edición de 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 ... Leer más

    $906 MXN

  • Transactions on Petri Nets and Other Models of Concurrency XIII

    Edición de 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 ... Leer más

    $906 MXN

La gente que leyó estos también disfrutó

  • Computer Aided Verification

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

    Edición de Shuvendu K. Lahiri, Chao Wang ...
    Series Libro 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 ... Leer más

    Gratis

  • 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

    Edición de Tomáš Vojnar, Lijun Zhang ...
    Series Libro 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 ... Leer más

    Gratis

  • Computer Aided Verification

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

    Edición de Alexandra Silva, K. Rustan M. Leino ...
    Series Libro 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 ... Leer más

    Gratis