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

자료검색

기사색인

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

검색간략리스트

열거형 테이블형
Search Option
Service Form
11.
기사제목
Introduction to the Special Issue: Petri Net Performance Models  미리보기
기사저자명
G.Juanole
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
12.
기사제목
A Characterization of the Stochastic Process Underlying a Stochastic Petri Net  미리보기
기사저자명
G.Ciardo R.German C.Lindemann
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
13.
기사제목
A Formal Framework for ASTRAL Intralevel Proof Obligations  미리보기
기사저자명
A.Coen-Porisini R.A.Kemmerer D.Mandrioli
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
14.
기사제목
Making Changes to Formal Specifications: Requirements and an Example  미리보기
기사저자명
D.W.Bustard A.C.Winstanley
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
15.
기사제목
Software Quality Measurement Based on Fault-Detection Data  미리보기
기사저자명
S.Weerahandi R.E.Hausman
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
16.
기사제목
A Bayesian Analysis of the Logarithmic-Poisson Execution Time Model Based on Expert Opinion and Failure Data  미리보기
기사저자명
S.Campodonico N.D.Singpurwalla
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
17.
기사제목
Simulating the Behavior of Software Modules by Trace Rewriting  미리보기
기사저자명
Y.Wang D.L.Parnas
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
18.
기사제목
A Framework for Expressing the Relationships Between Multiple Views in Requirements Specifications  미리보기
기사저자명
B.Nuseibeh J.Kramer A.Finkelstein
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
19.
기사제목
Prototyping in Industrial Software Projects- Bridging the Gap Between Theory and Practice  미리보기
기사저자명
H.Lichter M.Schneider-Hufschmidt H.Zullighoven
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
20.
기사제목
Schlumberger's Software Improvement Program  미리보기
기사저자명
H.Wohlwend S.Rosenbaum
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
1 2 3 4 5 6 7 
Serial Form