冈村义雄
人员信息
优化列表
2000 – 2009
2007 [电子1] Kedar S.Namjoshi公司 , Tomohiro Yoneda公司 , 东野太郎 , 冈村义雄 :
验证和分析自动化技术,第五届国际研讨会,2007年10月22日至25日,日本东京,ATVA 2007,会议记录。 计算机科学课堂讲稿 4762, 施普林格 2007 ,国际标准图书编号 978-3-540-75595-1 [目录]
1990 – 1999
1990 【c1】 铃木五郎 , 冈村义雄 :
一个实用的在线设计规则检查系统。 数模转换器 1990 : 246-252