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

자료검색

기사색인

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

검색간략리스트

열거형 테이블형
Search Option
Service Form
21.
기사제목
Automatic Generation of Path Covers Based on Control Flow Analysis of Computer Programs  미리보기
기사저자명
A.Bertolino M.Marre
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
22.
기사제목
Observer- A Concept for Formal On-Line Validation of Distributed Systems  미리보기
기사저자명
M.Diaz G.Juanole J.-P.Courtiat
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
23.
기사제목
Automatic Analysis and Test Derivation for a Restricted Class of LOTOS Expression with Data Parameters  미리보기
기사저자명
T.Higashino G.v.Bochmann
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
24.
기사제목
Efficient Detection and Resolution of Generalized Distributed Deadlocks  미리보기
기사저자명
A.D.Kshemkalyani M.Singhal
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
25.
기사제목
Software Measurement: A Necessary Scientific Basis  미리보기
기사저자명
N.Fenton
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
26.
기사제목
Specifying Transaction-Based Information Systems with Regular Expressions  미리보기
기사저자명
F.Lustman
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
27.
기사제목
Using Term Rewriting to Verify Software  미리보기
기사저자명
S.Antoy J.Gannon
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
28.
기사제목
Software Development Cost Estimation Using Function Points  미리보기
기사저자명
J.E.Matson B.E.Barrett J.M.Mellichamp
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
29.
기사제목
Dependability Modeling and Analysis of Distributed Programs  미리보기
기사저자명
N.Lopez-Benitez
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
30.
기사제목
Automatically Generating Test Data from a Boolean Specification  미리보기
기사저자명
E.Weyuker T.Goradia A.Singh
출판사
IEEE computer society
발행년
1994
자료유형
NotFound 저널기사
1 2 3 4 5 6 7 
바구니보기
Serial Form

도서관정보

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

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.