학술논문
'학술논문'
에서 검색결과 69건 | 목록
1~10
Conference
2014 Second International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering Software Engineering for High Performance Computing in Computational Science and Engineering (SE-HPCCSE), 2014 Second International Workshop on. :1-5 Nov, 2014
Academic Journal
Conference
Proceedings of the 23rd international conference on Supercomputing.
Conference
Proceedings of the tenth annual ACM symposium on Principles of distributed computing. :217-230
Academic Journal
Automated Software Engineering; Dec2012, Vol. 19 Issue 4, p491-530, 40p
Academic Journal
Formal Methods in System Design. Jan 01, 2002 20(1):5-5
Academic Journal
Formal Aspects of Computing; May1997, Vol. 9 Issue 3, p270-282, 13p
검색 결과 제한하기
제한된 항목
[AR] Sanders, Beverly
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어