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

자료검색

기사색인

검색 타입
상세검색
검색어[전방일치/ 수록잡지명:IEEE Transactions on software engineering]
659건 중 500건 출력
32/50 페이지 엑셀파일 출력
검색결과제한

검색간략리스트

열거형 테이블형
Search Option
Service Form
311.
기사제목
A Visual Language Compiler for Information Retrieval by Visual Reasoning  미리보기
기사저자명
S.K.Chang
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
312.
기사제목
QBD: A Graphical Query Language with Recursion  미리보기
기사저자명
M.Angelaccio T.Catarci G.Santucci
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
313.
기사제목
Incremental Generation of Parsers  미리보기
기사저자명
J.Heering P.Klint J.Rekers
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
314.
기사제목
Specification of Iterators  미리보기
기사저자명
D.A.Lamb
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
315.
기사제목
An Architecture for High Performance Engineering Information Systems  미리보기
기사저자명
N.Roussopoulos L.Mark T.Sellis
출판사
IEEE computer society
발행년
1991
자료유형
NotFound 저널기사
316.
기사제목
Experimental Evaluation of Real-Time Scheduler for a Multiprocessor System  미리보기
기사저자명
B.A.Blake K.Schwan
출판사
IEEE computer society
발행년
1991
자료유형
NotFound 저널기사
317.
기사제목
Embedded Processes in Stochastic Petri Nets  미리보기
기사저자명
W.Henderson P.G.Taylor
출판사
IEEE computer society
발행년
1991
자료유형
NotFound 저널기사
318.
기사제목
Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector  미리보기
기사저자명
J.Campos G.Chiola M.Silva
출판사
IEEE computer society
발행년
1991
자료유형
NotFound 저널기사
319.
기사제목
Software Requirements Analysis for Real-Time Process-Control Systems  미리보기
기사저자명
M.S.Jaffe N.G.Leveson M.P.E.Heimdahl
출판사
IEEE computer society
발행년
1991
자료유형
NotFound 저널기사
320.
기사제목
Modeling and Verification of Time Dependent Systems Using Time Petri Nets  미리보기
기사저자명
B.Berthomieu M.Diaz
출판사
IEEE computer society
발행년
1991
자료유형
NotFound 저널기사
맨앞 이전 31 32 33 34 35 36 37 38 39 40 다음 맨뒤
Serial Form