John J.Mck
VLSI 83 VLSI d
f.anc
（美）威廉·J.鲍莫尔（William J.Baumol），（美）华莱士·
本书介绍国外最新环境经济理论研究成果，为政府设计和制定环境保护政策提供理论依据。
（美）
模型检测是一种用于自动验证有限状态并发系统的技术，与基于模拟、测试和演绎推理的传统技术相比，具有许多方面的优势。本书涵盖的内容包括模型检测的基本知识、模态逻辑、符号化技术、SAT Solv
（美）J
本书用中英对照的形式，结合图片和文字，介绍了人类交通的发展历史与现状，尤其讨论了发展公共交通的重要性，以及各国在这方面采取的做法。...
（美）（M.F.艾尼特）（M.F.Arn
（美）M.David Ston
本书以独立的问题为单元组织全文，内容包括计算机崩溃、计算机硬件和Windows、计算机噪音、计算机变慢或者时间失准、计算机启动黑屏等。
DUNG
V.M.JON
DOWN TO
JAM
COTA
M.T
