Results 1-10 of 13 (Search time: 0.0 seconds).
Issue Date | Title | Author(s) | Type |
---|---|---|---|
1991 | 프로그램 의미 검증기의 ICAI 응용 | 이현영 | Master's Thesis |
1991 | 이진 영상에서 원의 정보 추출에 관한 연구 | 김영미 | Master's Thesis |
1991 | 다각형 내부의 점 집합에 대한 형태 구성에 관한 연구 | 박정민 | Master's Thesis |
1991 | 애트리뷰트 문법을 이용한 컴파일러 개발 환경 구축에 관한 연구 | 김경아 | Master's Thesis |
1991 | 이산 시스템 시뮬레이션을 위한 가시적 모델링 시스템의 설계및 구현 | 김규하 | Master's Thesis |
1991 | X선 사진 탐사를 이용한 2차원 물체의 재구성에 관한 연구 | 이주은 | Master's Thesis |
1991 | 텍셀을 이용한 3차원 물체의 형상 인식 | 김도년 | Master's Thesis |
1991 | 물체의 3차원 운동 방향 인식 | 이현정 | Master's Thesis |
1991 | EAL 어셈블러와 자동테스터의 설계 및 구현 | 김정아 | Master's Thesis |
1991 | 단순 다각형에서 두 동적 감시자의 감시 체인에 관한 문제 | 문지영 | Master's Thesis |