查詢 ext:Dagstuhl (2003 ,共 5 筆
查詢再細分
-
- 出版年
- 2004(5)
-
- 語言
- 英語(5)
-
- 作者
- Alt, René.(1)
- Berghammer, R.(1)
- Dehne, F.(1)
- Downey, R. G.(1)
- Ehrich, Hans-Dieter.(1)
- Fellows, M. R.(1)
- Lengauer, Christian.(1)
- Meyer, John-Jules Ch.(1)
- Möller, Bernhard,(1)
- Ryan, Mark D.(1)
-
- 資料類型
- 電子書(5)
-
- 主題
- MATHEMATICS(3)
- COMPUTERS(2)
- Agent(1)
- Agent intelligent.(1)
- Agents intelligents (Logiciels)(1)
- Algebraic logic(1)
- Algèbre de Kleene(1)
- Algèbre des relations.(1)
- Algèbres des relations(1)
- Algorithme.(1)
- More
-
43 0 0 0 0
Numerical software with result verification :international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers
- 作者: Alt, René.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
5 0 0 0 0
Domain-specific program generation :international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers
- 作者: Lengauer, Christian.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
11 0 0 0 0
Objects, agents, and features :international seminar, Dagstuhl Castle, Germany, February 16-21, 2003 ; revised and invited papers
- 作者: Ryan, Mark D.
- 出版: Berlin ;Heidelberg : Springer 2004.
- 資料類型: 電子書
-
13 0 0 0 0
Parameterized and exact computation :first international workshop, IWPEC 2004, Bergen, Norway, September 14-17, 2004 : proceedings
- 作者: Downey, R. G.
- 出版: Berlin ;New York : Springer ©2004.
- 資料類型: 電子書
-
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.
- 資料類型: 電子書