查詢 text:Vérification ，共 17 筆
查詢再細分
-
- 語言
- 英語(17)
-
- 資料類型
- 電子書(17)
-
- 主題
- Verification.(8)
- BUSINESS & ECONOMICS(6)
- COMPUTERS(6)
- Circuits intégrés(5)
- Integrated circuits(5)
- Logiciels(5)
- Vérification(5)
- Computer software(4)
- Verification(4)
- Vérification.(4)
- More
-
10 0 0 0 0Co-verification of hardware and software for ARM SoC design
- 作者: Andrews, Jason R.
- 出版: Burlington, MA : Elsevier Newnes ©2005.
- 資料類型: 電子書
-
34 0 0 0 0
Verification, model checking, and abstract interpretation :5th international conference, VMCAI 2004, Venice, Italy, January 11-13, 2004 : proceedings
- 作者: Steffen, Bernhard.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
3 0 0 0 0
Professional verification :a guide to advanced functional verification
- 作者: Wilcox, Paul,
- 出版: Boston : Kluwer Academic ©2004.
- 資料類型: 電子書
-
22 0 0 0 0
Trade and transport facilitation :an audit methodology.
- 作者: Raven, John,
- 出版: Washington, DC : World Bank 2000.
- 資料類型: 電子書
-
5 0 0 0 0
Writing testbenches :functional verification of HDL models
- 作者: Bergeron, Janick.
- 出版: Boston : Kluwer Academic ©2000.
- 資料類型: 電子書
-
6 0 0 0 0
Environmental management, environmental accounting and financial performance
- 作者: Toms, J. S.
- 出版: London : CIMA 2000.
- 資料類型: 電子書
-
11 0 0 0 0
Social and environmental reporting and its role in maintaining or creating organizational legitimacy
- 作者: Deegan, Craig.
- 出版: Bradford, England : Emerald Group Pub. ©2002.
- 資料類型: 電子書
-
7 0 0 0 0
Computer aided verification :16th international conference, CAV 2004, Boston, MA, USA, July 13-17, 2004 ; proceedings
- 作者: Alur, Rajeev,
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
104 0 0 0 0
Coming to terms with security :a handbook on verification and compliance.
- 作者: United Nations Institute for Disarmament Research.
- 出版: Geneva, Switzerland :London : UNIDIR ;VERTIC ©2003.
- 資料類型: 電子書
-
11 0 0 0 0
Quality review schemes for auditors :their potential for Sub-Saharan Africa
- 作者: Johnson, Sonia R.,
- 出版: Washington, D.C. : World Bank ©1995.
- 資料類型: 電子書