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

자료검색

기사색인

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

검색간략리스트

열거형 테이블형
Search Option
Service Form
11.
기사제목
Embedded Processes in Stochastic Petri Nets  미리보기
기사저자명
W.Henderson P.G.Taylor
출판사
IEEE computer society
발행년
1991
자료유형
NotFound 저널기사
12.
기사제목
Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector  미리보기
기사저자명
J.Campos G.Chiola M.Silva
출판사
IEEE computer society
발행년
1991
자료유형
NotFound 저널기사
13.
기사제목
Software Requirements Analysis for Real-Time Process-Control Systems  미리보기
기사저자명
M.S.Jaffe N.G.Leveson M.P.E.Heimdahl
출판사
IEEE computer society
발행년
1991
자료유형
NotFound 저널기사
14.
기사제목
Modeling and Verification of Time Dependent Systems Using Time Petri Nets  미리보기
기사저자명
B.Berthomieu M.Diaz
출판사
IEEE computer society
발행년
1991
자료유형
NotFound 저널기사
15.
기사제목
A Method for Software Reliability Analysis and Prediction Application to the TROPICO-R Switching System  미리보기
기사저자명
K.Kanoun M.R.Bastos Martini;J.Moreira de Souza
출판사
IEEE computer society
발행년
1991
자료유형
NotFound 저널기사
16.
기사제목
Software Reliability Allocation Based on Structure, Utility, Price, and Cost  미리보기
기사저자명
F.Zahedi N.Ashrafi
출판사
IEEE computer society
발행년
1991
자료유형
NotFound 저널기사
17.
기사제목
Debugging Concurrent Ada Programs by Deterministic Execution  미리보기
기사저자명
K.C.Tai R.H.Carver E.E.Obaid
출판사
IEEE computer society
발행년
1991
자료유형
NotFound 저널기사
18.
기사제목
The x-Kernel: An Architecture for Implementing Network Protocols  미리보기
기사저자명
N.C.Hutchinson L.L.Peterson
출판사
IEEE computer society
발행년
1991
자료유형
NotFound 저널기사
19.
기사제목
Modeling and On-Line Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets  미리보기
기사저자명
I.Hatono K.Yamagata H.Tamura
출판사
IEEE computer society
발행년
1991
자료유형
NotFound 저널기사
20.
기사제목
Stability, Availability, and Response in Network File Service  미리보기
기사저자명
J.Gait
출판사
IEEE computer society
발행년
1991
자료유형
NotFound 저널기사
1 2 3 4 
Serial Form