大拱桥--暨南大学学生门户 » 图书馆 » | 08 环境公报 » Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure [electronic resource] : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
名称 Efficient Solving of Large Arithmetic Constraint Systems with Complex Boolean Structure [electronic resource] : Proof Engines for the Analysis of Hybrid Discrete-Continuous Systems
索引号
分类号
(| 08 环境公报)
作者 Herde、 Christian.、SpringerLink (Online service)、
出版社 Wiesbaden : Vieweg+Teubner, 2011.
ISBN
页数 XVII, 163p. 30 illus. digital.
价格 doi
标签
简介
注解