This book constitutes the refereed proceedings of the 5th Conference on AElectronic Governance and Open Society: Challenges in Eurasia, EGOSE 2018, held in St. Petersburg, Russia, in November 201
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January
This book constitutes the refereed proceedings of the 14th China Workshop on Machine Translation, CWMT 2018, held in Wuyishan, China, in October 2018.The 9 papers presented in this volume were careful
This book constitutes the thoroughly refereed proceedings of the Third International Conference on Geographical Information Theory, Application and Management, GISTAM 2017, held in Porto, Portugal, in
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Smart Cities and Green ICT Systems, SMARTGREENS 2017, and the Third International Confe
"This book focuses on recent advanced techniques relevant to the convergence of fog computing. It also explores how fog computing presents a new architecture vision where distributed edge and user dev
This book constitutes the proceedings of the First International Conference on Frontiers in Cyber Security, held in Chengdu, China, in November 2018. The 18 full papers along with the3 short pape
This two-volume set (CCIS 905 and CCIS 906) constitutes the refereed proceedings of the Second International Conference on Advances in Computing and Data Sciences, ICACDS 2018, held in Dehradun,
This book constitutes the thoroughly refereed papers of the First International Conference on Applied Informatics, ICAI 2018, held in Bogotá, Colombia, in November 2018. The 27 full papers were carefu
This book constitutes the refereed proceedings of the 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2018, held in Tokyo, Japan, in November 2018. The
This book constitutes the thoroughly refereed papers of the workshops held at the 8th International Conference on New Trends in Model and Data Engineering, MEDI 2018, in Marrakesh, Morocco, in October
"This book provides theoretical studies on propagation and microwave design of passive and active devices. It covers important studies introducing modern practical antenna and microwave circuits desig
This volume constitutes the proceedings of the 6th CCF Conference, Big Data 2018, held in Xi'an, China, in October 2018. The 32 revised full papers presented in this volume were carefully reviewed and
The two-volume set LNCS 10761 + 10762 constitutes revised selected papers from the CICLing 2017 conference which took place in Budapest, Hungary, in April 2017. The total of 90 papers presented in the
This book constitutes the refereed proceedings of the 24th China Conference on Information Retrieval, CCIR 2018, held in Guilin, China, in September 2018. The 22 full papers presented were carefully r
This book constitutes the refereed proceedings of the Second International Conference on Smart Trends in Information Technology and Computer Communications, SmartCom 2017, held in Pune, India, in Augu
