Formal Techniques for Distributed Objects, Components, and Systems
EAN: 9783031626449
NASA Formal Methods
This LNCS 14627 conference volume constitutes the proceedings of the 16th International Symposium...
EAN: 9783031606977
Structural Information and Communication Complexity
This book constitutes the refereed proceedings of the 31th International Colloquium on Structural...
EAN: 9783031606021
International Conference on Applied Technologies
EAN: 9783031589553
International Conference on Applied Technologies
EAN: 9783031589522
Assessing Policy Effectiveness using AI and Language Models
This volume uses advanced machine learning techniques to analyze government communication to...
EAN: 9783031560965
Web and Big Data. APWeb-WAIM 2023 International Workshops
This proceedings constitutes selected papers from the Workshops KGMA and SemiBDMA which were held...
EAN: 9789819729906
Web and Big Data
The 4-volume set LNCS 14331, 14332, 14333, and 14334 constitutes the refereed proceedings of the...
EAN: 9789819724208
Digital Transformation of SAP Supply Chain Processes
EAN: 9798868802690
Research Challenges in Information Science
This book constitutes the proceedings of the 18th International Conference on Research Challenges...
EAN: 9783031594670
Research Challenges in Information Science
This book constitutes the proceedings of the 18th International Conference on Research Challenges...
EAN: 9783031594649
Data and Process Visualisation for Graphic Communication
This book guides the reader through the process of graphic communication with a particular focus...
EAN: 9783031570506
Software Architectures
The single chapters are on transformation between requirements and architectures, architectures...
EAN: 9783031513343
Web and Big Data
The 4-volume set LNCS 14331, 14332, 14333, and 14334 constitutes the refereed proceedings of the...
EAN: 9789819723898
Web and Big Data
The 4-volume set LNCS 14331, 14332, 14333, and 14334 constitutes the refereed proceedings of the...
EAN: 9789819723867
Simulation Tools and Techniques
This proceedings constitutes the refereed post-conference proceedings of the 15th International...
EAN: 9783031575228
Automated Technology for Verification and Analysis
The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International...
EAN: 9783031787089
Software Architecture. ECSA 2024 Tracks and Workshops
In addition, it contains the proceedings of the two workshops:7th Context-Aware, Autonomous and...
EAN: 9783031709456
Service-Oriented Computing
The two-volume set LNCS 15404 and 15405 constitutes the refereed proceedings of the 22nd...
EAN: 9789819608072
Service-Oriented Computing
The two-volume set LNCS 15404 and 15405 constitutes the refereed proceedings of the 22nd...
EAN: 9789819608041
Metrics for Test Reporting
He shows how a particular metric can be individually adapted to the software to be tested,...
EAN: 9783658440053
