SystemVerilog验证 测试平台编写指南

（美）克里斯·斯皮尔（ChrisSpear）著；张春，麦宋平，赵益新译2009 年出版365 页ISBN：9787030253064

本书的主旨是教会读者如何利用SystemVerilog新的测试平台的新结构和新方法，不需要读者事先具备面向对象的编程或者有约束随机测试的系统知识。本书涵盖SystemVerilog验证结构，例如类（classes）、程序块（programbl...

迪克·金-史密斯动物小说 校鼠弗罗拉

（英）金-史密斯著；陈盈帆绘；吕培明，姜蕾译2012 年出版126 页ISBN：9787530753286

校鼠弗罗拉出生在学校幼儿教室的角落里，她对知识的好奇和向往让她成为世界上懂得最多的老鼠。虽然身边的亲人和朋友并没有给予她温暖的鼓励，但弗罗拉坚持自己的梦想，并凭借识字的本领挽救了家人的生命，用自己的...

超级领导力 实现伟大目标的唯一道路

（美）大卫·诺瓦克著；喻海翔，李飞林译2012 年出版214 页ISBN：9787550204294

本书是一本讲授如何提高领导力，如果带领团队实现目标的书。作者用15年时间发展并验证了本书中的内容：使百胜集团在过去9年中股票增值了6倍，公司保持着至少13%的增长率。这本书共有14个章节，告诉你怎么确定你的...

科尔小侦探系列 宠物绑架案

（法）蒂埃德著；（法）巴格利亚罗绘图；吕军燕译2011 年出版124 页ISBN：9787535579270

科尔的邻居伯努瓦是个电视台的记者。所以，他总是三天两头的出差。热心的科尔这次又要替他照顾那只可爱的猫——菲利波尔了，当然，这次，可少了好朋友——巴蒂斯特的加入。在收拾行李的时候，伯努瓦提到了一个很讨厌...

奔向湄公河 从滇西南到老挝

小重山著2012 年出版213 页ISBN：9787509619889

本书用游记的形式，详细描述独自旅行过程中的所见所闻，以行走时间和路线为脉络，配以图片，再现了大理、腾冲、瑞丽、芒市、龙陵、镇康、沧源、澜沧、孟连，以及老挝万象、万荣和佛都琅勃拉邦的自然景观、民族风情和...

怪医杜立特历险记

（美）休·洛夫廷（Hugh Lofting）著2008 年出版158 页ISBN：9787532476442

医学博士杜立特住在一个叫沼泽村的小镇上。沼泽村里的老老少少都认识他，他是一个医术高明的医生。他的家在小镇边上，房子很小，却有一个很大的花园。花园里有宽阔的草坪，有石桌、石椅，柳荫低垂到石椅上。杜立特在...

数字营销 世界上最成功的25个数字营销活动

屈云波主编；（爱尔兰）瑞安，（爱尔兰）琼斯著；派力译2012 年出版154 页ISBN：9787504476678

本书对目前全球数字营销行业进行了系统分析，围绕对数字营销部门代表人物的访谈做了论述。书中着重选取了25个在创意和市场营销方面做得最好的数字营销活动案例。每个案例都包括了“当前面临的挑战，活动预算，目...

死亡回声

（瑞典）约翰·希欧林著；辛可加译2012 年出版392 页ISBN：9787540454159

《死亡回声》是瑞典著名犯罪小说作家约翰·希欧林的成名作。九月的那一天，厄兰岛的大雾很不寻常，六岁的小延斯溜出了外祖父的庄园，走入大雾弥漫的灌木林中，从此音讯全无。二十年来，延斯的母亲茱莉亚一直沉浸在悲...

云南布依族传统宗教经典《摩经》译注与研究

伍文义著2012 年出版700 页ISBN：9787811359954

本书是国家哲学社会科学规划基金项目，突出其译注的科学性和完整性，为学术界提供了珍贵史料。将《摩经》的研究放在我国汉藏语系族群文化大背景下，采用人类学、历史学、考古学、宗教学、民族学、语言学、哲学等...

concepts of programming languages fifth edition=程序设计语言原理 英文版 第5版

robert w.sebesta著2003 年出版705 页ISBN：7111101618