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

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

링크메뉴

주메뉴

주메뉴

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

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

검색어[키워드 / 전체:Temporal logic.]

총 8건 중 8건 출력

1/1 페이지

검색간략리스트

Service Form

1.

서명: Temporal Logic을 이용한 Daatflow Resource Manager의 구현
저자: 정덕길
출판사: 동의대학교
청구기호: 동의 논집(동의대)
출판년: 1988
자료유형: 저널기사
소장처

2.

서명: 자동 검증을 위한 Temporal Logic 프로그래밍 언어의 설계
저자: 한상영 최영근
출판사: 한국정보과학회
청구기호: 정보 과학회 논문지(시스템 및 이론)
출판년: 1989
자료유형: 저널기사
소장처

3.

서명: Fuzzy logic based temporal error concealment for H.264 video:
저자: 이배준 Lin,MingLong
출판사: Electronics and Telecommunications Research Institute
청구기호: ETRI Journal
출판년: 2006
자료유형: 저널기사
소장처

4.

서명: 3D Scene Understanding With Efficient Spatio-Temporal Reasoning
저자: Gwak, JunYoung
출판사: Stanford University. : ProQuest Dissertations & Theses
청구기호: 620
출판년: 2022
자료유형: E-Book
소장처

5.

서명: On Using Formal Methods for Safe and Robust Robot Autonomy
저자: Leung, Karen Yan Ming
출판사: Stanford University. : ProQuest Dissertations & Theses
청구기호: 620
출판년: 2021
자료유형: E-Book
소장처

6.

서명: Acceptance and Approximation: Studies on Probabilistic Stability, Acceptance Rules on Atomless Spaces, and Algebraic Logics of Approximation
저자: Mierzewski, Krzysztof Mieczyslaw
출판사: Stanford University. : ProQuest Dissertations & Theses
청구기호: 005
출판년: 2020
자료유형: E-Book
소장처

7.

서명: Linear Time Temporal Logic의 자동검증에 관한 연구
저자: 최영근
출판사: 광운대학교
청구기호: 논문집(광운대)
출판년: 1988
자료유형: 저널기사
소장처

8.

서명: 하드웨어 설계기술
저자: Lam, William K. C.
출판사: 교학사
청구기호: 004 L213hㄱ
출판년: 2005
자료유형: 단행본
소장처: 전체 | 삼성캠퍼스 대출가능 | 오성캠퍼스

1

바구니보기

MY MENU