Computer Networks 21st International Conference, CN 2014, Brunów, Poland, June 23-27, 2014. Proceedings

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems 16th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2016, Bertinoro, Italy, June 20-24, 2016, Advanced Lectures

Privacy in Statistical Databases UNESCO Chair in Data Privacy, International Conference, PSD 2018, Valencia, Spain, September 26–28, 2018, Proceedings

Computational Intelligence Methods for Bioinformatics and Biostatistics 12th International Meeting, CIBB 2015, Naples, Italy, September 10-12, 2015, Revised Selected Papers

Information Technologies and Mathematical Modelling - Queueing Theory and Applications 15th International Scientific Conference, ITMM 2016, named after A.F. Terpugov, Katun, Russia, September 12-16, 2016. Proceedings

Artificial Intelligence in Medicine 17th Conference on Artificial Intelligence in Medicine, AIME 2019, Poznan, Poland, June 26–29, 2019, Proceedings

Internet of Things, Smart Spaces, and Next Generation Networks and Systems 19th International Conference, NEW2AN 2019, and 12th Conference, ruSMART 2019, St. Petersburg, Russia, August 26–28, 2019, Proceedings

Computer and Information Sciences 31st International Symposium, ISCIS 2016, Kraków, Poland, October 27–28, 2016, Proceedings

Semantics of the Probabilistic Typed Lambda Calculus Markov Chain Semantics, Termination Behavior, and Denotational Semantics

Theory and Applications of Formal Argumentation 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers

Applied Machine Learning

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings