2261 | (An) experimental programming support system based on a syntax directed editor = Syntax directed editor 를 주축으로 한 실험적 프로그래밍 지원 시스템의 개발link Kim, Jin-Woo; 김진우; et al, 한국과학기술원, 1986 |
2262 | Extended numerical petri net 에 의한 SDL 표현의 모델링과 그 분석 = Modeling and analysis of SDL representations using extended numerical petri netlink 김환철; Kim, Hwan-Chul; et al, 한국과학기술원, 1986 |
2263 | (A) graphic editor for automatic fortran code generation in nuclear power plant process control environment = 원자력 발전소 공정제어 환경에서의 fortran 코드 자동 생성을 위한 그래픽 편집기link Kim, Yong-Il; 김용일; Chung, Won-Lyang; Shin, Hyun-Guk; et al, 한국과학기술원, 1986 |
2264 | 한국어 음성합성을 위한 음성표기 시스템의 설계 및 구현 = A design and implementation of the phonetic transcription system for korean speech synthesislink 김준; Kim, June; 조정완; 이윤준; et al, 한국과학기술원, 1986 |
2265 | Incorporating abstraction mechanisms into a logic programming language = Logic 프로그래밍 언어에 추상화 기법을 도입하기 위한 연구link Kim, Myung-Ho; 김명호; et al, 한국과학기술원, 1986 |
2266 | (An) AND/OR graph model for parallel execution of logic program = 논리언어의 병렬수행을 위한 AND/OR graph modellink Kim, Yong-Woon; 김용운; Cho, Jung-Wan; Maeng, Seung-Ryoul; et al, 한국과학기술원, 1986 |
2267 | 구조적 분석 기법의 자동화를 위한 기초 연구 = A study on automation of structured analysis techniqueslink 김동환; Kim, Dong-Hwan; et al, 한국과학기술원, 1986 |
2268 | 프롤로그와 관계 데이타베이스 시스템의 연결에 있어 순환법칙 처리방법에 관한 연구 = A recursion handling method in interfacing prolog with relational data base systemslink 김명균; Kim, Myoung-Gyun; et al, 한국과학기술원, 1986 |
2269 | Attribute grammer 를 이용한 종합적인 테스팅 도구 (intester) 에 관한 연구 = Implementation of integrated testing tool (intester) using attribute grammarslink 김대순; Kim, Dae-Soon; et al, 한국과학기술원, 1986 |
2270 | 동사패턴과 의미자질을 이용한 英韓機械飜譯에 관한 연구 = A study on english-to-korean machine translation using verb patterns and semantic featureslink 김덕봉; Kim, Deok-Bong; et al, 한국과학기술원, 1986 |
2271 | Software cost estimation for the microprocessor-embedded systems = 마이크로프로세서 내장시스템의 소프트웨어 개발비용 추정 사례연구link Kang, Kwan-Hee; 강관희; et al, 한국과학기술원, 1986 |
2272 | Error recovery routine 을 이용한 음성 인식에 관한 연구 = A study on the speech recognition using error recovery routinelink 강석호; Kang, Seok-Ho; 조정완; 이윤준; et al, 한국과학기술원, 1986 |
2273 | (An) office workstation based on distributed processing architecture = 분산 처리 구조를 기초로 한 사무용 Workstationlink Hwang, In-Bo; 황인보; et al, 한국과학기술원, 1985 |
2274 | Throughput and delay analysis of token-bus local area networks = 토큰-버스 근거리 통신망의 성능분석link Lee, Do-Young; 이도영; et al, 한국과학기술원, 1985 |
2275 | Nested atomic action and recoverability in distributed systems = 분산 체제에서의 Nested atomic action 에 관한 연구link Hur, Jin-Ho; 허진호; et al, 한국과학기술원, 1985 |
2276 | Design of distributed file system Kernel on broadcast network = Broadcast network 상에서의 분산화일체제의 Kernel의 설계link Chung, Chul; 정철; et al, 한국과학기술원, 1985 |
2277 | Definition and fairing of ship hull using a B-spline surface = B-spline 곡면을 이용한 선체 표면의 정의 및 fairinglink Suh, Seung-Wan; 서승완; et al, 한국과학기술원, 1985 |
2278 | On the 111-formed input recognition and processing in HAPS2 = HAPS2에서의 불규칙 형태를 갖는 입력의 인식 및 처리에 관한 연구link Choi, Young-Bae; 최영배; et al, 한국과학기술원, 1985 |
2279 | Construction of integrated testing tools using attribute grammar = Attribute grammar 를 이용한 종합적인 테스팅 도구 구성에 관한 연구link Choi, Eun-Man; 최은만; et al, 한국과학기술원, 1985 |
2280 | Development of smalltalk virtual machine and extension to distributed smalltalk system = Smalltalk machine 의 개발과 분산 smalltalk 시스템에 관한 연구link Han, Kyung-Sook; 한경숙; et al, 한국과학기술원, 1985 |