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 2097 Advances in Databases 18th British National Conference on Dat
BNCOD 182001 年出版218 页ISBN:354042265X
Lecture Notes in Computer Science 4111 Formal Methods for Compoents and Objects 4th International Sy
FMCO 2005 Amsterdam2222 年出版0 页ISBN:
高等教育计算机学科“应用型”教材 C/C++程序设计教程:面向过程分册
郑秋生主编;夏敏捷,罗菁副主编2007 年出版255 页ISBN:9787121049156
本书系统地阐述了C++语言中过程化程序设计的思想、语法、方法,主要内容包括C++程序设计的基础知识、基本数据类型和表达式、C++的程序控制语句、数组与函数、指针和引用、用户定义数据类型、文件等内容。书...
算法引论 一种创造性方法 a creative approach
(美)Udi Manber著;黄林鹏,谢瑾奎,陆首博等译2005 年出版334 页ISBN:7121016656
本书是国际算法大师乌迪·曼博(Udi Manber)博士撰写的一本享有盛誉的著作。全书共分12章:第1章到第4章为介绍性内容,涉及数学归纳法、算法分析、数据结构等内容;第5章提出了与归纳证明进行类比的算法设计思想;第6...
袁蒲佳,唐谦,韩丽娟编著2007 年出版210 页ISBN:7560939325
本书内容共分为9章,在内容的选取,概念的引入,文字的叙述以及例题和习题的选择等方面,都力求遵循面向应用、重视实践、便于自学的原则。...