可信软件基础研究项目组编2018 年出版94 页ISBN:9787308188715
本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标,针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控...
上海市软件行业协会编2006 年出版214 页ISBN:7807034661
本书从一个侧面反映了上海软件产业的进程,同时也反映了行业协会成长的过程。
软件开发技术联盟编著2014 年出版481 页ISBN:9787302371106
本书从初学者角度出发,通过通俗易懂的语言,丰富多彩的实例,详细介绍了使用Oracle 11g进行数据管理的各方面技术。全书共分18章,包括Oracle 11g概述,Oracle 11g体系结构,SQLPlus命令,SQL语言基础,PLSQL编程,过程、函...
全国计算机技术与软件专业技术资格(水平)考试丛书编委会组编2006 年出版149 页ISBN:7111173031
本书介绍了程序员考试模拟试题等。
《图书情报工作》杂志社编2016 年出版296 页ISBN:9787502793517
本书就公共图书馆战略规划、美国图书馆联盟战略规划调查与分析、我国公共图书馆战略规划确是问题、图书馆开放创新战略的研究与实践以及我国未来图书馆发展战略规划与趋势进行了深入的分析与探讨,并指明了发...
《环球科学》杂志社,外研社科学出版工作室编2014 年出版214 页ISBN:9787513544252
《大象如何站在铅笔上》是《科学美国人》精选系列·专栏作家文集系列中的一册,以诙谐幽默的方式,介绍最奇特、最有趣的科学轶事。作者科学功力深厚,把科学的运用自如,生动洒脱地解读各种事件。《科学美国人》精...
《妈妈宝宝》杂志社编著2010 年出版159 页ISBN:9787533156015
本书介绍从准备怀孕做的孕前优生优育检查开始,直到产后42天的复查结束,这段时间孕产妇所做的一切B超检查,包括检查时间、项目、意义、化验单等,运用表格和B超图等图文并茂的形式,让孕产妇一目了然,做到各个阶段.....