
Integration of Constraint Programming, Artificial Intelligence, and Operations Research
584,-

Geometric Science of Information
1 124,-

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium
854,-

Advances in Computer Games
584,-

The Logic of Software. A Tasting Menu of Formal Methods
1 124,-

Structural Information and Communication Complexity
584,-

Algorithmic Aspects of Cloud Computing
611,-

Verification and Evaluation of Computer and Communication Systems
584,-

Mathematical Aspects of Computer and Information Sciences
584,-

Models, Algorithms, Logics and Tools
584,-

Integration of Constraint Programming, Artificial Intelligence, and Operations Research
584,-

Geometric Science of Information
1 124,-

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles. Reocas Colloquium
854,-

Advances in Computer Games
584,-

The Logic of Software. A Tasting Menu of Formal Methods
1 124,-

Structural Information and Communication Complexity
584,-

Algorithmic Aspects of Cloud Computing
611,-

Verification and Evaluation of Computer and Communication Systems
584,-

Mathematical Aspects of Computer and Information Sciences
584,-

Models, Algorithms, Logics and Tools
584,-