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

Functional Verification Coverage Measurement and Analysis [electronic resource]

0
索取号：
作者：Piziali、 Andrew.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2008.

Object-Based Image Analysis and Treaty Verification [electronic resource] : New Approaches in Remote Sensing 鈥pplied to Nuclear Facilities in Iran

0
索取号：
作者：Nussbaum、 Sven.、Menz、 Gunter.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2008.

Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems [electronic resource] : Proceedings of the GM R&D Workshop, Bangalore, India, January 2007

0
索取号：
作者：Ramesh、 S.、Sampath、 Prahladavaradan.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2007.

A Roadmap for Formal Property Verification [electronic resource]

0
索取号：
作者：DasGupta、 Pallab.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2006.

Analog Circuit Design [electronic resource] : RF Circuits: Wide band, Front-Ends, DAC's, Design Methodology and Verification for RF and Mixed-Signal Systems, Low Power and Low Voltage

0
索取号：
作者：Steyaert、 Michiel.、Huijsing、 Johan H.、van Roermund、 Arthur H.M.、SpringerLink (Online service)、
出版社：Dordrecht : Springer Netherlands, 2006.

Rigorous Software Development [electronic resource] : An Introduction to Program Verification

0
索取号：
作者：Almeida、 Jos茅 Bacelar.、Frade、 Maria Jo茫o.、Pinto、 Jorge Sousa.、Melo de Sousa、 Sim茫o.、SpringerLink (Online service)、
出版社：London : Springer London : Imprint: Springer, 2011.

System Verilog for Verification [electronic resource] : A Guide to Learning the Testbench Language Features

0
索取号：
作者：Spear、 Chris.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2008.

Hardware Verification with SystemVerilog [electronic resource] : An Object-Oriented Framework

0
索取号：
作者：Mintz、 Mike.、Ekendahl、 Robert.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2007.

Standardized Functional Verification [electronic resource]

0
索取号：
作者：Wiemann、 Alan.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2008.

SAT-Based Scalable Formal Verification Solutions [electronic resource]

0
索取号：
作者：Ganai、 Malay K.、Gupta、 Aarti.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2007.

Software Verification and Validation [electronic resource] : An Engineering and Scientific Approach

0
索取号：
作者：Fisher、 Marcus S.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2007.

Metric- Driven Design Verification [electronic resource] : An Engineer's and Executive's Guide to First Pass Success

0
索取号：
作者：Carter、 Hamilton B.、Hemmady、 Shankar.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2007.

Hardware Verification with C++ [electronic resource] : A Practitioner鈥檚 Handbook

0
索取号：
作者：Mintz、 Mike.、Ekendahl、 Robert.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2006.

Effective Functional Verification [electronic resource] : Principles and Processes

0
索取号：
作者：Vasudevan、 Srivatsa.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2006.

Constraint-Based Verification [electronic resource]

0
索取号：
作者：Yuan、 Jun.、Pixley、 Carl.、Aziz、 Adnan.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2006.

Scalable Hardware Verification with Symbolic Simulation [electronic resource]

0
索取号：
作者：Bertacco、 Valeria.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2006.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院