본문

  1. Home
897 Results:AA:KWON O 0.406 sec.
RSS 
Multilingual
 Расширенный поиск
 Новый поиск книги прибытия
Selected Print Select Export to Excel
81
소프트웨어공학 : 모델 체킹에서 안전성 위반에 대한 효율적인 반례 생성
소프트웨어공학 : 모델 체킹에서 안전성 위반에 대한 효율적인 반례 생성
이태훈 ( Tae Hoon Lee ), | 한국정보처리학회 | 2005 ,
82
시각장애인 유도 로봇의 자기 위치 추적 시스템 및 사용자 인터페이스 개발
시각장애인 유도 로봇의 자기 위치 추적 시스템 및 사용자 인터페이스 개발
유제군 ( Je Goon Ryu ), | 한국정보처리학회 | 2005 ,
83
군집분석(Cluster Analysis)을 활용한 사용자 등급 기반의 서비스 수락 정책
군집분석(Cluster Analysis)을 활용한 사용자 등급 기반의 서비스 수락 정책
박혜숙 ( Hea Sook Park ), | 한국정보처리학회 | 2005 ,
84
평탄화를 이용한 계층형 상태 기계의 단계 의미 정의
평탄화를 이용한 계층형 상태 기계의 단계 의미 정의
박사천 ( Sa Choun Park ), | 한국정보처리학회 | 2005 ,
85
임베디드 자바 프로그램의 정형 검증
임베디드 자바 프로그램의 정형 검증
이태훈 ( Tae Hoon Lee ), | 한국정보처리학회 | 2005 ,
86
원격 제어를 위한 임베디드 통신 변환기 구현
원격 제어를 위한 임베디드 통신 변환기 구현
이병권 ( Byung Kwon Lee ), | 한국정보처리학회 | 2006 ,
87
모델 체킹에서 상태 투영을 이용한 모델의 추상화
모델 체킹에서 상태 투영을 이용한 모델의 추상화
권기현 ( Gi Hwon Kwon ), | 한국정보처리학회 | 2004 ,
88
웹계층 오브젝트 모델링을 통한 분산 애플리케이션 개발 프레임웍크
웹계층 오브젝트 모델링을 통한 분산 애플리케이션 개발 프레임웍크
천상호 ( Sang Ho Cheon ), | 한국정보처리학회 | 2004 ,
89
다중 시계열 패턴인식을 이용한 반도체 생산장치의 지능형 감시시스템
다중 시계열 패턴인식을 이용한 반도체 생산장치의 지능형 감시시스템
이중재 ( Joong Jae Lee ), | 한국정보처리학회 | 2004 ,
90
LR 트리 - 지도 일반화를 지원하는 공간 데이터를 위한 공간 인덱싱
LR 트리 - 지도 일반화를 지원하는 공간 데이터를 위한 공간 인덱싱
권준희(Joon Hee Kwon), | 한국정보처리학회 | 2002 ,
처음이전12345678910이후마지막