共 50 条
- [42] The Next 700 Syntactical Models of Type Theory PROCEEDINGS OF THE 6TH ACM SIGPLAN CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS, CPP'17, 2017, : 182 - 194
- [43] Panel: The Next 700 Distributed Object Systems OBJECT-ORIENTED TECHNOLOGY, PROCEEDINGS, 2002, 2323 : 208 - 212
- [46] Connecting people and ideas from around the world: global innovation platforms for next-generation ecology and beyond ECOSPHERE, 2015, 6 (04):
- [47] Next-Generation Sequencing Platforms ANNUAL REVIEW OF ANALYTICAL CHEMISTRY, VOL 6, 2013, 6 : 287 - 303
- [50] Evaluation of Cloud Platforms for Managing IoT Devices 2017 8TH INTERNATIONAL CONFERENCE ON INFORMATION, INTELLIGENCE, SYSTEMS & APPLICATIONS (IISA), 2017, : 481 - 486