This book constitutes the refereed proceedings of the 8th International Workshop on Internet and Network Economics, WINE 2012, held in Liverpool, UK, in December 2012. The 36 revised full papers and 1
This book constitutes the refereed proceedings of the 25th Australasian Joint Conference on Artificial Intelligence, AI 2012, held in Sydney, Australia, in December 2012. The 76 revised full papers pr
This book constitutes the thoroughly refereed post-conference proceedings of the 13th International Conference on Information Security and Cryptology, held in Seoul, Korea, in December 2010. The 28 re
This book constitutes the refereed proceedings of the 4th International Conference on Computational Intelligence in Security for Information Systems, CISIS 2011, held in Torremolinos-Malaga, in June 2
A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of
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 13th Chinese Conference on Image and Graphics Technologies and Applications, IGTA 2018, held in Beijing, China in April, 2018. The 64 pa
This two-volume set (CCIS 873 and CCIS 874) constitutes the thoroughly refereed proceedings of the 9th International Symposium, ISICA 2017, held in Guangzhou, China, in November 2017. The 101 ful
This book constitutes the refereed proceedings of the 19th International Conference on Data Analytics and Management in Data Intensive Domains, DAMDID/RCDL 2017, held in Moscow, Russia, in October 201
This book constitutes the refereed proceedings of the 14th Conference on Computability in Europe, CiE 2018, held in Kiel, Germany, in July/ August 2017.The 26 revised full papers were carefully review
This book constitutes the thoroughly refereed proceedings of the third International Conference on Communication Technologies for Ageing Well and e-Health, ICT4AWE 2017, held in Porto, Portugal in Apr
This two-volume set (CCIS 848 and CCIS 849) constitutes the thoroughly refereed proceedings of the 5th International Conference Geo-Spatial Knowledge and Intelligence, GSKI 2017, held in Chiang Mai, T
This two-volume set (CCIS 848 and CCIS 849) constitutes the thoroughly refereed proceedings of the 5th International Conference Geo-Spatial Knowledge and Intelligence, GSKI 2017, held in Chiang Mai, T
This book constitutes the refereed proceedings of the 6th Iberoamerican Conference on Applications and Usability of Interactive Television, jAUTI 2017, in Aveiro, Portugal, in October 2017.The 11 full
This book constitutes the proceedings of the 14th International Conference on Applied Reconfigurable Computing, ARC 2018, held in Santorini, Greece, in May 2018. The 29 full papers and 22 short
This book constitutes the refereed proceedings of the 21st European Conference on Genetic Programming, EuroGP 2018, held in Parma, Italy, in April 2018, co-located with the Evo* 2018 events, EvoCOP, E
This book constitutes the refereed proceedings of the 11th China Conference on Wireless Sensor Networks, CWSN 2017, held in Tianjin, China, in October 2017. The 28 revised full papers were carefully r
The two-volume set LNCS 10671 and 10672 constitutes the thoroughly refereed proceedings of the 16th International Conference on Computer Aided Systems Theory, EUROCAST 2017, held in Las Palmas de Gran
This book constitutes the refereed proceedings of the 21th CCF Conference on Computer Engineering and Technology, NCCET 2017, held in Xiamen, China, in August 2017. The 13 full papers presented were c
This book constitutes the refereed proceedings of the 12th Chinese Conference on Image and Graphics Technologies and Applications, IGTA 2017, held in Beijing, China June 30 – July 1, 2017. The 26 pape
This book constitutes the refereed proceedings of the 6th International Conference,on Theory and Practice of Natural Computing, TPNC 2017, held in Prague, Czech Republic, December 2017.The 22 full pap
This book constitutes the proceedings of the 14th IFIP WG 10.3 International Conference on Network and Parallel Computing, NPC 2017, held in Hefei, China, in October 2017.The 9 full papers and 10 shor
This two-volume set CCIS 751 and CCIS 752 constitutes the proceedings of the 17th Asia Simulation Conference, AsiaSim 2017, held in Malacca, Malaysia, in August/September 2017. The 124 revised full pa
This two-volume set CCIS 751 and CCIS 752 constitutes the proceedings of the 17th Asia Simulation Conference, AsiaSim 2017, held in Malacca, Malaysia, in August/September 2017. The 124 revised full pa
The three-volume set CCIS 761, CCIS 762, and CCIS 763 constitutes the thoroughly refereed proceedings of the International Conference on Life System Modeling and Simulation, LSMS 2017, and of the Inte
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Conference on Smart Cities and Green ICT Systems, SMARTGREENS 2016, and the Second International Conf
This book constitutes the refereed proceedings of the First International Conference on Advances in Computing and Data Sciences, ICACDS 2016, held in Ghaziabad, India, in November 2016.The 64 full pap
This book constitutes the thoroughly refereed proceedings of the International Conference on Communication Technologies for Ageing Well and e-Health, ICT4AWE 2016, held in Rome, Italy, in April 2016.
This book constitutes the thoroughly refereed proceedings of the 12th Italian Research Conference on Digital Libraries, IRCDL 2016, held in Firence, Italy, in February 2016. The 15 papers presented we
This book constitutes the refereed proceedings of the 20th CCF Conference on Computer Engineering and Technology, NCCET 2016, held in Xi'an, China, in August 2016. The 21 full papers presented were ca
This book constitutes the refereed proceedings of the 51st Annual Convention of the Computer Society of India, CSI 2016, held in Coimbatore, India, in December 2016.The 23 revised papers presented wer
This four-volume set (CCIS 643, 644, 645, 646) constitutes the refereed proceedings of the 16th Asia Simulation Conference and the First Autumn Simulation Multi-Conference, AsiaSim / SCS AutumnSim 201
This book constitutes the refereed proceedings of the 10th International Conference on Language and Automata Theory and Applications, LATA 2016, held in Prague, Czech Republic, in March 2016.The 42 re
This book constitutes thoroughly revised and selected papers from the 10th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2015, hel
This book constitutes the refereed proceedings of the Second International Symposium on Cyber Security, CSS 2015, held in Coeur d'Alene, ID, USA, in April 2015.The 9 revised full papers presented were
This book constitutes the refereed proceedings of the International Conference, VISIGRAPP 2014, consisting of the Joint Conferences on Computer Vision (VISAPP), the International Conference on Compute
The 67 revised full papers presented were carefully reviewed and selected from 121 submissions. The volume includes papers from the following workshops: BigDataCloud (4th Workshop on Big Data Manageme
This book constitutes the proceedings of the 12th International Workshop on Algorithms and Models for the Web Graph, WAW 2015, held in Eindhoven, The Netherlands, in December 2015.The 15 full papers p
This book constitutes the proceedings of the Fourth International Conference on Analysis of Images, Social Networks and Texts, AIST 2015, held in Yekaterinburg, Russia, in April 2015.The 24 full and 8
This book constitutes the refereed proceedings of the Joint Conference on Robotics, LARS, SBR, Robocontrol 2014, held in Sao Carlos, Brazil, in October 2014. The 8 revised full papers presented were c
