본문

  1. Home
5 Results:UU:제21권제1호통권제164호2003년1월 PP:한국정보과학회 0.78 sec.
RSS 
다국어입력
 상세검색
 신착검색
선택출력 선택엑셀내보내기
1
스크립트 언어의 동향 및 응용 방안
스크립트 언어의 동향 및 응용 방안
김익순, | 한국정보과학회 | 2003 ,
2
프로그래밍 언어의 관점에서 본 소프트웨어/하드웨어의 정형 검증 방법 소개
프로그래밍 언어의 관점에서 본 소프트웨어/하드웨어의 정형 검증 방법 소개
방기석, | 한국정보과학회 | 2003 ,
3
함수형 프로그래밍 기술을 이용한 프로그램 합성 방법
함수형 프로그래밍 기술을 이용한 프로그램 합성 방법
변석우, | 한국정보과학회 | 2003 ,
4
통합된 버그잡는 기술들 : SLAM과 Bandera
통합된 버그잡는 기술들 : SLAM과 Bandera
양홍석, | 한국정보과학회 | 2003 ,
5
모델 검증을 이용한 게임 풀이
모델 검증을 이용한 게임 풀이
권기현, | 한국정보과학회 | 2003 ,
처음1마지막