幫助中心 | 我的帳號 | 關於我們
美商天龙图书网 搜索“模模” 共有 468 种商品

最近浏览的商品

请选择排序方式: 类别   版别    出版年月↓   折扣↓   定价↓









  • 模拟电子技术(高职电子类精品教材)

  • 所属分类:电子电脑>>电工无线电自动化>>无线电电子.电讯     作者:袁媛//张艳艳     出版社:中国科大
  •     《模拟电子技术》作为安徽省省级质量工程(教 学研究项目)“实践推进式高职电子技术教学模式的 研究”和“基于工作过程的模拟电子技术课程教学 式研究”的配套教材,以培养高职学生广泛的电子技 术基础理论和扎实的电子技术实践技能为主要目标。 在内容的安排上,本书按照实践推进式模式,以电路 实例的仿真或
  • 人民币:RMB 40.00 元     售价:NT$ 180.00
  • 放入购物车
    加入收藏夹








  • 模型检测

  • 所属分类:电子电脑>>电工无线电自动化>>自动化技术     作者:(美)Edmund M.Clarke//Orna Grumberg//Doron A.Peled|译者:吴尽昭//何安平//高新岩     出版社:电子工业
  •     模型检测是一种用于自动验证有限状态并发系 统的技术,与基于模拟、测试和演绎推理的传统技 术相比,具有许多方面的优势。Edmund M.Clarke, Orna Grumberg,Doron A.Peled著的《模型检测》 共分18章,涵盖的主要内容包括模型检测的基本知 识、系统建模、时序逻辑、符号模型检测技术、SMV 模型检测器、模型检测与自动机理论、偏序约简、 抽象解释、有限状态系统的无限簇、实时系统验证 等。 本书既适合从事计算机科学、电子科学、电气 工程、工业制造等复杂系统研究的科研人员阅读, 也适合系统管理、测试部门的企事业单位人员作为 参考用书。
  • 人民币:RMB 69.00 元     售价:NT$ 276.00
  • 放入购物车
    加入收藏夹



  • 商品搜寻:
  • | 进阶搜寻
首页新手上路客服中心关于我们人才邀请联络我们Top↑
Copyrightc 1999~2008 美商天龙国际图书股份有限公司 台湾分公司. All rights reserved.
营业地址:台北市中正区重庆南路一段103号1F 105号1F-2F
读者服务部电话:02-2381-2033 02-2381-1863 时间:周一~周五 10:00~17:00 服务信箱:bookuu@69book.com