模型检测

（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744

模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...

中国广电新媒体10年

赵子忠主编2015 年出版160 页ISBN：9787565711473

本书全面梳理从2004年至今十年间中国广电新媒体领域的探索和发展历程，分别从有线数字电视、高清电视、直播卫星、互联网电视、移动多媒体广播（CMMB）五个角度，详细介绍上述新媒体形态的技术特点、历程、主要业务...

2001-2002年辽宁省经济社会形势分析与预测

赵子祥，裴志远，曹晓峰等主编2001 年出版349 页ISBN：7205052696

2000-2001年辽宁省经济社会形势分析与预测

赵子祥，裴志远，曹晓峰等主编2000 年出版405 页ISBN：7205049385

2004-2005年辽宁省经济社会形势分析与预测

赵子祥，方晓林，曹晓峰等主编2005 年出版472 页ISBN：7205058457

C语言程序设计上机指导与习题解答

夏宽理，赵子正编著2009 年出版151 页ISBN：9787113098858

本书有10个实验共64个实验小题，同时精选了选择题和填空题各100道。

木偶奇遇记

（意）科洛迪著；（美）克莱尔改编；（意）玛丽亚绘；赵岩译2014 年出版26 页ISBN：9787535056276

木匠皮帕诺睡觉的时候，梦见一位天使赋予他的木偶皮诺曹生命，于是小木偶开始了他的冒险。在历险中，他因贪玩而逃学，因贪心而受骗，还因此变成了驴子。最后，他掉进一只大鲸鱼的腹中，意外与皮帕诺相逢……经过这次......

狗和他的影子

（韩）姜仑廷改编；李友范绘；高若岩译2003 年出版49 页ISBN：756003554X

本书是《伊索寓言》系列读物中的第28本。《伊索寓言》系列读物，是一位韩国作者经过精心筛选、再三修改和反复增添编写而成的儿童英语多媒体读物。全系列读物共30本，每本内容都是由一个经典、有趣的英语寓言和...

狼堡魔影

（奥）托马斯·布热齐纳（Thomas Brezina）著；赵岩译2004 年出版97 页ISBN：7531537060

《狼堡魔影》是一部畅销欧洲的历险幻想小说。莱昂感到困惑：那个躲在暗处用箭射他的神秘的弓箭手究竟是谁呢？那银箭散发着绿色的光，威胁着巨大的狼堡……莱昂很清楚：自己的处境十分危险。而要揭开这个秘密的时候...

电气设备绝缘与试验

淡淑恒，赵子玉编著2010 年出版180 页ISBN：9787508399317

本书是21世纪高等学校规划教材。全书分为6章，主要内容包括电气设备的绝缘结构及对绝缘材料的要求、电气设备中常用的绝缘材料及电气性能、电气设备试验的基本方法、电气设备绝缘结构、电气设备试验、智能仪...