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

Rigorous state-based methods : 7th International Conference ABZ 2020 Ulm Germany May 27-29 2020
出版社：Cham : Springer, 2020.
ISBN：9783030480769
出版年：2020
作者：ABZ 2020
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Rigorous state-based methods : 8th international conference, ABZ 2021, Ulm, Germany, June 9-11, 2021
  • 作者：ABZ 2021
  • ISBN：9783030775421
  • 出版社：Cham : Springer, 2021.
  • 出版年：2021
...

Rigorous state-based methods : 9th International Conference, ABZ 2023, Nancy, France, May 30-June 2,
  • 作者：ABZ 2023
  • ISBN：9783031331626
  • 出版社：Cham : Springer, 2023.,Cham, Switzerland : Springer, 2023.
  • 出版年：2023
...

2011 7th Euro-NGI Conference on Next Generation Internet (NGI 2011) : Kaiserslautern, Germany, 27-29
  • 作者：Euro-NF Conference on Next Generation Internet
  • ISBN：9781457709159
  • 出版社：Piscataway, NJ : IEEE, c2011.
  • 出版年：2011
...

Mathematical software -- ICMS 2020 : 7th International Conference, Braunschweig, Germany, July 13-16
  • 作者：International Congress of Mathematical Software
  • ISBN：9783030521998
  • 出版社：Cham, Switzerland : Springer, 2020.
  • 出版年：2020
...

Business process management : 7th international conference, BPM 2009, Ulm, Germany, September 8-10,
  • 作者：BPM 2009
  • ISBN：9783642038471
  • 出版社：Berlin ; New York : Springer, c2009
  • 出版年：2009
...

NASA formal methods : 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, p
  • 作者：NFM 2015
  • ISBN：9783319175232
  • 出版社：Cham : Springer, [2015].
  • 出版年：2015