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

자료검색

기사색인

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

검색간략리스트

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