共 50 条
- [32] Practical large-scale synthesis of octalactin A. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2001, 222 : U100 - U101
- [36] Efficient Large-Scale Model Checking 2009 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL & DISTRIBUTED PROCESSING, VOLS 1-5, 2009, : 201 - +
- [37] Efficient Large-Scale Structured Learning 2013 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR), 2013, : 1806 - 1813