for at udvide
kategorilisten.
Søgning på underkategorier- og emner:
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
The selected contributions covered cutting-edge aspects of Cloud Computing and Internet of Things, sensor networks, parallel and distributed computing, advanced networking, smart cities and smart buildings, Big Data and social networks.
This book constitutes the refereed post-conference proceedings of the First... Læs mere
This book constitutes the refereed proceedings of the 10th International Conference on... Læs mere
This book constitutes the refereed proceedings of the 8th International Conference on... Læs mere
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016. The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions.
This bookconstitutes the refereed proceedings of the 12th International Conference on... Læs mere
This book constitutes the thoroughly refereed post-conference proceedings... Læs mere
The two-volume set LNCS 10271 and 10272 constitutes the refereed... Læs mere
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.