大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Borrione 的图书(共2本)

Advances in Design Methods from Modeling Languages for Embedded Systems and SoC's [electronic resource] : Selected Contributions on Specification, Design, and Verification from FDL 2009

0
索取号：
作者：Borrione、 Dominique.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands : Imprint: Springer, 2010.

Correct Hardware Design and Verification Methods [electronic resource] : 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbr眉cken, Germany, October 3-6, 2005. Proceedings

0
索取号：
作者：Borrione、 Dominique.、Paul、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.