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

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 출판사:IEEE Computer Society]
85건 중 85건 출력
2/9 페이지 엑셀파일 출력
제한항목
기사 삭제
1993 삭제
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
11.
기사제목
Passive-space and Time View: Vector Clocks for Achieving Higher Performance, Program Correction, and Distributed Computing  미리보기
기사저자명
M.Ahuja T.Carlson A.Gahlot
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
12.
기사제목
Predicate Logic for Software Engineering  미리보기
기사저자명
D.L.Parnas
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
13.
기사제목
An Empirical Study of Testing and Integration Strategies Using Artificial Software Systems  미리보기
기사저자명
J.A.Solheim J.H.Rowland
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
14.
기사제목
Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience  미리보기
기사저자명
L.-F.Cabrera J.A.McPherson P.M.Schwarz
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
15.
기사제목
Closure and Convergence: A Foundation of Fault-Tolerant Computing  미리보기
기사저자명
A.Arora M.Gouda
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
16.
기사제목
Developing Interpretable Models with Optimized Set Reduction for Identifying High-Risk Software Components  미리보기
기사저자명
L.C.Briand V.R.Basili C.J.Hetmanski
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
17.
기사제목
Software Process Model Evolution in the SPADE Environment  미리보기
기사저자명
S.C.Bandinelli A.Fuggetta C.Ghezzi
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
18.
기사제목
Techniques for Process Model Evolution in EPOS  미리보기
기사저자명
M.Letizia Jaccheri;R.Conradi
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
19.
기사제목
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software  미리보기
기사저자명
R.W.Butler G.B.Finelli
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
20.
기사제목
Formal Verification of Algorithms for Critical Systems  미리보기
기사저자명
J.M.Rushby F.von Henke
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
1 2 3 4 5 6 7 8 9 
Serial Form