Lecture Notes in Computer Science 4424 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20072007 年出版738 页ISBN：9783540712084
Lecture Notes in Computer Science 3920 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20062006 年出版506 页ISBN：3540330569
Lecture Notes in Computer Science 2988 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20042004 年出版608 页ISBN：354021299X
FIGURING OUT FIGURATIVE ART CONTEMPORARY PHILOSOPHERS ON CONTEMPORARY PAINTINGS
EDITED BY DAMIEN FREEMAN AND DEREK MATRAVERS2015 年出版210 页ISBN：9781844658022
公共政策工具 对公共管理工具的评价 evaluating the tools of public administration
（美）B. 盖伊·彼得斯（B.Guy Peters），（美）弗兰斯 ·K. M. 冯尼斯潘（Frans K.M.van Nispen）编；顾建光译（美国宾夕法尼亚州匹兹堡大学）2007 年出版250 页ISBN：7300075312
本书分析了有关政策工具探讨的背景，勾勒出其在公共管理领域的发展，阐述了各国政府近年来在限制市场的干预方面所做的努力。
Using The Master's Tools Resistance and the Literature of the African and South Asian Diasporas
2000 年出版176 页ISBN：0333915305
Education and training in contemporary cartography （Progress in contemporary cartography）
D.R.Freaser Taylor2222 年出版324 页ISBN：
跨文化教练 驾驭国家、公司和职业差异的新型工具 new tools for leveraging national， corporate ＆ professional differences
菲利普·罗森斯基（Philippe Rosinski）著；冯云霞，贾晓莉，王蕾译2006 年出版292 页ISBN：7300074626
本书简要介绍跨文化背景下的企业教练的最新理论及常见做法。
DIGITAL VLSI CHIP DESIGN WITH CADENCE AND SYNOPSYS CAD TOOLS
（美）ERIK BRUNVAND著2009 年出版571 页ISBN：9787121091599
本书介绍如何使用Cadence和Synopsys公司的CAD工具来实际设计数字VLSI芯片。读者通过本书可以循序渐进地学习这些CAD工具，并使用这些软件设计出可制造的数字集成电路芯片。本书内容按集成电路的设计流程编排，...
