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

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 출판사:IEEE Computer Society]
총 222건 중 222건 출력
9/23 페이지 엑셀파일 출력
제한항목
1996 삭제
검색결과제한
  • 자료유형
  • 발행년도

검색간략리스트

열거형 테이블형
Search Option
Service Form
81.
기사제목
The Design and Implementation of a Secure Auction Service  미리보기
기사저자명
M.K.Franklin M.K.Reiter
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
82.
기사제목
Accountability in Electronic Commerce Protocols  미리보기
기사저자명
R.Kailar
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
83.
기사제목
A Component- and Message-Based Architectural Style for GUI Software  미리보기
기사저자명
R.N.Taylor N.Medvidovic
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
84.
기사제목
Supporting Search for Reusable Software Objects  미리보기
기사저자명
T.Isakowitz R.J.Kauffman
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
85.
기사제목
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector  미리보기
기사저자명
D.Jackson C.A.Damon
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
86.
기사제목
Using Partial-Order Methods in the Formal Validation of Industrial Concurrent Programs  미리보기
기사저자명
P.Godefroid D.Peled M.Staskauskas
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
87.
기사제목
Evaluating The Mediator Method: Prism as a Case Study  미리보기
기사저자명
K.J.Sullivan I.J.Kalet D.Notkin
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
88.
기사제목
An Economic Model to Estimate Software Rewriting and Replacement Times  미리보기
기사저자명
T.Chan S.L.Chung T.H.Ho
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
89.
기사제목
Efficient Discrete-Event Simulation of Colored Petri Nets  미리보기
기사저자명
R.Gaeta
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
90.
기사제목
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Interative Models  미리보기
기사저자명
V.Mainkar K.S.Trivedi
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
1 2 3 4 5 6 7 8 9 10 다음 맨뒤
바구니보기
Serial Form

도서관정보

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

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.