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

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 수록잡지명:IEEE Transactions on software engineering]
총 659건 중 500건 출력
8/50 페이지 엑셀파일 출력
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
71.
기사제목
Reasoning About Places, Times, and Actions in the Presence of Mobility  미리보기
기사저자명
C.D.wilcox G.-C.Roman
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
72.
기사제목
A Formal Analysis of the Subsume Relation Between Software Test Adequacy Criteria  미리보기
기사저자명
H.Zhu
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
73.
기사제목
An Analysis of the Intel 80×86 Security Architecture and Implementations  미리보기
기사저자명
O.Sibert P.A.Porras R.Lindell
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
74.
기사제목
On the Reliability of Electronic Payment Systems  미리보기
기사저자명
R.J.Anderson S.J.Bezuidenhoudt
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
75.
기사제목
Completeness and Consistency in Hierarchical State-Based Requirements  미리보기
기사저자명
M.P.E.Heimdahl N.G.Leveson
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
76.
기사제목
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report  미리보기
기사저자명
M.A.Ardis J.A.Chaves L.J.Jagadeesan
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
77.
기사제목
Separate Computation of Alias Information for Reuse  미리보기
기사저자명
M.J.Harrold G.Rothermel
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
78.
기사제목
Timing Analysis of Ada Tasking Programs  미리보기
기사저자명
J.C.Corbett
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
79.
기사제목
Analyzing Regression Test Selection Techniques  미리보기
기사저자명
G.Rothermel M.J.Harrold
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
80.
기사제목
Theory of Fault-Based Predicate Testing for Computer Programs  미리보기
기사저자명
K.-C.Tai
출판사
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.