查詢 sb:Logique informatique. ，共 11 筆
查詢再細分
-
- 語言
- 英語(11)
-
- 作者
- Abramsky, Samson,(1)
- Baier, Christel,(1)
- Berghammer, R.(1)
- Bruynooghe, M.(1)
- Dai, Honghua.(1)
- Desel, Jrg.(1)
- Dualibe, Carlos.(1)
- Gabbay, Dov M.,(1)
- Harel, David,(1)
- Haverkort, Boudewijn R,(1)
-
- 資料類型
- 電子書(11)
-
- 主題
- COMPUTERS(7)
- MATHEMATICS(4)
- Computer Science.(3)
- Computer logic.(3)
- Logic, Symbolic and mathematical.(3)
- Logique informatique.(3)
- Machine Theory.(3)
- Computer Literacy.(2)
- Computer science.(2)
- Data Processing.(2)
- More
-
11 0 0 0 0
Program development in computational logic :a decade of research advances in logic-based program development
- 作者: Bruynooghe, M.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
35 0 0 0 0Logic for concurrency and synchronisation
- 作者: Queiroz, Ruy J. G. B. de,
- 出版: Dordrecht ;Boston : Kluwer Academic Publishers ©2003.
- 資料類型: 電子書
-
-
8 0 0 0 0
Relational and Kleene-algebraic methods in computer science :7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers
- 作者: Berghammer, R.
- 出版: Berlin ;Hong Kong : Springer ©2004.
- 資料類型: 電子書
-
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.
- 資料類型: 電子書
-
9 0 0 0 0
The logic of knowledge bases
- 作者: Levesque, Hector J.,
- 出版: Cambridge, Mass. : MIT Press ©2000.
- 資料類型: 電子書
-
4 0 0 0 0
Handbook of logic in computer science.Volume 5,Logic and algebraic methods
- 作者: Abramsky, Samson,
- 出版: Oxford :New York : Clarendon Press ;Oxford University Press 2000.
- 資料類型: 電子書
-
131 0 0 0 0
Automated deduction in geometry :4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers
- 作者: Winkler, Franz,
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
6 0 0 0 0
Validations of Stochastic Systems: A Guide to Current Research.
- 作者: Baier, Christel,
- 出版:
- 資料類型: 電子書
-
10 0 0 0 0
Lectures on Concurrency and Petri Nets :Advances in Petri Nets
- 作者: Desel, Jrg.
- 出版: Berlin ;Heidelberg : Springer-Verlag Berlin Heidelberg 2004.
- 資料類型: 電子書