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

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 출판사:IEEE Computer Society]
총 3,164건 중 500건 출력
17/50 페이지 엑셀파일 출력
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
161.
기사제목
Prudent Engineering Practice for Cryptographic Protocols  미리보기
기사저자명
M.Abadi R.Needham
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
162.
기사제목
A Model for Secure Protocols and Their Compositions  미리보기
기사저자명
N.Heintze J.D.Tygar
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
163.
기사제목
On the Use of Testability Measures for Dependability Assessment  미리보기
기사저자명
A.Bertolino L.Strigini
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
164.
기사제목
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing  미리보기
기사저자명
T.Y.Chen Y.T.Yu
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
165.
기사제목
Evaluating Deadlock Detection Methods for Concurrent Software  미리보기
기사저자명
J.C.Corbett
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
166.
기사제목
Automatic Symbolic Verification of Embedded Systems  미리보기
기사저자명
R.Alur T.A.Henzinger P.-H.Ho
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
167.
기사제목
Reasoning About Places, Times, and Actions in the Presence of Mobility  미리보기
기사저자명
C.D.wilcox G.-C.Roman
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
168.
기사제목
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria  미리보기
기사저자명
H.Zhu
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
169.
기사제목
An Analysis of the Intel 80×86 Security Architecture and Implementations  미리보기
기사저자명
O.Sibert P.A.Porras R.Lindell
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
170.
기사제목
On the Reliability of Electronic Payment Systems  미리보기
기사저자명
R.J.Anderson S.J.Bezuidenhoudt
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
맨앞 이전 11 12 13 14 15 16 17 18 19 20 다음 맨뒤
바구니보기
Serial Form

도서관정보

(38610)경상북도 경산시 한의대로 1 대구한의대학교 향산도서관 FAX : 053-819-1260, 1261

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.