自动化理论与技术

出 版 物：《电子科技文摘》 (Sci.& Tech.Abstract)

年 卷 期：2000年第4期

页      码：129-130页

摘      要：Y2000-62082 00069001999年设计自动化会议录=1999 design automationconference[会,英]/The Association for Computing Ma-chinery(ACM).—1999.—1003P.(PC)本次会议由 ACM 主办,于1999年6月21～25日在新奥尔良召开。该会议录共收录170余篇论文。内容主要涉及模型简化的进展,组合问题,基于 IP

主 题 词：理论与技术 理论与应用 设计自动化 模型简化 会议录 组合问题 新奥尔良 广义非线性系统 进展 逻辑综合 

学科分类：0809[工学-计算机类] 08[工学] 

馆 藏 号：203114001...