(美)格雷戈里,(美)米勒著2014 年出版300 页ISBN:9787115345035
本旨在帮助C++开发人员在理解C++ AMP核心概念的基础上,理解更高级的功能。书中包含了C++ AMP程序开发的设计思路、使用方法、真实案例及代码示例,并提供了案例的源代码。通过本书读者能了解如何在应用程序中...
Lecture Notes in Computer Science 3114 Computer Aided Verification 16th International Conference
CAV 20042004 年出版536 页ISBN:3540223428
Lecture Notes in Computer Science 3634 Computer Science Logic 19th International Workshop
CSL 20052005 年出版567 页ISBN:3540282319
Lecture Notes in Computer Science 4207 Computer Science Logic 20th International Workshop
CSL 20062006 年出版627 页ISBN:3540454586
Lecture Notes in Computer Science 3701 Theoretical Computer Science 9th Italian Conference
ICTCS 20052005 年出版411 页ISBN:3540291067
Lecture Notes in Computer Science 3576 Computer Aided Verification 17th International Conference
CAV 20052005 年出版564 页ISBN:3540272313
Lecture Notes in Computer science 4590 Computer Aided Verification 19th International Conference
CAV 20072007 年出版562 页ISBN:9783540733676
Lecture Notes in Computer Science 3210 Computer Science Logic 18th International Workshop
CSL 20042004 年出版671 页ISBN:3540230246
Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN:354037406X
(美)Ellis Horowitz,(美)Sartaj Sahni,(美)Sanguthevar Rajasekaran著;冯博琴,叶茂,高海昌等译2006 年出版452 页ISBN:7111176162
本书就是教会你如何设计算法并分析算法。本书介绍了算法和算法性能分析的基本知识,提供了基本的数据结构知识。重点讨论了不同的算法设计策略。对下界理论的研究,论证算法是否求解某个问题的渐进最好算法、确...