动动手指唱童谣

（美）帕姆·康恩·比尔，苏珊·哈根·尼普编著2009 年出版62 页ISBN：9787500120315

本册收录的英语传统儿歌和手指游戏达73部之多，都是由孩子们所歌唱或朗诵。通过这本书，您的小孩能学会数数，学会英文字母，记住自己的姓名和住址，识别颜色，辨别方向，能打拍子，以及模仿弹奏乐器等。而汲取这本书......

高阶逻辑辅助证明系统

（德）托比亚斯·尼普科夫（TobiasNipkow），（英）劳伦斯·鲍尔森（LawrenceC.Paulson），（德）玛尔库斯·温泽尔（MarkusWenzel）著2013 年出版254 页ISBN：9787564077631

本书的主要内容是Isabelle/HOL的基本原理和关键方法；这是机器辅助证明领域研究的一项经典的先驱性工作。本书主要介绍了Isabelle/HOL基本原理、证明结构、证明构造方法和在安全协议证明中的重要应用。适合于...

量子散射理论的逆问题

（法）查 丹（Chadan，K.），（法）萨巴蒂尔（Sabatier，P.C.）著；张天元译1989 年出版404 页ISBN：7030010086

书名原文:Inverseproblemsinquantumscatteringtheory:全书第一部分总结势散射理论的结果;第二部分讨论以相移为基础的固定L反散射问题;第三部分从散射截面出发...

圣诞欢乐颂 汉英对照

（美）帕姆·康恩·比尔，（美）苏珊·哈根·尼普编著；（美）南茜·斯彭斯·克莱因绘；朱文君译2014 年出版64 页ISBN：9787500139416

这套书囊括英文经典儿歌歌曲，内容丰富，分类清晰。 音乐动听，层次分明。在美国风行几十年，家喻户晓，路边小店都有售。Wee Sing精心选曲，目的在于培养孩子的认知、体格和社交技能。通过歌曲、童谣、韵律诗，以及亲子....

边唱边模仿 汉英对照

（美）帕姆·康恩·比尔，（美）苏珊·哈根·尼普编著；（美）南茜·斯彭斯·克莱因绘；朱文君译2014 年出版63 页ISBN：9787500139409

这套书囊括英文经典儿歌歌曲，内容丰富，分类清晰。 音乐动听，层次分明。在美国风行几十年，家喻户晓，路边小店都有售。Wee Sing精心选曲，目的在于培养孩子的认知、体格和社交技能。通过歌曲、童谣、韵律诗，以及亲子....

腾飞之路 人力资源的管理与开发

（加）P.C.韦菲立，金占明著；中国国际人才交流协会组织编写1995 年出版200 页ISBN：7501917272

本书论述了人力资源在社会经济发展中的作用、特点和我国人力资源的现状及开发战略等。

线性振动 多自由度振动系统的理论分析方法

（德）米 勒（Muller，P.C.），（德）席 伦（Schiehlen，W.O.）著；曾子平等译1989 年出版321 页ISBN：7561801025

化学中的电子计算机程序编排入门

（美）伊森豪尔（Isenhour，T.L.），（美）裘　斯（Jurs，P.C.）著；刘旦初，龙英才译1989 年出版269 页ISBN：7309000692

书名原文:Introductiontocomputerprogramming:本书简要地介绍了阅读、编制和使用计算机程序的必要知识

实时JAVA

（美）迪博（Dibble，P.C.）编著2004 年出版0 页ISBN：7030127226

本书作为RTSJ专家组的成员之一，Dibble从Java平台特有的实时问题概述开始，依次讲解了RTSJ各项主要特性的使用方法。从广泛的实时原理到详细的编程隐患，实时Java覆盖了构建有效实时程序所需的一切知识。主要内容...

口腔正畸 Tip-Edge差动直丝弓矫正技术导引

（美）P.C.凯思林（Peter C.Kesling）著；林久祥主编译1995 年出版106 页ISBN：781034417X