본문

  1. Home
  4. Search
6 Results:AA:권기현 0.171 sec.
RSS 
Multilingual
 חיפוש מתקדם
 חיפוש חדש ההגעה
Selected Print 선택엑셀내보내기
1
게임 풀이를 위한 NuSMV의 효율적인 반례 생성 : Efficient Counterexample Generation for Game Solving in NuSMV
게임 풀이를 위한 NuSMV의 효율적인 반례 생성 : Efficient Counterexample Generation for Game Solving in NuSMV
권기현 | 한국정보처리학회 | 2003
להדפיס
2
모델 검사와 게임 풀이
모델 검사와 게임 풀이
권기현 | 경기대학교 | 2002
להדפיס
3
터보 C 언어
터보 C 언어
권기현 | 홍진출판사 | 1999
להדפיס
4
(KISA 자격검정시험) ISMS-P 인증심사원 자격검정 한권으로 합격하기 : 정보보호 및 개인정보보호 관리체계 인증
(KISA 자격검정시험) ISMS-P 인증심사원 자격검정 한권으로 합격하기 : 정보보호 및 개인정보보호 관리체계 인증
김창중 | 크라운출판사 | 2019
להדפיס
5
정형논리를 이용한 모델링 및 분석
정형논리를 이용한 모델링 및 분석
박사천 | 한국정보처리학회 | 2007
להדפיס
6
C 프로그래밍 이론과 실습
C 프로그래밍 이론과 실습
이일주 | 남두도서 | 1999
להדפיס
처음1마지막