263 10 19MB
English Year 2021
Report DMCA / Copyright
DOWNLOAD FILE
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, an
414 99 3MB Read more
399 110 14MB Read more
This book constitutes the proceedings of the Second International Conference on Smart Multimedia, ICSM 2019, which was h
468 18 17MB Read more
This volume constitutes the refereed and revised post-conference proceedings of the 5th IFIP TC 5 DCITDRR International
712 36 46MB Read more
This book constitutes the refereed proceedings of the Third CCF China Blockchain Conference, CBCC 2020, held in Jinan, C
155 22 14MB Read more
The information infrastructure – comprising computers, embedded devices, networks and software systems – is vital to ope
457 104 10MB Read more
This book constitutes revised papers from the Second International Conference on Urban Intelligence and Applications, IC
469 60 31MB Read more
This book constitutes the revised post-conference proceedings of the 17th European Conference on Multi-Agent Systems, EU
194 95 51MB Read more
This book constitutes selected papers from the First International Workshop on Deployable Machine Learning for Security
371 51 20MB Read more
This book constitutes the refereed proceedings of the 20th International Conference on Runtime Verification, RV 2020, he
826 60 33MB Read more