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

Rigorous state-based methods : 9th International Conference ABZ 2023 Nancy France May 30-June 2

出版社：Cham : Springer, 2023.,Cham, Switzerland : Springer, 2023.
ISBN：9783031331626
出版年：2023
作者：ABZ 2023
资源类型：图书
细分类型：中文文献,西文文献
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 : 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020
  • 作者：ABZ 2020
  • ISBN：9783030480769
  • 出版社：Cham : Springer, 2020.
  • 出版年：2020
...

2017 9th International Conference on Cyber Conflict (CyCon 2017) : Tallinn, Estonia, 30 May - 2 June
  • 作者：International Conference on Cyber Conflict
  • ISBN：9781538626917
  • 出版社：Piscataway, N.J. : IEEE, 2017.
  • 出版年：2017
...

Proceedings of the 18th IASTED International Conference on Modelling and Simulation : May 30-June 1,
  • 作者：IASTED International Conference Modelling and Simulation
  • ISBN：9780889866638
  • 出版社：Anaheim ; Calgary : Acta Press, c2007.
  • 出版年：2006
...

The 15th Annual International Symposium on Computer Architecture : May 30-June 2, 1988, Honolulu, Ha
  • 作者：International Symposium on Computer Architecture
  • ISBN：0818608617
  • 出版社：Washington, D.C. : Computer Society Press of the IEEE, 1988.
  • 出版年：1988
...

Privacy enhancing technologies : 5th international workshop, PET 2005, Cavtat, Croatia, May 30-June
  • 作者：PET 2005
  • ISBN：3540347453
  • 出版社：Berlin ; New York : Springer, 2006.
  • 出版年：2006