본문

  1. Home
3 Results:AA:변석우 PP:한국정보과학회 0.109 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
함수형 프로그래밍 기술을 이용한 프로그램 합성 방법
함수형 프로그래밍 기술을 이용한 프로그램 합성 방법
변석우, | 한국정보과학회 | 2003 ,
2
명령형 프로그램의 핵심부분에 대한 정보흐름 보안성의 데이타 흐름 분석
명령형 프로그램의 핵심부분에 대한 정보흐름 보안성의 데이타 흐름 분석
신승철, | 한국정보과학회 | 2004 ,
3
분리가능 시스템의 지수 추이성과 변환
분리가능 시스템의 지수 추이성과 변환
변석우, | 한국정보과학회 | 2004 ,
처음1마지막