（美）Benjamin C.Pierce著；马世龙，眭跃飞等译2005 年出版422 页ISBN：7121011492
类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖...
（美）丹尼尔·W. 布罗姆利（Daniel W. Bromley）著；陈郁，郭宇峰，汪春译2006 年出版329 页ISBN：7208061106
本书分析了经济利益与经济制度之间的关系，是当代经济学经典丛书之一。
Information & On-Line Data in Astronomy
DANIEL EGRET and MIGUEL A.ALBRECHT2222 年出版291 页ISBN：0792336593
GLOBOAL ISSUES IN ANTITRUST AND COMPETITION LAW
ELEANOR M.FOX DANIEL A.CRANE2010 年出版633 页ISBN：0314183620
THE WEST CULTURE AND IDEAS VOLUME II
A.DANIEL FRANKFORTER WILLIAM M.SPELLMAN2004 年出版624 页ISBN：0130984221
DISASTERS AND THE LAW KATRINA AND BEYOND
DANIEL A.FARBER AND JIM CHEN2006 年出版348 页ISBN：0735562288
AN INTRODUCTION TO MECHANICS INTERNATIONAL STUDENT EDITION
DANIEL KLEPPNER AND ROBERT J.KOLENKOW1978 年出版546 页ISBN：0070350485
INSIDE PROPERTY LAW WHAT MATTERS AND WHY
DANIEL B.BOGART AND JOHN MAKDISI2009 年出版294 页ISBN：0735572321
ENVIRONMENTAL SCIENCE EARTH AS A LIVING PLANET
DANIEL B.BOTKIN，EDWARD A.KELLER2222 年出版627 页ISBN：7471545481
Interpersonal Communication：a Goals-based Approach
Daniel J.Canary Mchael J.Cody2222 年出版409 页ISBN：0312036965
