Dynamic Logic. New Trends and Applications
This book constitutes revised selected papers from the refereed proceedings of the 4th...
EAN: 9783031266218
Edge Computing – EDGE 2022
This book constitutes the proceedings of the 6th International Conference on Edge Computing, EDGE...
EAN: 9783031234699
Supercomputing
This book constitutes the refereed proceedings of the 8th Russian Supercomputing Days on...
EAN: 9783031229404
Current Trends in Web Engineering
This volume constitutes the papers of several workshops which were held in conjunction with the...
EAN: 9783031253799
Verification, Model Checking, and Abstract Interpretation
The contributions deal with program verification, model checking, abstract interpretation,...
EAN: 9783031249495
Formal Methods: Foundations and Applications
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods,...
EAN: 9783031224751
Information Technologies and Intelligent Decision Making Systems
This book constitutes selected papers presented at the First International Scientific and...
EAN: 9783031213397
Dependable Software Engineering. Theories, Tools, and Applications
This book constitutes the proceedings of the 8th International Symposium on Dependable Software...
EAN: 9783031212123
Internet of Things
This book constitutes revised selected papers from the refereed proceedings of the 5th The Global...
EAN: 9783031209352
Game Jams – History, Technology, and Organisation
This book will provide a comprehensive guide to creating and managing a game jam. The book will...
EAN: 9783031151866
Composing Model-Based Analysis Tools
This book presents joint works of members of the software engineering and formal methods...
EAN: 9783030819170
Practice of Enterprise Modeling
This book constitutes the proceedings of the 15th IFIP Working Conference on the Practice of...
EAN: 9783031214875
Search-Based Software Engineering
This book constitutes the proceedings of the 14th International Symposium on Search-Based...
EAN: 9783031212505
Service-Oriented Computing
This book constitutes the proceedings of the 20th International Conference on Service-Oriented...
EAN: 9783031209833
Advanced Research in Technologies, Information, Innovation and Sustainability
The two-volume Proceedings set CCIS 1675 and 1676 constitutes the refereed proceedings of the...
EAN: 9783031203183
Advanced Research in Technologies, Information, Innovation and Sustainability
The two-volume Proceedings set CCIS 1675 and 1676 constitutes the refereed proceedings of the...
EAN: 9783031203152
Autonomous Agents and Multiagent Systems. Best and Visionary Papers
EAN: 9783031201783
Engineering Software for Modern Challenges
This volume constitutes selected papers presented at the First International Conference on...
EAN: 9783031199677
Artificial General Intelligence
This book constitutes the refereed proceedings of the 15th International Conference on Artificial...
EAN: 9783031199066
Model-Based Approaches to the Internet of Things
EAN: 9783031188831
Computer Security – ESORICS 2022
The three volume set LNCS 13554, 13555, 13556 constitutes the proceedings of the 27th European...
EAN: 9783031171451
Handbook of Re-Engineering Software Intensive Systems into Software Product Lines
EAN: 9783031116858