查詢 text:Programmation logique. ,共 15 筆
查詢再細分
-
- 館別
- 總圖(1)
-
2 0 0 0 0
Fundamentals of electrical control
- 作者: Phipps, Clarence A.,
- 出版: Lilburn, Ga. : Fairmont Press 1999, 1998.
- 資料類型: 電子書
-
4 0 0 0 0
Functional and logic programming :7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 ; proceedings
- 作者: Kameyama, Yukiyoshi.
- 出版: Berlin ;New York : Springer 2004.
- 資料類型: 電子書
-
6 0 0 0 0
The design warrior's guide to FPGAs :devices, tools and flows
- 作者: Maxfield, Clive,
- 出版: Boston : Newnes :Elsevier ©2004.
- 資料類型: 電子書
-
33 0 0 0 0
Logic for concurrency and synchronisation
- 作者: Queiroz, Ruy J. G. B. de,
- 出版: Dordrecht ;Boston : Kluwer Academic Publishers ©2003.
- 資料類型: 電子書
-
7 0 0 0 0
Handbook of logic in artificial intelligence and logic programming.Volume 5,Logic programming
- 作者: Gabbay, Dov M.,
- 出版: Oxford :Oxford ;New York : Clarendon Press ;Oxford University Press 1998.
- 資料類型: 電子書
-
5 0 0 0 0
Design of analog fuzzy logic controllers in CMOS technologies :implementation, test, and application
- 作者: Dualibe, Carlos.
- 出版: Boston : Kluwer Academic Publishers 2003.
- 資料類型: 電子書
-
6 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.
- 資料類型: 電子書
-
8 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.
- 資料類型: 電子書
-
1 0 0 0 0
ASIC and FPGA verification :a guide to component modeling
- 作者: Munden, Richard.
- 出版: San Francisco, Calif. : Morgan Kaufmann ©2005.
- 資料類型: 電子書
-
39 0 0 0 0
Constraint solving over multi-valued logics :application to digital circuits
- 作者: Azevedo, Francisco.
- 出版: Amsterdam ;Washington, DC :Tokyo : IOS ;Ohmsha 2003.
- 資料類型: 電子書