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

링크메뉴

No	기사제목	기사저자명	출판사	발행년
21	Rule-Based Design Methodology for Solving Control Problems	F.S.Etessami G.S.Hura	IEEE computer society	1991

22	Models of Software Development Environments	D.E.Perry G.E.Kaiser	IEEE computer society	1991

23	Interprocess Communication Dependency on Network Load	A.Braccini A.Del Bimbo E.Vicario	IEEE computer society	1991

24	The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability	J.C.Laprie K.Kanoun C.Beounes	IEEE computer society	1991

25	Query Optimization for Nontraditional Database Applications	T.K.Sellis L.Shapiro	IEEE computer society	1991

26	Performance Measurement and Modeling to Evaluate Various Effects on a Shared Memory Multiprocessor	X.Zhang	IEEE computer society	1991

27	Analyzing Error-Prone System Structure	R.W.Selby V.R.Basili	IEEE computer society	1991

28	An Environment for Developing Fault-Tolerant Software	J.M.Purtilo P.Jalote	IEEE computer society	1991

29	A Unified High-Level Petri Net Formalism for Time-Critical Systems	C.Ghezzi D.Mandrioli S.Morasca	IEEE computer society	1991

30	Efficient Algorithms for the Instantiated Transitive Closure Queries	G.Z.Qadah L.J.Henschen J.J.Kim	IEEE computer society	1991