Skip to main content
Search Button
Estados Unidos 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...


Serie m´´as popular en Estados Unidos

1 - 12 de 12 resultados para “alessandro abate”
Skip side bar filters

  • Quantitative Evaluation of Systems

    18th International Conference, QEST 2021, Paris, France, August 23–27, 2021, Proceedings

    Edición de Alessandro Abate, Andrea Marin ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 18th International Conference on Quantitative Evaluation Systems, QEST 2021, held in Paris, France, in August 2021.The 21 full papers and 2 short papers presented together with 2 keynote papers were carefully reviewed and selected from 47 submissions. The papers are organized in the following topics: probabilistic model checking; quantitative models and ... Leer más

    $80.09 USD

  • Computational Methods in Systems Biology

    18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings

    Edición de Alessandro Abate, Tatjana Petrov, Verena Wolf ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, CMSB 2020, held in Konstanz, Germany, in September 2020.*The 17 full papers and 5 tool papers were carefully reviewed and selected from 30 submissions. In addition 3 abstracts of invited talks and 2 tutorials have been included in this volume. Topics of interest include ... Leer más

    $49.49 USD

  • Formal Modeling and Analysis of Timed Systems

    15th International Conference, FORMATS 2017, Berlin, Germany, September 5–7, 2017, Proceedings

    Edición de Alessandro Abate, Gilles Geeraerts ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017.The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of ... Leer más

    $49.99 USD

  • Numerical Software Verification

    10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings

    Edición de Alessandro Abate, Sylvie Boldo ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the proceedings of the 10th International Workshop on Numerical Software Verification, NSV 2017, held in Heidelberg, Germany, in July 2017 - colocated with the International Workshop on Formal Methods for Rigorous Systems Engineering of Cyber-Physical Systems, RISE4CPS 2017, a one-time, invited-only event.The 3 full papers presented together with 3 short papers, 2 keynote ... Leer más

    $49.99 USD

  • Hybrid Systems Biology

    Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised Selected Papers

    Edición de Alessandro Abate, David Safranek ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly referred post-workshop proceedings of the 4th International Workshop on Hybrid Systems biology, HSB 2015, held as part of the Madrid Meet 2015 event, in Madrid, Spain in September 2015. The volume presents 13 full papers together with 2 abstracts of invited sessions from 18 submissions. The scope of the HSB workshop is the general area of dynamical models in ... Leer más

    $49.99 USD

La gente que leyó estos también disfrutó

  • Computational Methods in Systems Biology

    15th International Conference, CMSB 2017, Darmstadt, Germany, September 27–29, 2017, Proceedings

    Edición de Jérôme Feret, Heinz Koeppl ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 15th International Conference on Computational Methods in Systems Biology, CMSB 2017, held in Darmstadt, Germany, in September 2017. The 15 full papers, 4 tool papers and 4 posters presented together with 1 invited talk were carefully reviewed and selected from 41 regular paper submissions. Topics of interest include formalisms for modeling ... Leer más

    $49.99 USD

  • Handbook of Computational Statistics

    Concepts and Methods

    Edición de James E. Gentle, Wolfgang Karl Härdle, Yuichi Mori ...
    Series series Mathematics and Statistics (R0)
    The Handbook of Computational Statistics - Concepts and Methods (second edition) is a revision of the first edition published in 2004, and contains additional comments and updated information on the existing chapters, as well as three new chapters addressing recent work in the field of computational statistics. This new edition is divided into 4 parts in the same way as the first edition. It ... Leer más

    $287.09 USD

  • ModelEd, TestEd, TrustEd

    Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

    Edición de Arend Rensink, Joost-Pieter Katoen, Rom Langerak ...
    Series series Computer Science (R0)
    This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science.The ... Leer más

    $49.49 USD

  • Learning and Intelligent Optimization

    11th International Conference, LION 11, Nizhny Novgorod, Russia, June 19-21, 2017, Revised Selected Papers

    Edición de Roberto Battiti, Dmitri E. Kvasov, Yaroslav D. Sergeyev ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the thoroughly refereed post-conference proceedings of the 11th International Conference on Learning and Intelligent Optimization, LION 11, held in Nizhny,Novgorod, Russia, in June 2017.The 20 full papers (among these one GENOPT paper) and 15 short papers presented have been carefully reviewed and selected from 73 submissions. The papers explore the advanced research ... Leer más

    $49.99 USD

  • Dependable Software Engineering: Theories, Tools, and Applications

    Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings

    Edición de Martin Fränzle, Deepak Kapur, Naijun Zhan ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2016, held in Beijing, China, in November 2016.The 17 full papers presented together with 3 short papers were carefully reviewed and selected from 58 submissions. The aim of the symposium is to bring together international researchers and ... Leer más

    $49.99 USD

  • Hybrid Systems Biology

    5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings

    Edición de Alexandre Donzé, Eugenio Cinquemani ...
    Series series Springer Nature Proceedings Computer Science
    This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems Biology, HSB 2016, held in Grenoble, France, in October 2016.The 11 full papers presented in this book were carefully reviewed and selected from 26 submissions. They were organized and presented in 4 thematic sessions also reflected in this book: model simulation; model analysis; discrete and network ... Leer más

    $40.99 USD

  • Statistical and Machine Learning Approaches for Network Analysis

    de Subhash C. Basak, Matthias Dehmer ...
    Series Libro 707 - Wiley Series in Computational Statistics
    Explore the multidisciplinary nature of complex networks through machine learning techniquesStatistical and Machine Learning Approaches for Network Analysis provides an accessible framework for structurally analyzing graphs by bringing together known and novel approaches on graph classes and graph measures for classification. By providing different approaches based on experimental data, the book ... Leer más

    $118.00 USD