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

자료검색

기사색인

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

검색간략리스트

열거형 테이블형
Search Option
Service Form
검색리스트 테이블
No 자료
유형		 기사제목 기사저자명 출판사 발행년 수록
매체
21 NotFound 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
22 NotFound Analysis of One-Dimensional Linear Hybrid Cellular Automata over GF(q) 미리보기
K.Cattell J.C.Muzio IEEE computer society 1996
23 NotFound The Effect of Program Behavior on Fault Observability 미리보기
N.S.Bowen D.K.Pradhan IEEE computer society 1996
24 NotFound A Methodology for the Rapid Injection of Transient Hardware Errors 미리보기
C.R.Yount D.P.Siewiorek IEEE computer society 1996
25 NotFound Prudent Engineering Practice for Cryptographic Protocols 미리보기
M.Abadi R.Needham IEEE computer society 1996
26 NotFound A Model for Secure Protocols and Their Compositions 미리보기
N.Heintze J.D.Tygar IEEE computer society 1996
27 NotFound On the Use of Testability Measures for Dependability Assessment 미리보기
A.Bertolino L.Strigini IEEE computer society 1996
28 NotFound On the Expected Number of Failures Detected by Subdomain Testing and Random Testing 미리보기
T.Y.Chen Y.T.Yu IEEE computer society 1996
29 NotFound Evaluating Deadlock Detection Methods for Concurrent Software 미리보기
J.C.Corbett IEEE computer society 1996
30 NotFound Automatic Symbolic Verification of Embedded Systems 미리보기
R.Alur T.A.Henzinger P.-H.Ho IEEE computer society 1996
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.