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

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 출판사:IEEE Computer Society]
3,164건 중 500건 출력
14/50 페이지 엑셀파일 출력
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
131.
기사제목
Guest Editorial: Introduction to the Special Issue  미리보기
기사저자명
G.-C.Roman C.Ghezzi
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
132.
기사제목
KLAIM: A Kernel Language for Agents Interaction and Mobility  미리보기
기사저자명
R.De Nicola;G.L.Ferrari;R.Pugliese
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
133.
기사제목
Empirical Studies of a Safe Regression Test Selection Technique  미리보기
기사저자명
G.Rothemel M.J.Harrold
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
134.
기사제목
Planning Models for Software Reliability and Cost  미리보기
기사저자명
M.E.Helander M.Zhao N.Ohlsson
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
135.
기사제목
Guest Editorial: Introduction to the Special Section  미리보기
기사저자명
D.Garlan
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
136.
기사제목
Model Checking Large Software Specifications  미리보기
기사저자명
W.Chan R.J.Anderson P.Beame
출판사
IEEE computer society
발행년
1998
자료유형
NotFound 저널기사
137.
기사제목
The Location-Based Paradigm for Replication: Achieving Efficiency and Availability in Distributed Systems  미리보기
기사저자명
P.Triantafillou D.J.Taylor
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
138.
기사제목
A Practical Approach to Programming With Assertions  미리보기
기사저자명
D.S.Rosenblum
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
139.
기사제목
Specification and Validation of a Security Policy Model  미리보기
기사저자명
A.Boswell
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
140.
기사제목
Model Checking in Practice: The T9000 Virtual Channel Processor  미리보기
기사저자명
G.Barrett
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
맨앞 이전 11 12 13 14 15 16 17 18 19 20 다음 맨뒤
Serial Form