查詢 sb:Logiciels intégrés ,共 5 筆
查詢再細分
-
- 語言
- 英語(5)
-
- 作者
- Alur, Rajeev,(1)
- Andrews, Jason R.(1)
- Barki, Henri.(1)
- Guénette, Annie.(1)
- Kettell, Jennifer Ackerman.(1)
- LeBlanc, Nadine.(1)
- Peled, Doron A.,(1)
- Sarker, Saonee,(1)
- Sarker, Suprateek.(1)
-
- 資料類型
- 電子書(5)
-
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.
- 資料類型: 電子書
-
10 0 0 0 0
Co-verification of hardware and software for ARM SoC design
- 作者: Andrews, Jason R.
- 出版: Burlington, MA : Elsevier Newnes ©2005.
- 資料類型: 電子書
-
4 0 0 0 0
Implementing an integrated software product at Northern Steel
- 作者: Guénette, Annie.
- 出版: Hershey, PA : Idea Group Pub. ©1999.
- 資料類型: 電子書
-
7 0 0 0 0
Implementation failure of an integrated software package :a case study from the Far East¹
- 作者: Sarker, Suprateek.
- 出版: Hershey, PA : Idea Group Pub. ©2000.
- 資料類型: 電子書
-
17 0 0 0 0
Microsoft Office 2003 :the complete reference
- 作者: Kettell, Jennifer Ackerman.
- 出版: Emeryville, CA : McGraw-Hill/Osborne ©2003.
- 資料類型: 電子書