Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of Resear
2004 年出版539 页ISBN:3540221522
Lecture Notes in Computer Science 3226 Semantics of a Networked World Semantics for Grid Databases
2004 年出版326 页ISBN:3540236090
MICROSTRUCTURAL SCIENCE VOLUME 17 IMAGE ANALYSIS AND METALLOGRAPHY PROCEEDINGS OF THE TWENTY-FIRST A
1989 年出版533 页ISBN:0871703645
算法引论 一种创造性方法 a creative approach
(美)Udi Manber著;黄林鹏,谢瑾奎,陆首博等译2005 年出版334 页ISBN:7121016656
本书是国际算法大师乌迪·曼博(Udi Manber)博士撰写的一本享有盛誉的著作。全书共分12章:第1章到第4章为介绍性内容,涉及数学归纳法、算法分析、数据结构等内容;第5章提出了与归纳证明进行类比的算法设计思想;第6...
Software requirements using the unified process a practical approach = 软件需求 基于统一过程的实践方法 (影印版)
Daniel R. Windle ; L. Rene Abreo2003 年出版262 页ISBN:7508315065
本书主要讨论了用于建立有效需求的系统的、易于应用的方法学,并详细阐释了需求的本质。本书的作者重点介绍了在整个需求生存周期中所会遇到的各种实际问题以及相应的解决方案:收集、分析、规范、验证以及维护...
Lecture Notes in Computer Science 4556 Universal Access in Human-Computer Interaction Applications a
UAHCI 20072007 年出版1020 页ISBN:9783540732822
LIFE SCIENCES AND SPACE RESEARCH A SESSION OF THE THIRD INTERNATIONAL SPACE SCIENCE SYMPOSIUM
R.B.LIVINGSTON A.A.IMSHENETSKY G.A.DERBYSHIRE2222 年出版184 页ISBN: