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

자료검색

기사색인

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

검색간략리스트

열거형 테이블형
Search Option
Service Form
391.
기사제목
An Optimal Algorithm for Scheduling Soft Aperiodic Tasks in Dynamic-Priority Preemptive Systems  미리보기
기사저자명
I.Ripoll A.Crespo A.Garcia-Fornes
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
392.
기사제목
Design Recovery for Distributed Systems  미리보기
기사저자명
L.J.Holtzblatt R.L.Piazza H.B.Reubenstein
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
393.
기사제목
On the Statistical Analysis of the Number of Errors Remaining in a Software Design Document after Inspection  미리보기
기사저자명
N.B.Ebrahimi
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
394.
기사제목
Reply to: 'Property-Based Software Engineering Measurement'  미리보기
기사저자명
H.Zuse
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
395.
기사제목
Clock Trees: Logical Clocks for Programs with Nested Parallelism  미리보기
기사저자명
K.Audenaert
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
396.
기사제목
Using CSP to Detect Errors in the TMN Protocol  미리보기
기사저자명
G.Lowe B.Roscoe
출판사
IEEE computer society
발행년
1997
자료유형
NotFound 저널기사
397.
기사제목
Formal Verification of Concurrent Programs Using the Larch Prover  미리보기
기사저자명
B.Chetali
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
398.
기사제목
Component Based Design of Multitolerant Systems  미리보기
기사저자명
A.Arora S.S.Kulkarni
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
399.
기사제목
Message Logging: Pessimistic, Optimistic, Causal, and Optimal  미리보기
기사저자명
L.Alvisi K.Marzullo
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
400.
기사제목
A Controlled Experiment to Assess the Benefits of Procedure Argument Type Checking  미리보기
기사저자명
L.Prechelt W.F.Tichy
출판사
IEEE computer society
발행년
1998
자료유형
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.