Alessandro Abate - Böcker

Visar alla böcker från författaren Alessandro Abate. Handla med fri frakt och snabb leverans.

9 produkter

Kategorier

9 produkter

Del 12314 - Lecture Notes in Computer Science

Computational Methods in Systems Biology

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

AvAlessandro Abate,Tatjana Petrovm. fl.

Häftad, Engelska, 2020

538 kr

Skickas inom 10-15 vardagar

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.

Del 12846 - Lecture Notes in Computer Science

Quantitative Evaluation of Systems

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

AvAlessandro Abate,Andrea Marin

Häftad, Engelska, 2021

963 kr

Skickas inom 10-15 vardagar

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.

Del 9271 - Lecture Notes in Computer Science

Hybrid Systems Biology

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

AvAlessandro Abate,David Safranek

Häftad, Engelska, 2016

517 kr

Skickas inom 10-15 vardagar

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.

Numerical Software Verification

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

AvAlessandro Abate,Sylvie Boldo

Häftad, Engelska, 2017

554 kr

Skickas inom 10-15 vardagar

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 abstracts and 4 invited abstracts were carefully reviewed and selected from numerous submissions.The NSV 2017 workshop is dedicated to the development of logical and mathematical techniques for the reasoning about programmability and reliability.

Del 10419 - Lecture Notes in Computer Science

Formal Modeling and Analysis of Timed Systems

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

AvAlessandro Abate,Gilles Geeraerts

Häftad, Engelska, 2017

554 kr

Skickas inom 10-15 vardagar

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 timed systems and, as a generalization, hybrid systems.