搜索包含 verification 的图书 - 暨南大学图书馆

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

	Methods and Procedures for the Verification and Validation of Artificial Neural Networks [electronic resource] 0 索取号：作者：Taylor、 Brian J.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2006.		Systemverilog for Verification [electronic resource] : A Guide to Learning the Testbench Language Features 0 索取号：作者：Spear、 Chris.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2006.
	Functional Verification of Programmable Embedded Architectures [electronic resource] : A Top-Down Approach 0 索取号：作者：Mishra、 Prabhat.、Dutt、 Nikil D.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		Verification Methodology Manual for SystemVerilog [electronic resource] 0 索取号：作者：Bergeron、 Janick.、Cerny、 Eduard.、Hunter、 Alan.、Nightingale、 Andrew.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2006.
	Taxonomies for the Development and Verification of Digital Systems [electronic resource] 0 索取号：作者：Bailey、 Brian.、Martin、 Grant.、Anderson、 Thomas.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		全面的功能验证 : 完整的工业流程 0 索取号：TN402/20106 作者：怀尔、戈斯、勒斯纳、沈海华、乐翔、出版社：北京 : 机械工业出版社, 2010
	Scientific computation with automatic result verification 0 索取号：O24-51/E901 作者：出版社：Wien ; New York : Springer-Verlag, c1988.		Verilog digital system design : Register transfer level synthesis, testbench, and verification = Verilog数字系统设计： RTL综合┷测试平台与验证 0 索取号：TP312VE/E20081.2 作者：Navabi、 Zainalabedin.、出版社：Beijing : Publishing House of Electronics Industry, 2007.
	System Verilog Assertions应用指南 0 索取号：TN431.202/20091 作者：维加亚拉哈文、 S.、拉马纳坦、 M.、陈俊杰、出版社：北京 : 清华大学出版社, 2006		Verilog数字系统设计 : RTL综合、测试平台与验证 : register transfer level synthesis, testbench, and verification 0 索取号：TP312VH/20082 作者：纳瓦毕、李广军、出版社：北京 : 电子工业出版社, 2007
	System Verilog验证方法学 0 索取号：TN702/200712 作者：伯杰龙、夏宇闻、出版社：北京 : 北京航空航天大学出版社, 2007		Software quality approaches : testing, verification, and validation 0 索取号：TP311.5/E20021 作者：出版社：Berlin ; New York : Springer, c2001.
	Concurrency verification : introductionto compositional and noncompositional methods 0 索取号：TP302.1/E20021 作者：出版社：Cambridge, England ; New York : Cambridge University Press, 2001.		Petri nets for systems engineering : a guide to modeling, verification, and applications 0 索取号：O157.5/E20031 作者：Girault、 Claude.、Valk、 R. (Rüdiger).、出版社：Berlin ; New York : Springer, c2003.
	An introduction to formal program verification 0 索取号：TP31/E90176 作者：Mili、 Ali.、出版社：New York : Van Nostrand Reinhold Co., 1985.		Software engineering : analysis and verification 0 索取号：TP31/E90169 作者：Lewis、 T. G. (Theodore Gyle)、 1941-、出版社：Reston, Va. : Reston Pub. Co., 1982.

	Methods and Procedures for the Verification and Validation of Artificial Neural Networks [electronic resource] 0 索取号：作者：Taylor、 Brian J.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2006.		Systemverilog for Verification [electronic resource] : A Guide to Learning the Testbench Language Features 0 索取号：作者：Spear、 Chris.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2006.
	Functional Verification of Programmable Embedded Architectures [electronic resource] : A Top-Down Approach 0 索取号：作者：Mishra、 Prabhat.、Dutt、 Nikil D.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		Verification Methodology Manual for SystemVerilog [electronic resource] 0 索取号：作者：Bergeron、 Janick.、Cerny、 Eduard.、Hunter、 Alan.、Nightingale、 Andrew.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2006.
	Taxonomies for the Development and Verification of Digital Systems [electronic resource] 0 索取号：作者：Bailey、 Brian.、Martin、 Grant.、Anderson、 Thomas.、SpringerLink (Online service)、出版社：Boston, MA : Springer US, 2005.		全面的功能验证 : 完整的工业流程 0 索取号：TN402/20106 作者：怀尔、戈斯、勒斯纳、沈海华、乐翔、出版社：北京 : 机械工业出版社, 2010
	Scientific computation with automatic result verification 0 索取号：O24-51/E901 作者：出版社：Wien ; New York : Springer-Verlag, c1988.		Verilog digital system design : Register transfer level synthesis, testbench, and verification = Verilog数字系统设计： RTL综合┷测试平台与验证 0 索取号：TP312VE/E20081.2 作者：Navabi、 Zainalabedin.、出版社：Beijing : Publishing House of Electronics Industry, 2007.
	System Verilog Assertions应用指南 0 索取号：TN431.202/20091 作者：维加亚拉哈文、 S.、拉马纳坦、 M.、陈俊杰、出版社：北京 : 清华大学出版社, 2006		Verilog数字系统设计 : RTL综合、测试平台与验证 : register transfer level synthesis, testbench, and verification 0 索取号：TP312VH/20082 作者：纳瓦毕、李广军、出版社：北京 : 电子工业出版社, 2007
	System Verilog验证方法学 0 索取号：TN702/200712 作者：伯杰龙、夏宇闻、出版社：北京 : 北京航空航天大学出版社, 2007		Software quality approaches : testing, verification, and validation 0 索取号：TP311.5/E20021 作者：出版社：Berlin ; New York : Springer, c2001.
	Concurrency verification : introductionto compositional and noncompositional methods 0 索取号：TP302.1/E20021 作者：出版社：Cambridge, England ; New York : Cambridge University Press, 2001.		Petri nets for systems engineering : a guide to modeling, verification, and applications 0 索取号：O157.5/E20031 作者：Girault、 Claude.、Valk、 R. (Rüdiger).、出版社：Berlin ; New York : Springer, c2003.
	An introduction to formal program verification 0 索取号：TP31/E90176 作者：Mili、 Ali.、出版社：New York : Van Nostrand Reinhold Co., 1985.		Software engineering : analysis and verification 0 索取号：TP31/E90169 作者：Lewis、 T. G. (Theodore Gyle)、 1941-、出版社：Reston, Va. : Reston Pub. Co., 1982.