熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 其他(可複選) |
搜尋結果共 18 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
A Brief History of Mathematics for Curious Minds
This book offers a short and accessible account of the history of mathematics, written for the intel... more |
||
|
A Brief History of Mathematics for Curious Minds
This book offers a short and accessible account of the history of mathematics, written for the intel... more |
||
|
Edsger Wybe Dijkstra: His Life, Work, and Legacy
Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of compu... more |
||
|
|
Edsger Wybe Dijkstra: His Life, Work, and Legacy
Edsger Wybe Dijkstra (1930-2002) was one of the most influential researchers in the history of compu... more |
||
|
Robot Motion and Control 2011
Robot Motion Control 2011 presents very recent results in robot motion and control. Forty short pape... more |
||
|
Lectures in Game Theory for Computer Scientists
Games provide mathematical models for interaction. Numerous tasks in computer science can be formula... more |
||
|
Principles of Constraint Programming
the field that covers foundations and applications. Written by Krzysztof Apt, an authority on the subject, it will be...... more |
||
|
Verification of Sequential and Concurrent Programs
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods ... more |
||
|
Constraint Logic Programming Using Eclipse
Constraint logic programming lies at the intersection of logic programming, optimisation and artific... more |
||
|
Principles of Constraint Programming
the field that covers foundations and applications. Written by Krzysztof Apt, an authority on the subject, it will be...... more |
||
|
|
The Logic Programming Paradigm: A 25-Year Perspective
Logic Programming was founded 25 years ago. This exciting new text reveals both the evolution of thi... more |
||
|
|
Recent Advances in Constraints: Joint Ercim/Colognet International Workshop on Constraint Solving and Constraint Logic Programming, Csclp 2003, Budape
|
||
|
|
New Trends in Constraints: Joint Ercim/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers
|
||
|
|
Logic Programming Languages: Constraints, Functions, and Objects
|
||
|
Robot Motion and Control 2009
Robot Motion Control 2009 presents very recent results in robot motion and control. Forty short pape... more |
||
|
New Perspectives on Games and Interaction
’New Perspectives in Book History. Contributions from the Low Countries’ is published on the occasio... more |
||
|
|
Verification of Sequential and Concurrent Programs
|
||
|
|
Meta-Logics and Logic Programming
|