VERILOG数字系统设计：RTL综合、测试平台与验证 第2版
（美）ZAINALABEDIN NAVABI著2007 年出版274 页ISBN：7121047675
本书主要讲述基于IEEE Std 1364-2001版本的Verilog硬件描述语言，着重讲述了使用Verilog进行数字系统的设计、验证及综合。根据数字集成电路设计的工程需求，本书重点关注了testbench的设计编写、验证和测试技...
（英）大卫·兰伯特著2007 年出版64 页ISBN：9787121036958
《自然发现大百科》引进自世界著名科普图书出版机构DK出版社，连续四年获得世界级科普图书大奖——安万特（Aventis）奖。中文版邀请中国科学院、中国气象局、中国科普研究所等各领域权威专家精心审订。图书主题...
（以色列）戈德赖克著2005 年出版798 页ISBN：7121008408
密码学涉及解决通信保密问题的计算系统的概念、定义及构造。密码系统的设计必须基于坚实的基础。本书继上一卷对这一基础问题给出了系统而严格的论述：用已有工具来定义密码系统的目标并解决新的密码学问题。...
罗蕴玲，杨卓，王秀红，王颖，张景杰编2016 年出版600 页ISBN：9787040463835
本书是《高等数学及其应用（第二版）》（罗蕴玲等编著，高等教育出版社出版）的配套导学教材。全书分为十二章，内容包括函数与模型，极限与连续，导数与微分，中值定理与导数的应用，积分，定积分的应用，向量代数与......
Web前端开发技术 HTML、CSS、JavaScript 第2版
聂常红主编；王刚，潘正军，唐远强副主编2016 年出版350 页ISBN：9787115426666
本书分5篇，共26章。第1篇主要介绍网页设计流程及各种常用的HTML标记的用法等内容；第2篇详细介绍了CSS基础知识、CSS常用属性、在HTML文档中应用CSS及使用CSS+DIV布局网页等内容；第3篇详细介绍了JavaScript基础...
浙江省第一次水利普查领导小组办公室编著2015 年出版113 页ISBN：9787517039877
本书是浙江省第一次水利普查成果之一，系统介绍了浙江省第一次水利普查关于河湖开发治理保护情况普查的主要成果，包括河湖取水口、地表水水源地和江河治理情况等内容。全书汇集了浙江省河湖开发治理保护情况普...
孙学礼，曾凡敏著2017 年出版180 页ISBN：7030510232
本“共识”的内容基于心身医学理论框架，作者从心理、生理和社会诸方面系统认识、分析、研究临床躯体症状，并从多个维度探索其治疗规律。书中提出了躯体症状的心身定义、分类假说，并在此假说的基础上制定了相应...
周铁丽，郑飞云主编2016 年出版324 页ISBN：9787117227254
本丛书将面向临床和检验，以疾病为主线，全面地介绍实验室诊断方法和临床应用，使临床医师根据诊治需要，能方便地查阅检验诊断项目，也可以作为临床医学学生的学习用参考书。全书将分为13个分册，包括：《神经系统疾......
纸上魔方著2017 年出版120 页ISBN：9787558123719
本书以小剧场的形式，并配以精美的图画，向小读者们展示了古埃及的人文历史与民俗风情。帷幕逐渐拉开：丽莎等人根据线索得知龙珠在古埃及出没，便再次踏上冒险之旅，却不幸掉入沙漠，为了逃避圣甲虫又误入胡夫金字塔.....
（美）普雷斯（Press，W.H.）等著2003 年出版1002 页ISBN：750538631X
本书由美国洛斯阿拉莫斯国家实验室主任普雷斯等四名从事科学计算的学者合著，与其各姊妹篇被美国哈佛大学、康乃尔大学、英国剑桥大学等国际著名大学作为本科生和研究生数值计算课程的教材。本书特点之一是选...
