[ACM Press the 2011 ACM annual international conference - Denver, Colorado, USA (2011.11.06-2011.11.10)] Proceedings of the 2011 ACM annual international conference on Special interest group on the ada programming language - SIGAda '11 - Improving quality of Ada software with range analysis
- 作者Abraham, Jay; Chapple, Jeff; Preve, Cyril
- 文件大小370.60KB
- 发表时间2011
- DOI10.1145/2070337.2070342
[ACM Press the 20th ACM international conference - Nara, Japan (2012.10.29-2012.11.02)] Proceedings of the 20th ACM international conference on Multimedia - MM '12 - EyekeOkunaka, Takeshi; Tonomura, Yoshinobu · 2012
[ACM Press the 20th ACM international conference - Nara, Japan (2012.10.29-2012.11.02)] Proceedings of the 20th ACM international conference on Multimedia - MM '12 - DVSZhang, Ying; Zimmermann, Roger · 2012
[ACM Press the 20th ACM international conference - Nara, Japan (2012.10.29-2012.11.02)] Proceedings of the 20th ACM international conference on Multimedia - MM '12 - SymCityTolias, Giorgos; Kalantidis, Yannis; Avrithis, Yannis · 2012
[ACM Press the 20th ACM international conference - Nara, Japan (2012.10.29-2012.11.02)] Proceedings of the 20th ACM international conference on Multimedia - MM '12 - LikeLinesVliegendhart, Raynor; Larson, Martha; Hanjalic, Alan · 2012
[ACM Press the 20th ACM international conference - Nara, Japan (2012.10.29-2012.11.02)] Proceedings of the 20th ACM international conference on Multimedia - MM '12 - PDSSZhai, Xiaohua; Peng, Yuxin; Xiao, Jianguo · 2012
[ACM Press the 20th ACM international conference - Nara, Japan (2012.10.29-2012.11.02)] Proceedings of the 20th ACM international conference on Multimedia - MM '12 - PRiSMATolchinsky, Pancho; Chiarandini, Luca; Jaimes, Alejandro · 2012
[ACM Press the 20th ACM international conference - Nara, Japan (2012.10.29-2012.11.02)] Proceedings of the 20th ACM international conference on Multimedia - MM '12 - MotchWang, Guanfeng; Seo, Beomjoo; Zimmermann, Roger · 2012
[ACM Press the 20th ACM international conference - Nara, Japan (2012.10.29-2012.11.02)] Proceedings of the 20th ACM international conference on Multimedia - MM '12 - MixPadYang, Xin; Liao, Chunyuan; Liu, Qiong · 2012