Please enter a valid search term.
Currently Displaying Results
1167826-1167850 of 1545934
View book details for Programming Languages
20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016, Proceedings
This book constitutes the proceedings of the 20th Brazilian Symposium on Progamming Languages, SBLP 2016, held in Maringa, Brazil, in September 2016. The 12 papers presented in this volume were carefully reviewed and selected from 26 submissions. They deal with …
View book details for Physiological Computing Systems
First International Conference, PhyCS 2014, Lisbon, Portugal, January 7-9, 2014, Revised Selected Papers
This book constitutes the proceedings of the First International Conference on Physiological Computing Systems, PhyCS 2014, held in Lisbon, Portugal, in January 2014. The 10 papers presented in this volume were carefully reviewed and selected from 52 submissions. They are …
View book details for Informatics in Schools: Improvement of Informatics Knowledge and Perception
9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, Munster, Germany, October 13-15, 2016, Proceedings
This book constitutes the refereed proceedings of the 9th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, ISSEP 2016, held in Munster, Germany, in October 2015. The 17 full papers presented together with 1 invited talk were carefully …
View book details for Evolutionary Computation in Combinatorial Optimization
17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings
This book constitutes the refereed proceedings of the 17th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2017, held in Amsterdam, The Netherlands, in April 2017, co-located with the Evo*2017 events EuroGP, EvoMUSART and EvoApplications. The 16 revised full …
View book details for Knowledge Engineering and Knowledge Management
19th International Conference, EKAW 2014, Linkoping, Sweden, November 24-28, 2014, Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2014, held in Linkoping, Sweden, in November 2014. The 24 full papers and 21 short papers presented were carefully reviewed and selected …
View book details for Advances in Artificial Intelligence and Its Applications
14th Mexican International Conference on Artificial Intelligence, MICAI 2015, Cuernavaca, Morelos, Mexico, October 25-31, 2015, Proceedings, Part II
The two volume set LNAI 9413 + 9414 constitutes the proceedings of the 14th Mexican International Conference on Artificial Intelligence, MICAI 2015, held in Cuernavaca,. Morelos, Mexico, in October 2015.The total of 98 papers presented in these proceedings was carefully …
View book details for Bioinformatics Research and Applications
12th International Symposium, ISBRA 2016, Minsk, Belarus, June 5-8, 2016, Proceedings
This book constitutes the proceedings of the 12th International Symposium on Bioinformatics Research and Applications, ISBRA 2016, held in Minsk, Belarus, in June 2016. The 25 papers presented in this volume were carefully reviewed and selected from 77 submissions. They …
View book details for Rule Technologies: Foundations, Tools, and Applications
9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings
This book constitutes the refereed proceedings of the 9th International RuleML Symposium, RuleML 2015, held in Berlin, Germany, in August 2015.The 25 full papers, 4 short papers, 2 full keynote papers, 2 invited research track overview papers, 1 invited paper, …
View book details for MultiMedia Modeling
23rd International Conference, MMM 2017, Reykjavik, Iceland, January 4-6, 2017, Proceedings, Part I
The two-volume set LNCS 10132 and 10133 constitutes the thoroughly refereed proceedings of the 23rd International Conference on Multimedia Modeling, MMM 2017, held in Reykjavik, Iceland, in January 2017. Of the 149 full papers submitted, 36 were selected for oral …
View book details for The European Union as Guardian of Internet Privacy
The Story of Art 16 TFEU
This book examines the role of the EU in ensuring privacy and data protection on the internet. It describes and demonstrates the importance of privacy and data protection for our democracies and how the enjoyment of these rights is challenged …
View book details for Runtime Verification
17th International Conference, RV 2017, Seattle, WA, USA, September 13-16, 2017, Proceedings
This book constitutes the refereed proceedings of the 17th International Conference on Runtime Verification, RV 2017, held in Seattle, WA, USA, in September 2017. The 18 revised full papers presented together with 3 invited presentations, 4 short papers, 5 tool …
View book details for Numerical Software Verification
9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, Revised Selected Papers
This book constitutes the refereed proceedings of the 9th InternationalWorkshop on Numerical Software Verification, NSV 2016, held in Toronto, ON, Canada in July 2011 - colocated with CAV 2016, the 28th International Conference on Computer Aided Verification. The NSV workshop …
View book details for Foundations of Information and Knowledge Systems
9th International Symposium, FoIKS 2016, Linz, Austria, March 7-11, 2016. Proceedings
This book constitutes the proceedings of the 9th International Symposium on Foundations of Information and Knowledge Systems, FoIKS 2016, held in Linz, Austria, in March 2016. The 14 revised full papers presented papers were carefully reviewed and selected from 23 …
View book details for Advanced Parallel Processing Technologies
11th International Symposium, APPT 2015, Jinan, China, August 20-21, 2015, Proceedings
This book constitutes the proceedings of the 11th International Symposium on Advanced Parallel Processing Technologies, APPT 2015, held in Jinan, China, in August 2015. The 8 papers presented in this volume were carefully reviewed and selected from 24 submissions. They …
View book details for Decision and Game Theory for Security
7th International Conference, GameSec 2016, New York, NY, USA, November 2-4, 2016, Proceedings
This book constitutes the refereed proceedings of the 7th International Conference on Decision and Game Theory for Security, GameSec 2016, held in New York, NY, USA, in November 2016. The 18 revised full papers presented together with 8 short papers …
View book details for Data Analytics for Renewable Energy Integration
4th ECML PKDD Workshop, DARE 2016, Riva del Garda, Italy, September 23, 2016, Revised Selected Papers
This book constitutes revised selected papers from the 4th ECML PKDD Workshop on Data Analytics for Renewable Energy Integration, DARE 2016, held in Riva del Garda, Italy, in September 2016. The 11 papers presented in this volume were carefully reviewed …
View book details for E-Learning and Games
10th International Conference, Edutainment 2016, Hangzhou, China, April 14-16, 2016, Revised Selected Papers
This book constitutes the refereed proceedings of the 10th International Conference on E-Learning and Games, Edutainment 2016, held in Hangzhou, China, in April 2016. The 36 full papers presented were carefully reviewed and selected from 60 submissions. They are organized …
View book details for Serious Games
Third Joint International Conference, JCSG 2017, Valencia, Spain, November 23-24, 2017, Proceedings
This book constitutes the proceedings of the Third Joint International Conference on Serious Games, JCSG 2017, held in Valencia, Spain, in November 2017. This conference bundles the activities of the 8th International Conference on Serious Games Development and Applications, SGDA …
View book details for SOFSEM 2016: Theory and Practice of Computer Science
42nd International Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 23-28, 2016, Proceedings
This book constitutes the proceedings of the 42nd International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2016, held in Harrachov, Czech Republic, in January 2016.The 43 full papers presented in this volume were carefully reviewed …
View book details for Intelligent Computing Theories and Methodologies
11th International Conference, ICIC 2015, Fuzhou, China, August 20-23, 2015, Proceedings, Part II
This two-volume set LNCS 9225 and LNCS 9226 constitutes - in conjunction with the volume LNAI 9227 - the refereed proceedings of the 11th International Conference on Intelligent Computing, ICIC 2015, held in Fuzhou, China, in August 2015. The total …
View book details for Language and Automata Theory and Applications
10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings
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 revised full papers presented together with 5 invited talks were …
View book details for Swarm Intelligence
10th International Conference, ANTS 2016, Brussels, Belgium, September 7-9, 2016, Proceedings
This book constitutes the proceedings of the 10th International Conference on Swarm Intelligence, ANTS 2016, held in Brussels, Belgium, in September 2016. The 18 full papers and 7 short papers presented in this volume were carefully reviewed and selected from …
View book details for Advances in Web-Based Learning ICWL 2013 Workshops
USL 2013, IWSLL 2013, KMEL 2013, IWCWL 2013, WIL 2013, and IWEEC 2013, Kenting, Taiwan, October 6-9, 2013, Revised Selected Papers
This book constitutes the refereed proceedings of the Workshops held at the ICWL 2013 International Conference on Web Based Learning in Kenting, Taiwan, in October 2013. The 29 papers presented were carefully reviewed and selected for inclusion in this volume. …
View book details for Cellular Automata and Discrete Complex Systems
20th International Workshop, AUTOMATA 2014, Himeji, Japan, July 7-9, 2014, Revised Selected Papers
This book constitutes revised selected papers from the 20th International Workshop on Cellular Automata and Discrete Complex Systems, AUTOMATA 2014, held in Himeji, Japan, in July 2014. The 10 regular papers included in this volume were carefully reviewed and selected …
View book details for Learning and Collaboration Technologies. Technology in Education
4th International Conference, LCT 2017, Held as Part of HCI International 2017, Vancouver, BC, Canada, July 9-14, 2017, Proceedings, Part II
The two-volume set LNCS 10295 and 10296 constitute the refereed proceedings of the 4th International Conference on Learning and Collaboration Technologies, LCT 2017, held as part of the 19th International Conference on Human-Computer Interaction, HCII 2017, in Vancouver, BC, Canada, …
Currently Displaying Results
1167826-1167850 of 1545934