（奥）卡尔·车尔尼（Karl Czerny）曲；姚世真注释1997 年出版106 页ISBN：7805537062
本书是一本曲式简练习、内容广泛有益的教材，全集共160练习曲。除第14以外，其他的159都是仅为八小节长度的短小练习曲。它可以作为车尼尔练习曲作品299与作品740的辅助教材。...
曲利明著2011 年出版202 页ISBN：9787806916698
本书以介绍历史文化名城福州五区八县的人文景观、自然景观，以及相关的链接资讯、指南、旅游线路等为主题内容。采用图文并茂的形式和简练的文字，站在旅游者的视角，对每一景点的位置、特征和文化内涵进行品读。...
（西）费拉罗（Ferraro，R.），（土）阿克蒂哈诺格卢（Aktihanoglu，M.）著；李丽译2012 年出版249 页ISBN：9787115295347
本书教给你如何在一系列移动开发平台上开发位置感知应用，内容涉及：理解LBS是横向的，详细介绍了Java、iPhone和Android平台的相关实例，概览了当前的工具和技术，帮助开发人员成为成功的移动企业家的技巧，有效管理动...
杜普伊斯（Adrian M. Dupuis），高尔顿（Robin L. Gordon）著；朱承，彭正梅译2006 年出版249 页ISBN：7303082026
本书线索明晰，是研究西方教育哲学的最佳的简明读物。翻译流畅，基本上达到了信、达、雅的境界，堪称一部上好的教育哲学译著。
（美）埃德蒙·M.克拉克（EDMUNDM.CLARKE，JR.），（美）ORNAGRUMBERG，（美）DORONA.PELED著；吴尽昭，何安平，高新岩译2018 年出版226 页ISBN：9787121352744
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书共分18章，涵盖的主要内容包括模型检测的基本知识、模态逻辑、符号化技术、SATSolver...
（英）（M.沃姆斯利）Mark Walmsley著；冯博琴等译1999 年出版215 页ISBN：704007351X
（英）阿 彻（Archer，M.），诺兰-伍兹（Nolan- 唐述宗等译注1990 年出版155 页ISBN：7533704657
（美）哈尔弗森（Halvorson，M.）著；汤涌涛译2006 年出版376 页ISBN：7302128677
本书全面介绍VB2005的编程思想和特色，包括如何使用控件创建程序，如何编写条件分支和循环结构、调试及更正程序，如何设计用户界面等内容。...
