

Numerical Software Verification
584,-

Multi-Agent Systems
584,-

Agent-Oriented Software Engineering XIII
476,-

Engineering Multi-Agent Systems
737,-

New Trends in Image Analysis and Processing - ICIAP 2017
584,-

Computational Science and Its Applications - ICCSA 2024
854,-

Computational Science and Its Applications - ICCSA 2024
2 429,-

From Software Engineering to Formal Methods and Tools, and Back
584,-

Computational Logic in Multi-Agent Systems
476,-

Computational Science and Its Applications - ICCSA 2025
971,-

Numerical Software Verification
584,-

Multi-Agent Systems
584,-

Agent-Oriented Software Engineering XIII
476,-

Engineering Multi-Agent Systems
737,-

New Trends in Image Analysis and Processing - ICIAP 2017
584,-

Computational Science and Its Applications - ICCSA 2024
854,-

Computational Science and Its Applications - ICCSA 2024
2 429,-

From Software Engineering to Formal Methods and Tools, and Back
584,-

Computational Logic in Multi-Agent Systems
476,-

Computational Science and Its Applications - ICCSA 2025
971,-














