Cover Image

Frontiers of Combining Systems

This open access book constitutes the refereed proceedings of the 15th International Symposium on Frontiers of Combining Systems, FroCoS 2025, held in Reykjavik, Iceland, during September 29–October 1, 2025. The 21 full papers included in the proceedings were carefully reviewed and selected from 32...

Full description

Saved in:
Format: Online
Language:English
Published: Springer Nature 2025
Subjects:
Open Access
artificial intelligence
computer networks
automated reasoning
computer systems
description logics
formal languages
formal logic
constraint solving
decision procedures
network protocols
ontologies
semantics
software architecture
software design
software engineering
software quality
verification and validation
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
thema EDItEUR::U Computing and Information Technology::UK Computer hardware
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
Online Access:ONIX_20251020T130859_9783032041678_30
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items