Numerical Computations: Theory and Algorithms
EAN: 9783031812460
Numerical Computations: Theory and Algorithms
EAN: 9783031812439
Numerical Computations: Theory and Algorithms
EAN: 9783031812408
Conceptualizing Digital Responsibility for the Information Age
This book is the first volume of proceedings from the 18th International Conference on...
EAN: 9783031801181
Handbook on Teaching Empirical Software Engineering
EAN: 9783031717680
Artificial Intelligence Algorithm Design for Systems
This volume delves into the application of Artificial Intelligence within systems and network...
EAN: 9783031705175
Software Engineering Methods Design and Application
This book dives into contemporary research methodologies, emphasising the innovative use of...
EAN: 9783031702846
Cybernetics and Control Theory in Systems
Addressing key issues in modern cybernetics and informatics, this book presents vital research...
EAN: 9783031702990
Big Data Infrastructure Technologies for Data Analytics
EAN: 9783031693656
From Data to Models and Back
This book constitutes the refereed proceedings of the 11th International Symposium on From Data...
EAN: 9783031872167
Proceedings of the 15th International Conference on Soft Computing and Pattern Recognition (SoCPaR 2023)
This book presents 55 selected papers focused on Deep Learning and Large Language Models from the...
EAN: 9783031810824
Real Time and Such
This Festschrift reflects Professor Wang Yi's contributions to the fields of formal methods,...
EAN: 9783031737503
Performance Evaluation and Benchmarking
This book constitutes the refereed post-conference proceedings from the 15th TPC Technology...
EAN: 9783031680304
Qualitative Research with Socio-Technical Grounded Theory
and explore new opportunities in qualitative research using large language models in Chapter...
EAN: 9783031605321
Building Intelligent Apps with .NET and Azure AI Services
EAN: 9798868804342
Formal Methods
The open access book set LNCS 14933 + 14934 constitutes the refereed proceedings of the 26th...
EAN: 9783031711619
Engineering of Digital Twins
How can we use a DT to support decisions, and how do we maintain it through life?To this end, the...
EAN: 9783031667183
Explorations in the Mathematics of Data Science
This edited volume reports on the recent activities of the new Center for Approximation and...
EAN: 9783031664960
Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops
EAN: 9783031660207
Formal Concept Analysis
Formal Concept Analysis is a field of applied mathematics based on the mathematization of...
EAN: 9783031634215
Robust Argumentation Machines
This open access book constitutes the proceedings of the First International Conference on Robust...
EAN: 9783031635359