Linking Theory and Practice of Digital Libraries
This book constitutes the refereed proceedings of the 27th International Conference on Linking...
EAN: 9783031438486
Quantitative Evaluation of Systems
This book constitutes the proceedings of the 20th International Conference on Quantitative...
EAN: 9783031438349
Machine Learning and Knowledge Discovery in Databases: Applied Data Science and Demo Track
EAN: 9783031434266
Machine Learning and Knowledge Discovery in Databases: Research Track
EAN: 9783031434235
Machine Learning and Knowledge Discovery in Databases: Research Track
EAN: 9783031434143
Machine Learning and Knowledge Discovery in Databases: Research Track
EAN: 9783031434112
Animated Program Design
It introduces the reader to generative recursion, heuristic searching, accumulative recursion,...
EAN: 9783031043192
Innovations in Information and Communication Technologies
This book gathers selected papers presented at the International Conference on Innovations in...
EAN: 9789811937989
Formal Methods for Industrial Critical Systems
This book constitutes the proceedings of the 28th International Conference on Formal Methods for...
EAN: 9783031436802
Machine Learning and Knowledge Discovery in Databases: Applied Data Science and Demo Track
EAN: 9783031434297
Formal Modeling and Analysis of Timed Systems
This book constitutes the refereed proceedings of the 21st International Conference on Formal...
EAN: 9783031426254
Collaborative Networks in Digitalization and Society 5.0
EAN: 9783031426216
Systems, Software and Services Process Improvement
This two-volume set constitutes the refereed proceedings of the 30th European Conference on...
EAN: 9783031423093
Euro-Par 2023: Parallel Processing
This book constitutes the proceedings of the 29th International Conference on Parallel and...
EAN: 9783031396977
Handbook on Artificial Intelligence-Empowered Applied Software Engineering
EAN: 9783031082047
Large-Scale Agile Frameworks
The book Large-Scale Agile Frameworks provides practical solutions for cross-team and...
EAN: 9783662677810
Machine Learning and Knowledge Extraction
This volume LNCS-IFIP constitutes the refereed proceedings of the 7th IFIP TC 5, TC 12, WG 8.4,...
EAN: 9783031408366
Applicable Formal Methods for Safe Industrial Products
After studying mathematics at the University of Hamburg, Jan worked with Philips and Deutsche...
EAN: 9783031401312
Database and Expert Systems Applications
EAN: 9783031398209
Multi-Agent Programming Contest 2022
This book constitutes the 16th edition of the annual Multi-Agent Programming Contest, MAPC 2022....
EAN: 9783031387111
Embedded Computer Systems: Architectures, Modeling, and Simulation
This book constitutes the proceedings of the 22st International Conference on Embedded Computer...
EAN: 9783031460760
Enterprise Information Systems
This book constitutes the refereed post-conference proceedings of the 24th International...
EAN: 9783031393853