ACL2: ACL2 Theorem Prover and its Applications Read more about ACL2: ACL2 Theorem Prover and its Applications
ACISNR: Applications of Computer and Information Sciences to Nature Research Read more about ACISNR: Applications of Computer and Information Sciences to Nature Research
ACET: Advances in Computer Enterntainment Technology Read more about ACET: Advances in Computer Enterntainment Technology
ACDC: Automated Control for Datacenters and Clouds Read more about ACDC: Automated Control for Datacenters and Clouds
AAMAS: Autonomous Agents and Multiagent Systems Read more about AAMAS: Autonomous Agents and Multiagent Systems
AADEBUG: Automated analysis-driven debugging Read more about AADEBUG: Automated analysis-driven debugging
AAA-IDEA : Advanced Architectures and Algorithms for Internet Delivery and Applications Read more about AAA-IDEA : Advanced Architectures and Algorithms for Internet Delivery and Applications
A2CWiC: Conference of Women in Computing in India Read more about A2CWiC: Conference of Women in Computing in India
ΚΟΙΝΟΠΡΑΞΙΑ ΚΥΠΡΙΑΚΩΝ ΒΙΒΛΙΟΘΗΚΩΝ (ΚΚΥΒ)