检索到 6 条 责任者=IFIP WG 10.2. 的结果
-
西文图书1.Formal VLSI correctness verification : proceedings of the IFIP WG 10.2/WG 10.5 International Worksho TN47-53/E9:2:(89)
馆藏复本：1
可借复本：1 sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen.
North-Holland ; 1990.
(0) 馆藏 -
西文图书2.Computer hardware description languages and their applications : proceedings of the IFIP WG 10.2 Eig TP3-53/E30:(87)
馆藏复本：1
可借复本：1 edited by M.R. Barbacci, C.J. Koomen ; organized by IFIP Technical Committee 10 and its Working Grou
North-Holland ; 1987.
(0) 馆藏 -
西文图书3.Formal VLSI specification and synthesis : proceedings of the IFIP WG 10.2/WG 10.5 International Work TN47-53/E9:1:(89)
馆藏复本：1
可借复本：1 sponsored by IMEC, Houthalen, Belgium, 13-16 November, 1989 ; edited by Luc J.M. Claesen.
North-Holland ; 1990.
(0) 馆藏 -
西文图书4.Tool integration and design environments : proceedings of the IFIP WG 10.2 Workshop on Tool Integrat TP391.72-53/2:(87)E
馆藏复本：1
可借复本：1 edited by Franz J. Rammig.
North-Holland ; 1988.
(0) 馆藏 -
西文图书5.CAD systems using AI techniques : proceedings of the IFIP TC 10/WG 10.2 Working Conference on CAD Sy TP391.72-53/E1:(89)
馆藏复本：2
可借复本：2 edited by G. Odawara.
North-Holland, 1989.
(0) 馆藏 -
西文图书6.Electronic design automation frameworks : proceedings of the Second IFIP WG 10.2 Workshop on Electro TN102-53/E1:2ND(90)
馆藏复本：1
可借复本：1 edited by Franz J. Rammig, Ron Waxman.
North-Holland, 1991.
(0) 馆藏
