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
Advances in Web-Based Learning – ICWL 2018
This book constitutes the proceedings of the 17th International Conference on Web-Based Learning,...
EAN: 9783319965642
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
Advances in Data Mining. Applications and Theoretical Aspects
This volume constitutes the proceedings of the 18th Industrial Conference on Adances in Data...
EAN: 9783319957852
Data and Applications Security and Privacy XXXII
This book constitutes the refereed proceedings of the 32nd Annual IFIP WG 11.3 International...
EAN: 9783319957289
Formal Methods
This book constitutes the refereed proceedings of the 22nd International Symposium on Formal...
EAN: 9783319955810
Bioinformatics Research and Applications
This book constitutes the proceedings of the 14th International Conference on Bioinformatics...
EAN: 9783319949673
Descriptional Complexity of Formal Systems
This book constitutes the proceedings of the 20th International Conference on Descriptional...
EAN: 9783319946306
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
Articulated Motion and Deformable Objects
This book constitutes the refereed proceedings of the 10th International Conference on...
EAN: 9783319945439
Smart Homes and Health Telematics, Designing a Better Future: Urban Assisted Living
This book constitutes the proceedings of the 16th International Conference on Smart Homes and...
EAN: 9783319945224
Blended Learning. Enhancing Learning Success
The papers are organized in topical sections named: Experiences in Blended Learning, Content...
EAN: 9783319945040
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
Artificial Intelligence and Mobile Services – AIMS 2018
This book constitutes the proceedings of the International Conference on Artificial Intelligence...
EAN: 9783319943602
Edge Computing – EDGE 2018
This book constitutes the proceedings of the International Conference on Edge Computing, EDGE...
EAN: 9783319943398
Cognitive Computing – ICCC 2018
This book constitutes the proceedings of the International Conference on Cognitive Computing,...
EAN: 9783319943060
Wireless Algorithms, Systems, and Applications
This book constitutes the proceedings of the 13th International Conference on Wireless...
EAN: 9783319942674
Image and Signal Processing
This book constitutes the refereed proceedings of the 8th International Conference on Image and...
EAN: 9783319942100
Automated Reasoning
This book constitutes the refereed proceedings of the 9th International Joint Conference on...
EAN: 9783319942049
