Principles and Practice of Constraint Programming
This book constitutes the proceedings of the 24th International Conference on Principles and...
EAN: 9783319983332
Security and Cryptography for Networks
This book constitutes the proceedings of the 11th International Conference on Security and...
EAN: 9783319981123
Artificial General Intelligence
This book constitutes the proceedings of the 11th International Conference on Artificial General...
EAN: 9783319976754
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
Intelligent Computer Mathematics
?This book constitutes the refereed proceedings of the 11th International Conference on...
EAN: 9783319968117
Towards Autonomous Robotic Systems
This book constitutes the refereed proceedings of the 19th Annual Conference on Towards...
EAN: 9783319967271
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
Principles of Modeling
Pepper Distinguished Professor Emeritus and Professor in the Graduate School in the Department of...
EAN: 9783319952451
Formal Methods
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal...
EAN: 9783319955810
Implementation and Application of Automata
This book constitutes the proceedings of the 23rd International Conference on Implementation and...
EAN: 9783319948119
Computing and Combinatorics
This book constitutes the proceedings of the 24th International Conference on Computing and...
EAN: 9783319947754
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
Web Services – ICWS 2018
They are organized in topical sections such as Web Services, RESTful web services, Web Services...
EAN: 9783319942889
Wireless Algorithms, Systems, and Applications
This book constitutes the proceedings of the 13th International Conference on Wireless...
EAN: 9783319942674
Automated Reasoning
This book constitutes the refereed proceedings of the 9th International Joint Conference on...
EAN: 9783319942049
