for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
They cover all aspects of the design, semantics, theory, applications,... Læs mere
This book constitutes the refereed proceedings of the 26th International... Læs mere
This volume constitutes the proceedings of the 17th International... Læs mere
This book constitutes the proceedings of the International Conference on Internet of Things, ICIOT 2020, held virtually as part of SCF 2020, in Honolulu, HI, USA, in September 2020.
This book constitutes the refereed proceedings of the 12th International Symposium on... Læs mere
This book constitutes the proceedings of the 17th International... Læs mere
This book constitutes the revised and extended papers of the First... Læs mere
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.
This book constitutes the proceedings of the 5th International Conference on Interactive Collaborative Robotics, ICR 2020, held in St. Petersburg, Russia, in October 2020. The 31 papers presented were carefully reviewed and selected from 62 submissions.
This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, held in Los Angeles, CA, USA, in October 2020.