Lecture Notes in Computer Science 3440 Tools and Algorithms for the Construction and Analysis of Sys
TACAS 20052005 年出版588 页ISBN：3540253335
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
The right to good administration at the crossroads of the various sources of fundamental rights in t
Bucura C. Mihaescu Evans2015 年出版573 页ISBN：9783848726387
中国盐业契约论 以四川近现代盐业契约为中心 focusing on researches into modern salt industry's contract of Sichuan
吴斌，支果，曾凡英著2007 年出版232 页ISBN：7810579878
本书是团中央成都市委组织部的支援甘孜州贫困地区教育的支教教师文集。其中包括另一种激情生活、大山深处的孩子、亲近高原的风、行走或驻足、留在时光里的感动、民族教育论坛、志愿者红茶坊等版块。...
Using The Master's Tools Resistance and the Literature of the African and South Asian Diasporas
2000 年出版176 页ISBN：0333915305
跨文化教练 驾驭国家、公司和职业差异的新型工具 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工具，并使用这些软件设计出可制造的数字集成电路芯片。本书内容按集成电路的设计流程编排，...
