Web3D: 3D technologies for the World Wide Web Read more about Web3D: 3D technologies for the World Wide Web
TAU: Timing Issues In The Specification And Synthesis Of Digital Systems Read more about TAU: Timing Issues In The Specification And Synthesis Of Digital Systems
SIGSOFT: Foundations of Software Engineering Read more about SIGSOFT: Foundations of Software Engineering
Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design Read more about Proceedings of the First ACM and IEEE International Conference on Formal Methods and Models for Co-Design
Proceedings of the conference on Design, automation and test in Europe Read more about Proceedings of the conference on Design, automation and test in Europe
Proceedings of the 9th international symposium on System synthesis Read more about Proceedings of the 9th international symposium on System synthesis
Proceedings of the 8th International Workshop on Software Specification and Design Read more about Proceedings of the 8th International Workshop on Software Specification and Design
Cyprus Libraries Consortium (CLC)