登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2016) :
出版社：Piscataway, N.J. : IEEE, 2016.
ISBN：9781509030804
出版年：2016
作者：International Workshop on Symbolic and Numerical Methods for Reachability Analysis
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

2010 XIth International Workshop on Symbolic and Numerical Methods, Modeling and Applications to Cir
  • 作者：International Workshop on Symbolic and Numerical Methods,Modeling and Applications to Circuit Desig
  • ISBN：9781424468164
  • 出版社：Piscataway, N.J. : IEEE, c2010.
  • 出版年：2010
...

Reachability problems : 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 201
  • 作者：RP 2016
  • ISBN：9783319459936
  • 出版社：Switzerland : Springer, 2016.
  • 出版年：2016
...

International Conference of Numerical Analysis and Applied Mathematics (ICNAAM 2016) : Rhodes, Greec
  • 作者：International Conference on Numerical Analysis and Applied Mathematics
  • ISBN：9780735415416
  • 出版社：Melville, N.Y. : AIP Publishing, 2017.
  • 出版年：2017
...

2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data 2016) :
  • 作者：International Workshop on Modelling,Analysis,and Control of Complex CPS
  • ISBN：9781509011551
  • 出版社：Piscataway, N.J. : IEEE, c2016.
  • 出版年：2016
...

2016 International Conference on Numerical Simulation of Optoelectronic Devices (NUSOD 2016) : Sydne
  • 作者：International Conference on Numerical Simulation of Optoelectronic Devices
  • ISBN：9781467386043
  • 出版社：Piscataway, N.J. : IEEE, 2016.
  • 出版年：2016
...

Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17
  • 作者：NSV 2016
  • ISBN：9783319542911
  • 出版社：Cham, Switzerland : Springer, 2017.
  • 出版年：2017