| 341 | Encapsulation에 의한 OSI 네트워크를 경유하는 인터네트 프로토콜 사이의 통신 = Internet protocol transit through OSI network by encapsulationlink 김종식; Kim, Jong-Shick; 전길남; Chon, Kil-Nam, 한국과학기술원, 1987 |
| 342 | 구조 지향적 에디팅 환경에서의 타입 검사 = A study on type checking in the structure-oriented editing environmentlink 김영주; Kim, Young-Ju; 권용래; Kwon, Yong-Rae, 한국과학기술원, 1989 |
| 343 | 통계 분석 지원을 위한 통합 요약 데이타 테이블의 설계 및 구현 = A design and implementation of integrated summary data tables supporting statistical analysislink 최원석; Choe, Weon-Seog; 이윤준; Lee, Yoon-Joon, 한국과학기술원, 1987 |
| 344 | 국어 대용어 해결 시스템의 설계및 구현 = The design and implementation of the korean anaphora resolution systemlink 허정; Hur, Jung; 김길창; 최기선; Kim, Gil-Chang; Choi, Ki-Sun, 한국과학기술원, 1986 |
| 345 | 마이크로 컴퓨터를 이용한 Micro-DB 시스템의 설계및 구현 = Micro-DB design and implementation for microcomputerslink 김병섭; Kim, Byung-Sup; 이석호; Lee, Suk-Ho, 한국과학기술원, 1982 |
| 346 | Design of resource sharing sytem in distributed system environments = 분산체제 환경에서의 자원공유 시스템 설계link Oh, Duck-Hwan; 오득환; Chon, Kil-Nam; 전길남, 한국과학기술원, 1985 |
| 347 | 이력 데이타베이스를 기반으로 하는 이력 요약 테이블의 설계 및 구현 = Design and implementation of temporal summary table based on temporal databaselink 안태호; Ahn, Tae-Ho; 이윤준; Lee, Yoon-Joon, 한국과학기술원, 1989 |
| 348 | Fault diagnosis of bit-sliced processors = Bit-sliced processors 의 고장진단link Park, Young-Gil; 박영길; Cho, Jung-Wan; 조정완, 한국과학기술원, 1982 |
| 349 | 최소 비용 오류 보정 파서에서 삽입및 삭제 비용 = Insertion and deletion cost in locally least-cost error repair parserlink 채의근; Chae, Yi-Geun; 최광무; Choe, Kwang-Moo, 한국과학기술원, 1988 |
| 350 | 규칙기반 시스템상의 진리유지 기능에 관한 연구 = A study on the truth maintenance system on a rule-based systemlink 권기춘; Kwon, Kee-Choon; 조항윤; Cho, Hang-Y., 한국과학기술원, 1989 |
