Lecture Notes in Computer science 4144 computer Aided Verification 18th International Conference
CAV 20062006 年出版564 页ISBN：354037406X
（美）DAVE THOMAS CHAD FOWLER ANDY HUNT著；孙勇，姚延栋，张海峰译2007 年出版830 页ISBN：7121038153
Ruby是一种跨平台、面向对象的动态类型编程语言。Ruby体现了表达的一致性和简单性，它不仅仅是一门编程语言，更是表达想法的一种简练方式。无数的软件大师亦为其倾倒。Programming Ruby是关于Ruby语言的一本权...
Covariances in Computer Vision and Machine Learning: Synthesis Lectures on Computer Vision
Ha Quang Minh2017 年出版156 页ISBN：1681732596
