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

자료검색

기사색인

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

검색간략리스트

열거형 테이블형
Search Option
Service Form
21.
기사제목
Generalized Stochastic Petri Nets: A Definition at the Net Level and Its Implicatons  미리보기
기사저자명
G.Chiola M.Ajmone Marsan;G.Balbo
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
22.
기사제목
Resource Allocation for Primary-Side Fault-Tolerant Systems  미리보기
기사저자명
Y.Huang S.K.Tripathi
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
23.
기사제목
A Formal Analysis of the Fault-Detecting Ability of Testing Methods  미리보기
기사저자명
P.G.Frankl E.J.Weyuker
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
24.
기사제목
A Technique for Drawing Directed Graphs  미리보기
기사저자명
E.R.Gansner E.Koutsofios S.C.North
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
25.
기사제목
Proof Rules for Flush Channels  미리보기
기사저자명
T.Camp P.Kearns M.Ahuja
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
26.
기사제목
Repository Evaluation of Software Reuse  미리보기
기사저자명
R.D.Banker R.J.Kauffman D.Zweig
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
27.
기사제목
Compositional Semantics of a Real-Time Prototyping Language  미리보기
기사저자명
B.Kramer Luqi V.Berzins
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
28.
기사제목
Extending Typestate Checking Using Conditional Liveness Analysis  미리보기
기사저자명
R.E.Strom D.M.Yellin
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
29.
기사제목
Use of Common Time Base for Checkpointing and Rollback Recovery in a Distributed System  미리보기
기사저자명
P.Ramanathan K.G.Shin
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
30.
기사제목
A Unified Interprocedural Program Representatin for a Maintenance Environment  미리보기
기사저자명
M.J.Harrold B.Malloy
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
1 2 3 4 5 6 7 8 9 
바구니보기
Serial Form

도서관정보

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

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.