| 41 | 네트의 범위를 고려한 Standard cell 초기 배치 알고리즘에 관한 연구 = A standard cell initial placement algorithm under the consideration of net rangeslink 최진희; Choi, Jin-Hee; 좌경룡; Chwa, Kyung-Yong, 한국과학기술원, 1988 |
| 42 | (A) study on implementation of SMALLTALK virtual machine = SMALLTALK 버추얼 머신의 開發에 관한 硏究link Cho, Ju-Hyun; 조주현; Chon, Kil-Nam; 전길남, 한국과학기술원, 1984 |
| 43 | Study on the automatic indexing system compared with the simi-automatic indexing system = 정보검색에서 반자동 Indexing 과 비교한 완전자동 indexing 에 대한 연구link Chung, In-Jung; 정인정; Cho, Jung-Wan; 조정완, 한국과학기술원, 1980 |
| 44 | 중앙집중형 트랜잭션 처리 시스템을 위한 동시성 제어 기법의 설계 및 구현 = Design and implementation of a concurrency control scheme for centralized transaction processing systemslink 김평철; Kim, Pyeong-Cheol; 이윤준; Lee, Yoon-Joon, 한국과학기술원, 1989 |
| 45 | Path pascal 을 위한 synchronizer 자동 생성 시스템 = An automatic synchronizer synthesis system for path pascallink 손경철; Sohn, Kyung-Cheol; 전길남; Chon, Kil-Nam, 한국과학기술원, 1987 |
| 46 | 설계 변환에 의한 소프트웨어 재구성에 관한 연구 = A study on software restructuring by design transformationslink 김장수; Kim, Jang-Su; 권용래; Kwon, Yong-Rae, 한국과학기술원, 1987 |
| 47 | (A) study on the minimax linear placement problem = Minimax linear placement 문제에 관한 연구link Ryu, Kwan-Woo; 유관우; Chwa, Kyung-Yong; 좌경룡, 한국과학기술원, 1982 |
| 48 | Common LISP의 확장 개념으로서 rule-based system의 통합 = An integration of rule-based system as an extension of common LISPlink 임선배; Lim, Sun-Bae; 김진형; Kim, Jin-H., 한국과학기술원, 1989 |
| 49 | 릴레이셔날 데이타 베이스 관리 시스템을 기초로 한 추론 시스템의 설계 및 구현 = Design and implementation of an inferential system based on relational DBMSlink 홍진수; Hong, Jin-Soo; 박철희; 정원량; Park, Chul-Hui; Chung, Won-Lyang, 한국과학기술원, 1983 |
| 50 | PLATO lesson modules for conic sections, bezier surfaces and cartesian product surfaces = 원추 곡선, 베지어 곡면 그리고 텐서적 곡면의 PLATO 렛슨link Jo, Eun-Seog; 조은석; Chung, Won-Lyang; 정원량, 한국과학기술원, 1984 |
