Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications Read more about Proceedings of the Eighth International Workshop on the ACL2 Theorem Prover and its Applications
Proceedings of the eighth international workshop on Real-Time Ada Read more about Proceedings of the eighth international workshop on Real-Time Ada
Proceedings of the Eighth International Workshop on Dynamic Analysis Read more about Proceedings of the Eighth International Workshop on Dynamic Analysis
Proceedings of the Eighth International Workshop on Data Mining for Online Advertising Read more about Proceedings of the Eighth International Workshop on Data Mining for Online Advertising
Proceedings of the Eighth International Workshop on Data Management on New Hardware Read more about Proceedings of the Eighth International Workshop on Data Management on New Hardware
Proceedings of the eighth international symposium on Multiple-valued logic Read more about Proceedings of the eighth international symposium on Multiple-valued logic
Proceedings of the Eighth International Symposium on Information and Communication Technology Read more about Proceedings of the Eighth International Symposium on Information and Communication Technology
Proceedings of the Eighth International Conference on Telecommunications and Remote Sensing Read more about Proceedings of the Eighth International Conference on Telecommunications and Remote Sensing
Proceedings of the eighth international conference on Information and knowledge management Read more about Proceedings of the eighth international conference on Information and knowledge management
Proceedings of the Eighth International Conference on Information and Communication Technologies and Development Read more about Proceedings of the Eighth International Conference on Information and Communication Technologies and Development
ΚΟΙΝΟΠΡΑΞΙΑ ΚΥΠΡΙΑΚΩΝ ΒΙΒΛΙΟΘΗΚΩΝ (ΚΚΥΒ)