Thao Dang - Böcker
Visar alla böcker från författaren Thao Dang. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Runtime Verification
22nd International Conference, RV 2022, Tbilisi, Georgia, September 28–30, 2022, Proceedings
Häftad, Engelska, 2022
726 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 22nd International Conference on Runtime Verification, RV 2022, held in Tbilisi, Georgia, during September 28-30, 2022. The 12 regular papers and 10 short papers presented in this book were carefully reviewed and selected from 40 submissions.
Del 7699 - Lecture Notes in Computer Science
Hybrid Systems Biology
Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected Papers
Häftad, Engelska, 2015
430 kr
Skickas inom 10-15 vardagar
This book constitutes the thoroughly refereedpost-workshop proceedings of the Second International Workshop on HybridSystems Biology, HSB 2013, held as part of the ECAL 2013 event, in Taormina,Italy, in September 2013; and the Third International Workshop on HybridSystems Biology, HSB 2014, held as part of CAV 2014, in Vienna, Austria, inJuly 2014.This volume presents 8 full papers together with 2invited tutorials/surveys from 21 submissions.The HSB 2013 workshop aims at collecting scientistsworking in the area of hybrid modeling applied to systems biology, in order todiscuss about current achieved goals, current challenges and future possibledevelopments.The scope of the HSB 2014 workshop is the general areaof dynamical models in biology with an emphasis on hybrid approaches, which arenot restricted to a narrow class of mathematical models, and which takeadvantage of techniques developed separately in different sub-fields.<
473 kr
Skickas inom 5-8 vardagar