간행물 정보
-
- 제공처
- 한국과학기술정보연구원
- 발행기관
- 한국정보과학회
- 수록기간
- 1992 ~ 2018
- 주제분류
- 공학 > 컴퓨터학
Vol.21 No.1 (5건)
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.21 No.1 2003 pp.7-14
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.21 No.1 2003 pp.15-21
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.21 No.1 2003 pp.22-28
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
프로그래밍 언어의 관점에서 본 소프트웨어/하드웨어의 정형 검증 방법 소개
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.21 No.1 2003 pp.29-39
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.
[Kisti 연계] 한국정보과학회 정보과학회지 Vol.21 No.1 2003 pp.40-43
협약을 통해 무료로 제공되는 자료로, 원문이용 방식은 연계기관의 정책을 따르고 있습니다.