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

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

링크메뉴

주메뉴

주메뉴

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

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

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

총 4건 중 4건 출력

1/1 페이지

제한항목: 기사; 기사; 2004

검색간략리스트

Service Form

검색리스트 테이블
No	자료 유형	서명	저자	출판사	청구기호	출판년	수록 매체
1		게임풀이를 위한 상태 공간 축소 :	이태훈 권기현	한국게임학회	한국게임학회 논문지	2004

2		릴레이 모델 체킹을 이용한 상태 폭발 문제 해결:	이태훈 권기현	한국정보과학회	정보과학회논문지(소프트웨어 및 응용)	2004

3		NuSMV에서 생성된 반례길이 비교:	이태훈 권기현	한국정보과학회	학술발표논문집(한국정보과학회)	2004

4		모델 체킹에서 그래프 모양의 반례 생성:	이태훈 권기현	한국정보과학회	학술발표논문집(한국정보과학회)	2004

1

바구니보기

MY MENU