计算机与互联网 Tools for High Performance Computing 2014: Proceedings of the 8th International Workshop on Parallel Tools for High Performance Computing, October 2014, HLRS, Stuttgart, Germany2021-04-06girro
计算机与互联网 Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 20152021-03-25girro
计算机与互联网 Patterns of HCI Design and HCI Design of Patterns: Bridging HCI Design and Model-Driven Software Engineering2021-03-24girro