Lecture Notes in Computer Science 3725 Correct Hardware Design and Verification Methods 13th IFIP WG
CHARME 20052005 年出版412 页ISBN:3540291059
Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN:9783540714095
Lecture Notes in Computer Science 3602 Languages and Compilers for High Performance Computing 17th I
LCPC 20042005 年出版486 页ISBN:354028009X
Lecture Notes in Computer Science 4709 Formal Methods for Components and Objects 5th International S
FMCO 2006 Amsterdam2222 年出版0 页ISBN:
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN:
ARTIFICIAL INTELLIGENCE:THEORY AND PRACTICE
2222 年出版563 页ISBN:7505387804
本书是阐述人工智能基本理论及其实际应用的教材,由三位资深的人工智能专家精心编著而成。针对机器智能系统开发中出现的表达与计算问题,本书介绍了最新的研究成果,并讨论了系统实现中涉及到的实际问题。...
Pattern Recognition and Artificial Intelligence Towards an Integration
1988 年出版499 页ISBN:0444871373