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

자료검색

기사색인

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

검색간략리스트

열거형 테이블형
Search Option
Service Form
61.
기사제목
Modeling of Hierarchical Distributed Systems with Fault-Tolerance  미리보기
기사저자명
Y.-B.Shieh D.Ghosal P.R.Chintamaneni
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
62.
기사제목
Recalibrating Software Reliability Models  미리보기
기사저자명
S.Brocklehurst P.Y.Chan B.Littlewood
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
63.
기사제목
ABYSS: An Architecture for Software Protection  미리보기
기사저자명
S.R.White L.Comerford
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
64.
기사제목
A Language for Specifying Program Transformations  미리보기
기사저자명
D.Hildum J.Cohen
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
65.
기사제목
A Transportable Programming Language (TPL) System-Ⅱ: The Bifunctional Compiler System  미리보기
기사저자명
S.Leong S.Jodis K.Sullivan
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
66.
기사제목
Specifying Ada Server Tasks with Executable Formal Grammars  미리보기
기사저자명
D.Hemmendinger
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
67.
기사제목
A Relational Notation for State Transition Systems  미리보기
기사저자명
S.S.Lam A.U.Shankar
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
68.
기사제목
Some Properties of Timed Token Medium Access Protocols  미리보기
기사저자명
A.Valenzano P.Montuschi L.Ciminiera
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
69.
기사제목
Automated Software Test Data Generation  미리보기
기사저자명
B.Korel
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
70.
기사제목
State Constraints and Pathwise Decomposition of Programs  미리보기
기사저자명
J.C.Huang
출판사
IEEE computer society
발행년
1990
자료유형
NotFound 저널기사
1 2 3 4 5 6 7 8 9 
Serial Form