多信息约束速度建模方法研究

出版社:中国科学技术大学
出版年:2023
作者:薛智文
资源类型:图书
细分类型:中文文献
相关推荐

形状约束下的软件可靠性统计建模与推断研究

  • 作者:陈康安
  • 出版社:中国科学院数学与系统科学研究院
  • 出版年:2024

多条件约束油藏地质建模

  • 作者:田昌炳
  • ISBN:9787502192679
  • 出版社:石油工业出版社
  • 出版年:2012

多约束条件下末端制导律方法研究

  • 作者:李庆春
  • 出版年:2015

约束引导的测试建模与用例生成

  • 作者:邓茜
  • 出版社:中国科学院软件研究所
  • 出版年:2023

SMT约束的解计数方法研究

  • 作者:葛存菁
  • 出版社:中国科学院软件研究所
  • 出版年:2019