Mobile Web and Intelligent Information Systems
This book constitutes the refereed proceedings of the 15th International Conference on Mobile Web...
EAN: 9783319971629
Advances in Cryptology – CRYPTO 2018
The three volume-set, LNCS 10991, LNCS 10992, and LNCS 10993, constitutes the refereed...
EAN: 9783319968803
Machine Learning for Dynamic Software Analysis: Potentials and Limits
Machine learning of software artefacts is an emerging area of interaction between the machine...
EAN: 9783319965611
Formal Methods
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal...
EAN: 9783319955810
Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection
This book constitutes the proceedings of the 16th International Conference on Practical...
EAN: 9783319945798
Services – SERVICES 2018
This book constitutes the refereed proceedings of the 14th World Congress on Services, SERVICES...
EAN: 9783319944715
Logic-Based Program Synthesis and Transformation
This book constitutes the thoroughly refereed post-conference proceedings of the 27th...
EAN: 9783319944593
Services Computing – SCC 2018
This book constitutes the proceedings of the International Conference on Services Computing, SCC...
EAN: 9783319943756
Internet of Things – ICIOT 2018
This book constitutes the proceedings of the International Conference on Internet of Things,...
EAN: 9783319943695
Automated Reasoning
This book constitutes the refereed proceedings of the 9th International Joint Conference on...
EAN: 9783319942049
Theory and Applications of Satisfiability Testing – SAT 2018
This book constitutes the refereed proceedings of the 21st International Conference on Theory and...
EAN: 9783319941431
Model Checking Software
This book constitutes the refereed proceedings of the 25th International Symposium on Model...
EAN: 9783319941103
Theory and Practice of Model Transformation
This book constitutes the refereed proceedings of the 11th International Conference on Model...
EAN: 9783319933160
Modelling Foundations and Applications
This book constitutes the proceedings of the 14th European Conference on Modelling Foundations...
EAN: 9783319929965
Tests and Proofs
This book constitutes the refereed proceedings of the 12th International Conference on Tests and...
EAN: 9783319929934
Unconventional Computation and Natural Computation
This book constitutes the proceedings of the 17th International Conference on Unconventional...
EAN: 9783319924342
Design, User Experience, and Usability: Theory and Practice
The three-volume set LNCS 10918, 10919, and 10290 constitutes the proceedings of the 7th...
EAN: 9783319917962
Service-Oriented Computing – ICSOC 2017 Workshops
EAN: 9783319917634
Advanced Computing Strategies for Engineering
This double volume set ( LNAI 10863-10864) constitutes the refereed proceedings of the 25th...
EAN: 9783319916378
Advanced Computing Strategies for Engineering
This double volume set ( LNAI 10863-10864) constitutes the refereed proceedings of the 25th...
EAN: 9783319916347
Advanced Information Systems Engineering
EAN: 9783319915623
