Service-Oriented Computing - 9783319462943

McCune - Automated Deduction - CADE-14 14th International Conference - X555z

Hu - Computing and Combinatorics 14th International Conference COCO - X555z

Huang - Intelligent Computing Methodologies 14th International Confe - X555z

Brinksma - Computer Aid Verification 14th International Conference - X555z

Herlihy - Distributed Computing 14th International Conference DISC - X555z

Kappel - Service Oriented Computing 9th International Conference IC - X555z

Rusinski - Proceedings of the 14th International Scientific Conference - X555z