대구한의대학교 향산도서관

바구니

검색간략리스트

1.
저널기사
실시간 스케줄링을 위한 SAT 알고리즘을 적용: / 박경태 나승진 백은옥 / 한국정보과학회 / 학술발표논문집(한국정보과학회) / 2008 /