Bøker i Lecture Notes in Computer Science-serien

This book constitutes the refereed proceedings of the 8th International Conference on Quantum Interaction, QI 2014, held in Filzbach, Switzerland, in June/July 2014.

This two volume set LNCS 9049 and LNCS 9050 constitutes the refereed proceedings of the 20th International Conference on Database Systems for Advanced Applications, DASFAA 2015, held in Hanoi, Vietnam, in April 2015. The papers cover the following topics: data mining; data streams and time series; information integration and data quality;

This two-volume set, LNAI 9077 + 9078, constitutes the refereed proceedings of the 19th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2015, held in Ho Chi Minh City, Vietnam, in May 2015. The proceedings contain 117 paper carefully reviewed and selected from 405 submissions.

This two-volume set, LNAI 9077 + 9078, constitutes the refereed proceedings of the 19th Pacific-Asia Conference on Advances in Knowledge Discovery and Data Mining, PAKDD 2015, held in Ho Chi Minh City, Vietnam, in May 2015. The proceedings contain 117 paper carefully reviewed and selected from 405 submissions.

This book constitutes the proceedings of the 12th International Conference on the Integration of Artificial Intelligence (AI) and Operations Research (OR) Techniques in Constraint Programming, CPAIOR 2015, held in Barcelona, Spain, in May 2015.

This book constitutes the refereed proceedings of Satellite Events held at the 19th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2014 in November 2014.

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Workshop on New Frontiers in Mining Complex Patterns, NFMCP 2014, held in conjunction with ECML-PKDD 2014 in Nancy, France, in September 2014.

The papers are organized along a set of thematic tracks: program analysis and transformation, constraint handling rules, termination analysis, security, program testing and verification, program synthesis, program derivation, semantic issues in logic programming and program transformation and optimization.

This two volume set LNCS 9234 and 9235 constitutes the refereed conference proceedings of the 40th International Symposium on Mathematical Foundations of Computer Science, MFCS 2015, held in Milan, Italy, in August 2015.

This book constitutes the refereed proceedings of the 4th International Conference on Electronic Government and the Information Systems Perspective, EGOVIS 2015, held in Valencia, Spain, in September 2015, in conjunction with DEXA 2015. The papers are organized in the following topical sections: semantic technologies in e-government;

This book constitutes the thoroughly refereed post-workshop proceedings of the Second International Workshop on Modelling and Simulation for Autonomous Systems, MESAS 2015, held in Prague, Czech Republic, in April 2015. The 18 revised full papers included in the volume were carefully reviewed and selected from 33 submissions.

This book constitutes the refereed proceedings of the 14th International Symposium on Spatial and Temporal Databases, SSTD 2015, held in Hong Kong, China, in August 2015. The 24 revised full papers together with 8 demos presented were carefully reviewed and selected from 64 submissions.

We asked all workshops to follow a rigid paper selection process, including the procedure to ensure that any Program Committee members are excluded from the paper review process of any paper they are involved with.

This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on E-Voting and Identity, VoteID 2015, held in Bern, Switzerland, in September 2015. The 10 revised full papers presented, including one keynote and three invited talks, were carefully selected from 26 submissions.

This book constitutes the proceedings of the 12th International Conference on Quantitative Evaluation of Systems, QEST 2015, held in Madrid, Spain, in September 2015. They are organized in topical sections named: modelling and applications; and queuing systems and hybrid systems.

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. intelligent computing and knowledge discovery and data mining;

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. intelligent computing and knowledge discovery and data mining;

The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of the graduate track, and 13 challenge track papers were carefully reviewed and selected from 51 submissions.

This book constitutes the proceedings of the 4th International Conference on Cryptology and Information Security in Latin America, LatinCrypt 2015, held in Guadalajara, Mexico, in August 2015. The 20 papers presented were carefully reviewed and selected from 49 submissions.

This book constitutes the refereed proceedings of the 20th International Symposium on Fundamentals of Computation Theory, FCT 2015, held in Gdansk, Poland, in August 2015. The papers cover topics in three main areas: algorithms, formal methods, and emerging fields and are organized in topical sections on geometry, combinatorics, text algorithms;

This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.

This book - in conjunction with the double volume LNCS 9225-9226 - constitutes the refereed proceedings of the 11th International Conference on Intelligent Computing, ICIC 2015, held in Fuzhou, China, in August 2015.

This book constitutes the refereed proceedings of the 7th IAPR TC3 International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2016, held in Ulm, Germany, in September 2016.

This book constitutes the refereed post-proceedings of the 4th International Conference on Networked Systems, NETYS 2016, held in Marrakech, Morocco, in May 2016.The 22 full papers and 11 short papers presented together with 19 poster abstracts were carefully reviewed and selected from 121 submissions.They report on best practices and novel algorithms, results and techniques on networked systems and cover topics such as multi-core architectures, concurrent and distributed algorithms, parallel/concurrent/distributed programming, distributed databases, cloud systems, networks, security, and formal verification. 

It provides an introduction and gives guidance for the next generation of researchers in this field.The 18 papers presented in this volume, together with an introduction, are the outcome of a GI-Dagstuhl seminar which was held at Schloss Dagstuhl in July 2015.

The three volume set LNAI 9851, LNAI 9852, and LNAI 9853 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2016, held in Riva del Garda, Italy, in September 2016.

The three volume set LNAI 9851, LNAI 9852, and LNAI 9853 constitutes the refereed proceedings of the European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2016, held in Riva del Garda, Italy, in September 2016.

This book constitutes the refereed proceedings of the 19th International Conference on Information Security, ISC 2016, held in Honolulu, HI, USA, in September 2016.

This book constitutes the refereed proceedings of the 10th International Conference on Scalable Uncertainty Management, SUM 2016, held in Nice, France, in September 2016.The 18 regular papers and 5 short papers were carefully reviewed and selected from 35 submissions. Papers are solicited in all areas of managing and reasoning with substantial and complex kinds of uncertain, incomplete or inconsistent information. These include (but are not restricted to) applications in decision support systems, risk analysis, machine learning, belief networks, logics of uncertainty, belief revision and update, argumentation, negotiation technologies, semantic web applications, search engines, ontology systems, information fusion, information retrieval, natural language processing, information extraction, image recognition, vision systems, data and text mining, and the consideration of issues such as provenance, trust, heterogeneity, and complexity of data and knowledge.