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 proceedings of the Third International Conference on Internet of Vehicles, IOV 2016, held in Nadi, Fiji, in December 2016. The 22 full papers presented were carefully reviewed and selected from 55 submissions.
This book constitutes the refereed post-conference proceedings of the First... Læs mere
This book constitutes the refereed proceedings of the 9th International... Læs mere
This book – in conjunction with the volumes LNCS 8588 and LNAI 8589 – constitutes... Læs mere
This three-volume set LNCS 10361, LNCS 10362, and LNAI 10363 constitutes the... Læs mere
This book constitutes the refereed proceedings of the 18th International... 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 book constitutes the refereed proceedings of the 9th International Conference on... Læs mere