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

자료검색

기사색인

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

검색간략리스트

열거형 테이블형
Search Option
Service Form
181.
기사제목
A Framework for Specification-Based Testing  미리보기
기사저자명
P.Stocks D.Carrington
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
182.
기사제목
A Compact Petri Net Representation and Its Implications for Analysis  미리보기
기사저자명
M.B.Dwyer L.A.Clarke
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
183.
기사제목
Supporting Cooperation in the SPADE-1 Environment  미리보기
기사저자명
S.Bandimelli E.Di Nitto A.Fuggetta
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
184.
기사제목
A Statistical Approach to the Inspection Checklist Formal Synthesis and Improvement  미리보기
기사저자명
Y.Chernak
출판사
IEEE computer society
발행년
1996
자료유형
NotFound 저널기사
185.
기사제목
Object-Oriented Software Evolution  미리보기
기사저자명
K.J.Lieberherr C.Xiao
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
186.
기사제목
Structuring Primitives for a Dictionary of Entity Relationship Data Schemas  미리보기
기사저자명
C.Batini G.Di Battista G.Santucci
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
187.
기사제목
An Empirical Study of Evaluating Software Development Environment Quality  미리보기
기사저자명
T.Miyoshi M.Azuma
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
188.
기사제목
Using Transformations in Specification-Based Prototyping  미리보기
기사저자명
V.Berzins Luqi A.Yehudai
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
189.
기사제목
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection  미리보기
기사저자명
D.J.Richardson M.C.Thompson
출판사
IEEE computer society
발행년
1993
자료유형
NotFound 저널기사
190.
기사제목
From CSP Models to Markov Models  미리보기
기사저자명
E.V.Sorensen J.Nordahl N.H.Hansen
출판사
IEEE computer society
발행년
1993
자료유형
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.