대구한의대학교 향산도서관

주메뉴 바로가기
본문 바로가기
퀵메뉴 바로가기
마이메뉴 바로가기
도서관 정보 바로가기

링크메뉴

주메뉴

주메뉴

- 소장자료+타기관자료검색
- 단행본+목차
- 연속간행물
- 학위논문
- 멀티미디어자료
- 기사색인
- 고문헌
- 전자책
- 신착/인기자료
- 오디오북
- 전자책
- 전자잡지(교양)
- 국내학술 DB
- 국외학술 DB
- E-learning
- Hot Article
- 전자저널 A-Z
- SFX(구독자원연계) 이용안내
- 전국대학 학위논문검색
- 논문 표절검사 솔루션
- 교내 간행물(전자책)
- 소개
- 개관시간
- 대출/반납
- 실별안내
- 편의시설
- 전자정보 교외접속안내
- 도서기증
- 이용교육자료
- 연구지원서비스
- 특별회원제도 안내
- LIFE 독서 마라톤
- DHU독서샘물
- 공지사항
- 자주묻는질문
- 묻고답하기
- 자료실
- 베스트 셀러
- 추천도서
- 대출현황/연장/예약
- 캠퍼스간대출신청현황
- 자료배달신청현황
- 희망도서신청
- 나의서평
- 타기관자료이용신청
- 보관함신청
- 그룹스터디룸
- 영상시설이용
- 관심도서리스트
- 소재불명도서 신고처리현황
- 교육 및 참가신청
- 개인정보관리

소장자료+타기관자료검색

검색어[전방일치/ 저자:이태훈]

총 4건 중 4건 출력

1/1 페이지

제한항목: 기사; 2004

검색간략리스트

Service Form

1.

서명: 게임풀이를 위한 상태 공간 축소 :
저자: 이태훈 권기현
출판사: 한국게임학회
청구기호: 한국게임학회 논문지
출판년: 2004
자료유형: 저널기사
소장처

2.

서명: 릴레이 모델 체킹을 이용한 상태 폭발 문제 해결:
저자: 이태훈 권기현
출판사: 한국정보과학회
청구기호: 정보과학회논문지(소프트웨어 및 응용)
출판년: 2004
자료유형: 저널기사
소장처

3.

서명: NuSMV에서 생성된 반례길이 비교:
저자: 이태훈 권기현
출판사: 한국정보과학회
청구기호: 학술발표논문집(한국정보과학회)
출판년: 2004
자료유형: 저널기사
소장처

4.

서명: 모델 체킹에서 그래프 모양의 반례 생성:
저자: 이태훈 권기현
출판사: 한국정보과학회
청구기호: 학술발표논문집(한국정보과학회)
출판년: 2004
자료유형: 저널기사
소장처

1

바구니보기

MY MENU