共 50 条
- [1] Towards the verifying compiler FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT, 2003, 2757 : 151 - 160
- [2] Towards a Compiler for Reals ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2017, 39 (02):
- [3] Towards the verifying compiler FROM OBJECT-ORIENTATION TO FORMAL METHODS: ESSAYS IN MEMORY OF OLE-JOHAN DAHL, 2004, 2635 : 124 - 136
- [5] Towards intelligent mechatronic systems RESEARCH IN ENGINEERING DESIGN-THEORY APPLICATIONS AND CONCURRENT ENGINEERING, 1996, 8 (03): : 139 - 150
- [6] Towards a Simple Service Compiler 6TH INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND COMMUNICATION, ICAC-INDUST'09, 2009, : 1 - 1
- [8] Towards a Natural Language Compiler ADVANCES IN COMPUTATIONAL INTELLIGENCE, MICAI 2018, PT II, 2018, 11289 : 70 - 82
- [9] Towards an Integrated Mechatronic Design Process 2009 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS, VOLS 1 AND 2, 2009, : 114 - 119
- [10] Towards a general tool for mechatronic design CCA 2003: PROCEEDINGS OF 2003 IEEE CONFERENCE ON CONTROL APPLICATIONS, VOLS 1 AND 2, 2003, : 1035 - 1040