ArtsIT, Interactivity and Game Creation: 11th EAI International Conference, 2022

Collaborative Computing : 11th International Conference, Collaboratecom 2015,...

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Ge

Computer-Aided Reasoning: An Approach

Computer Aided Verification 28th International Conference CAV 201

Computer-Aided Manufacturing (Prentice Hall International Series in Industrial a

Computers Helping People with Special Needs: 11th International Conference, ICC