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

자료검색

기사색인

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

검색간략리스트

열거형 테이블형
Search Option
Service Form
301.
기사제목
STATEMATE: A Working Environment for the Development of Complex Reactive Systems  미리보기
기사저자명
D.Harel H.Lachover A.Naamad
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
302.
기사제목
Optimal Distributed t-Resilient Election in Complete Networks  미리보기
기사저자명
A.Itai S.Kutten Y.Wolfstahl
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
303.
기사제목
Software Size Estimation of Object-Oriented Systems  미리보기
기사저자명
L.A.Laranjeira
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
304.
기사제목
A Protocol Modeling and Verification Approach Based on a Specification Language and Petri Nets  미리보기
기사저자명
T.Suzuki S.M.Shatz T.Murata
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
305.
기사제목
On the Identification of Covert Storage Channels in Secure Systems  미리보기
기사저자명
C.-R.Tsai V.D.Gligor C.S.Chandersekaran
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
306.
기사제목
A Specification and Verification Method for Preventing Denial of Service  미리보기
기사저자명
C.-F.Yu V.D.Gligor
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
307.
기사제목
Module Allocation of Real-Time Applications to Distributed Systems  미리보기
기사저자명
C.E.Houstis
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
308.
기사제목
Implementing Remote Evaluation  미리보기
기사저자명
J.W.Stamos D.K.Gifford
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
309.
기사제목
Comparative Analysis of Different Models of Checkpointing and Recovery  미리보기
기사저자명
V.F.Nicola J.M.van Spanje
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
310.
기사제목
A Disciplined Approach to Office Analysis  미리보기
기사저자명
V.De Antonellis B.Zonta
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
맨앞 이전 31 32 33 34 35 36 37 38 39 40 다음 맨뒤
바구니보기
Serial Form

도서관정보

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

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.