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

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 출판사:IEEE Computer Society]
총 222건 중 222건 출력
3/23 페이지 엑셀파일 출력
제한항목
1996 삭제
검색결과제한
  • 자료유형
  • 발행년도

검색간략리스트

열거형 테이블형
Search Option
Service Form
21.
기사제목
Theory and Application of Nongroup Cellular Automata for Synthesis of Easily Testable Finite State Machines  미리보기
기사저자명
S.Chakraborty D.Roy Chowdhury;P.Pal Chaudhuri
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
22.
기사제목
Analysis of One-Dimensional Linear Hybrid Cellular Automata over GF(q)  미리보기
기사저자명
K.Cattell J.C.Muzio
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
23.
기사제목
The Effect of Program Behavior on Fault Observability  미리보기
기사저자명
N.S.Bowen D.K.Pradhan
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
24.
기사제목
A Methodology for the Rapid Injection of Transient Hardware Errors  미리보기
기사저자명
C.R.Yount D.P.Siewiorek
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
25.
기사제목
Prudent Engineering Practice for Cryptographic Protocols  미리보기
기사저자명
M.Abadi R.Needham
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
26.
기사제목
A Model for Secure Protocols and Their Compositions  미리보기
기사저자명
N.Heintze J.D.Tygar
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
27.
기사제목
On the Use of Testability Measures for Dependability Assessment  미리보기
기사저자명
A.Bertolino L.Strigini
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
28.
기사제목
On the Expected Number of Failures Detected by Subdomain Testing and Random Testing  미리보기
기사저자명
T.Y.Chen Y.T.Yu
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
29.
기사제목
Evaluating Deadlock Detection Methods for Concurrent Software  미리보기
기사저자명
J.C.Corbett
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
30.
기사제목
Automatic Symbolic Verification of Embedded Systems  미리보기
기사저자명
R.Alur T.A.Henzinger P.-H.Ho
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
1 2 3 4 5 6 7 8 9 10 다음 맨뒤
바구니보기
Serial Form

도서관정보

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

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.