Multivariate Analysis. Proceedings of the fourth international Symposium on Mult

Network Analysis Models. Proceedings of the International Symposium on geodetic

Automated Technology for Verification and Analysis: 9th International Symposium,

Automated Technology for Verification and Analysis: 21st International Symposium

Systems Analysis and Simulation 1980. Proceedings of the International Symposium

Artificial Intelligence and Image Analysis: 18th International Symposium on Arti

Automated Technology for Verification and Analysis - 9783319249520

Automated Technology for Verification and Analysis - 9783030591519