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

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 수록잡지명:IEEE Transactions on software engineering]
총 83건 중 83건 출력
5/9 페이지 엑셀파일 출력
제한항목
1995 삭제
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
41.
기사제목
The Programmers' Playground: I/O Abstraction for User-Configurable Distributed Applications  미리보기
기사저자명
K.J.Goldman B.Swaminathan T.P.McCartney
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
42.
기사제목
A Model of Code Sharing for Estimating Software Failure on Demand Probabilities  미리보기
기사저자명
J.H.R.May A.D.Lunn
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
43.
기사제목
Verifying a Logic-Synthesis Algorithm and Implementation: A Case Study in Software Verification  미리보기
기사저자명
M.Aagaard M.Leeser
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
44.
기사제목
Semaphore Queue Priority Assignment for Real-Time Multiprocesor Synchronization  미리보기
기사저자명
V.B.Lortz K.G.Shin
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
45.
기사제목
Reflections on Metaprogramming  미리보기
기사저자명
A.H.Lee J.L.Zachary
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
46.
기사제목
A*:A Language for Implementing Language Processors  미리보기
기사저자명
D.A.Ladd J.C.Ramming
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
47.
기사제목
Program Partition and Loagic Program Analysis  미리보기
기사저자명
J.L.Han
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
48.
기사제목
Compositional Validation of Time-Critical Systems Using Communicating Time Petri Nets  미리보기
기사저자명
G.Bucci E.Vicario
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
49.
기사제목
Specifying a Safety-Critical Control System in Z  미리보기
기사저자명
J.Jacky
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
50.
기사제목
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS  미리보기
기사저자명
S.Owre J.Rushby N.Shankar
출판사
IEEE computer society
발행년
1995
자료유형
NotFound 저널기사
1 2 3 4 5 6 7 8 9 
바구니보기
Serial Form

도서관정보

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

COPYRIGHT 2014 DAEGU HAANY UNIVERSITY LIBRARY. ALL RIGHTS RESERVED.