查詢 text:Computer logic ，共 145 筆
查詢再細分
-
- 作者
- Gaddis, Tony.(3)
- LINK (Online service)(3)
- Merton, Orren.(3)
- Basin, David.(2)
- Bruynooghe, M.(2)
- Foster, Harry,(2)
- Friedberg, Anne.(2)
- Furman, Michael D.(2)
- Gabbay, Dov M.,(2)
- Hamblen, James O.,(2)
- More
-
- 主題
- COMPUTERS(83)
- TECHNOLOGY & ENGINEERING(46)
- ElectronicsCircuitsLogic.(41)
- ElectronicsCircuitsVLSI & ULSI.(41)
- Logic Design.(41)
- MATHEMATICS(19)
- Integrated circuits(17)
- Logic, Symbolic and mathematical.(14)
- Logic.(13)
- Computer Science.(11)
- More
-
- 館別
- 總圖(15)
-
35 0 0 0 0Logic for concurrency and synchronisation
- 作者: Queiroz, Ruy J. G. B. de,
- 出版: Dordrecht ;Boston : Kluwer Academic Publishers ©2003.
- 資料類型: 電子書
-
6 0 0 0 0
Digital design and implementation with field programmable devices
- 作者: Navabi, Zainalabedin.
- 出版: Boston : Kluwer Academic Publishers 2005.
- 資料類型: 電子書
-
13 0 0 0 0
Discrete structures, logic, and computability
- 作者: Hein, James L.
- 出版: Boston : Jones and Bartlett ©1995.
- 資料類型: 電子書
-
7 0 0 0 0
Automated reasoning :second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
- 作者: Basin, David.
- 出版: Berlin ;New York : Springer 2004.
- 資料類型: 電子書
-
5 0 0 0 0
Computation structures
- 作者: Ward, Stephen A.
- 出版: Cambridge, Mass. : MIT Press 1999, ©1990.
- 資料類型: 電子書
-
6 0 0 0 0
Op Amps :design, applications, and troubleshooting
- 作者: Terrell, David L.
- 出版: Boston : Butterworth-Heinemann ©1996.
- 資料類型: 電子書
-
7 0 0 0 0
Logic programming :19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings
- 作者: Palamidessi, Catuscia.
- 出版: Berlin ;New York : Springer ©2003.
- 資料類型: 電子書
-
9 0 0 0 0
Logic based program synthesis and transformation :13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003 : revised selected papers
- 作者: Bruynooghe, M.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
12 0 0 0 0
Advanced ASIC chip synthesis :using Synopsys Design Compiler, Physical Compiler, and PrimeTime
- 作者: Bhatnagar, Himanshu.
- 出版: Boston : Kluwer Academic Publishers ©2002.
- 資料類型: 電子書
-
6 0 0 0 0
Spectral interpretation of decision diagrams
- 作者: Stanković, Radomir S.
- 出版: New York : Springer ©2003.
- 資料類型: 電子書