熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 其他(可複選) |
搜尋結果共 16 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
Existential Therapy: Responses to Frequently Asked Questions
In Existential Therapy: Responses to Frequently Asked Questions, the authors address those questions... more |
||
|
Existential Therapy: Responses to Frequently Asked Questions
In Existential Therapy: Responses to Frequently Asked Questions, the authors address those questions... more |
||
|
The Age of Algorithms
|
||
|
Israeli-Egyptian Relations, 1980-2000
|
||
|
Computation, Proof, Machine
|
||
|
Proofs and Algorithms: An Introduction to Logic and Computability
Logic is a branch of philosophy, mathematics and computer science. It studies the required methods t... more |
||
|
Introduction to the Theory of Programming Languages
1. Terms and Relations.- 2. The Language PCF.- 3. From Evaluation to Interpretation.- 4. Compilation... more |
||
|
The Principles of Programming Languages
By introducing the principles of programming languages, using the Java language as a support, Gilles Dowek provides the...... more |
||
|
Automated Reasoning: 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings
This book constitutes the refereed proceedings of the 4th International Joint Conference on Automate... more |
||
|
Israeli-Egyptian Relations, 1980-2000
A memoir by former diplomat Ephraim Dowek which provides a comprehensive study of the relations between Egypt and...... more |
||
|
|
Dynamical Processes in Atomic and Molecular Physics
|
||
|
|
Rewriting and Typed Lambda Calculi: Joint International Conferences, Rta and Tlca 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna,
This book constitutes the refereed proceedings of the Joint 25th International Conference on Rewriti... more |
||
|
|
Theorem Proving in Higher Order Logics: 12th International Conference, Tphols’’99, Nice, France, September 14-17, 1999, Proceedings
|
||
|
|
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa ’’95, Paderborn, Germany, September 1995. Selected Papers
|
||
|
The Age of Algorithms
Algorithms are probably the most sophisticated tools that people have had at their disposal since th... more |
||
|
Computation, Proof, Machine: Mathematics Enters a New Age
Computation is revolutionizing our world, even the inner world of the "pure" mathematician. Mathemat... more |
