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

자료검색

기사색인

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

검색간략리스트

열거형 테이블형
Search Option
Service Form
171.
기사제목
Completeness and Consistency in Hierarchical State-Based Requirements  미리보기
기사저자명
M.P.E.Heimdahl N.G.Leveson
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
172.
기사제목
A Framework for Evaluating Specification Methods for Reactive Systems Experience Report  미리보기
기사저자명
M.A.Ardis J.A.Chaves L.J.Jagadeesan
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
173.
기사제목
Separate Computation of Alias Information for Reuse  미리보기
기사저자명
M.J.Harrold G.Rothermel
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
174.
기사제목
Timing Analysis of Ada Tasking Programs  미리보기
기사저자명
J.C.Corbett
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
175.
기사제목
Analyzing Regression Test Selection Techniques  미리보기
기사저자명
G.Rothermel M.J.Harrold
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
176.
기사제목
Theory of Fault-Based Predicate Testing for Computer Programs  미리보기
기사저자명
K.-C.Tai
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
177.
기사제목
Algorithms for the Generation of State-level Representations of Stochastic Activity Networks with General Reward Structures  미리보기
기사저자명
M.A.Qureshi W.H.Sanders A.P.A.van Moorsel
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
178.
기사제목
Numerical Analysis of Superposed GSPNs  미리보기
기사저자명
P.Kemper
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
179.
기사제목
Modular Algebraic Nets to Specify Concurrent Systems  미리보기
기사저자명
F.Battiston F.De Cindio G.Mauri
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
180.
기사제목
Software Development Productivity of European Space, Military, and Industrial Applications  미리보기
기사저자명
K.Maxwell L.Van Wassenhove S.Dutta
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
맨앞 이전 11 12 13 14 15 16 17 18 19 20 다음 맨뒤
바구니보기
Serial Form

도서관정보

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

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.