[기술해설]제한 논리 프로그래밍언어

신동하 ,  창병모

정보과학회지

1997 .01

[기술해설]Rewriting 기반 프로그래밍

변석우

정보과학회지

1997 .01

[기술해설]타입 시스템에 의한 체계적인 복합형 프로그래밍

도경구 ,  곽노건

정보과학회지

1997 .01

[특집/기술해설] 소프트웨어 모델과 사양기술, 프로그래밍 구조

최병규 ,  송주석

텔레콤

1994 .06

[기술해설]프로그래밍언어에서의 타입 시스템의 역할

이욱세 ,  편기현 ,  이광근

정보과학회지

1997 .01

해설

한국주택협회

주택과 사람들

2000 .01

[기술해설]분산 개발 환경에서의 객체지향 시각 프로그래밍

김상욱 ,  진윤숙

정보과학회지

1996 .10

[기술해설]분석적 학습

이수원

정보과학회지

1995 .05

시각 프로그래밍 기술

김상욱

한국통신학회지(정보와통신)

1994 .05

[기술해설]알고리즘 설계 기법

좌경룡

정보과학회지

1994 .02

흙의 구성식 해설 (V)

박병기 ,  정진섭 ,  이문수

대한토질공학회지

1988 .03

[기술해설]의료와 인테넷

김진태

정보과학회지

1998 .12

[기술해설]시스템 독립적인 병렬 프로그래밍 언어 High Performance Fortran

문경덕 ,  반난주 ,  김태근 외 2명

정보과학회지

1995 .07

[특집/기술해설]차세대 광 네트워크 기술

박진우 ,  이명문

텔레콤

2002 .06

[특집/기술해설]광 인터넷 네트워크 기술 동향

이순석 ,  김영부 ,  전경표

텔레콤

2001 .06

[기술해설]실시간 시뮬레이션

박찬모 ,  민경하

정보과학회지

1995 .04

[기술해설]차세대 CASE

양해술 ,  이하용

정보과학회지

1996 .10

[특집/기술해설] 망관리(Network Management)

남영우 ,  윤병남

텔레콤

1995 .06

[기술해설]INTERNET 서비스

이재용

정보과학회지

1994 .05

[기술해설]실시간 시스템 모형

김문희 ,  김정국 ,  민병준 외 1명

정보과학회지

1996 .08