张毅刚主编；杨智明，付宁副主编2012 年出版238 页ISBN：9787115276162
全书共分7章，分为：Proteus功能概述，Proteus ISIS的电路原理图设计，Proteus ISIS的虚拟仿真工具，C51程序设计与调试，单片机系统的设计仿真实例， 基础实验，课程设计题目。...
付宁，吴远恒主编2005 年出版206 页ISBN：7810854720
本书是针对教育部高等教育司颁布的《高职高专课程基本要求》编写的系列教材之一，它共挑选了2460个英语单词，分为8个单元，每个单元又包含了30个词汇及相关的练习题，结合考试大纲，旨在帮助学生分批记忆、巩固和掌...
潘晓燕主编；张佩若，张新，付宁等副主编2012 年出版256 页ISBN：9787040346169
本书由上海交通大学著名四六级培训老师潘晓燕教授根据2011年CET-4最新命题趋势和难度编写，全书包括8套模拟试卷和2011年6月和12月四级考试的真题。每套试卷独立装订成册，便于教师教学和考生自测。答案、听力...
张毅刚，王少军，付宁编著2015 年出版321 页ISBN：9787115374820
本书详细介绍了美国ATMEL公司的AT89S51单片机的硬件结构与工作原理，8051汇编语言指令系统，并从应用设计的角度介绍AT89S51单片机的各种硬件扩展接口设计、接口驱动程序设计以及AT89S51单片机应用系统设计，同时...
上海交通大学潘晓燕主编；张新，孙丽副主编；张新，付宁，李铭，褚颖，薛朝凤，徐广志编2005 年出版149 页ISBN：7040184133
《大学英语四级考试（CET-4）710分新题型全真模拟》（附听力光盘）提供了10套全真模拟试卷，严格按照全国大学英语四、六级考试委员会最新公布的大学英语四级考试全新题型、试卷结构、赋分标准和难度编写，每套试卷后附...
