查詢 text:"Electronic digital computers Evaluation -- Congresses." ,共 2 筆
查詢再細分
-
- 語言
- 英語(2)
-
- 作者
- Alur, Rajeev,(1)
- Lilja, David J.(1)
- Peled, Doron A.,(1)
-
- 資料類型
- 電子書(2)
-
- 主題
- COMPUTERS(2)
- Electronic digital computers(2)
- Evaluation(2)
- Evaluation.(2)
- Évaluation(2)
- Ordinateurs(2)
- Systems ArchitectureGeneral.(2)
- Circuits intégrés(1)
- Computer software(1)
- Integrated circuits(1)
-
9 0 0 0 0
Measuring computer performance :a practitioner's guide
- 作者: Lilja, David J.
- 出版: Cambridge ;New York : Cambridge University Press 2000.
- 資料類型: 電子書
-
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.
- 資料類型: 電子書