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

Runtime verification : 21st international conference RV 2021 virtual event October 11-14 2021 :
出版社：Cham : Springer, 2021.
ISBN：9783030884932
出版年：2021
作者：RV 2021
资源类型：图书
细分类型：中文文献,西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019,
  • 作者：RV 2019
  • ISBN：9783030320782
  • 出版社：Cham, Switzerland : Springer, 2019.
  • 出版年：2019
...

The semantic web -- ISWC 2022 : 21st International Semantic Web Conference, virtual event, October 2
  • 作者：International Semantic Web Conference
  • ISBN：9783031194320
  • 出版社：Cham, Switzerland : Springer, 2022.
  • 出版年：2022
...

Membrane computing : 21st International Conference, CMC 2020, Virtual Event, September 14-18, 2020,
  • 作者：CMC 2020
  • ISBN：9783030771010
  • 出版社：Cham, Switzerland : Springer, 2021.
  • 出版年：2021
...

Conceptual modeling : 40th International Conference, ER 2021, virtual event, October 18-21, 2021, pr
  • 作者：International Conference on Conceptual Modeling
  • ISBN：9783030890216
  • 出版社：Cham, Switzerland : Springer, 2021.
  • 出版年：2021
...

Runtime verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 20
  • 作者：RV 2023
  • ISBN：9783031442667
  • 出版社：Cham : Springer, 2023.,Cham, Switzerland : Springer, 2023.
  • 出版年：2023
...

Inductive logic programming : 30th International Conference, ILP 2021, virtual event, October 25-27,
  • 作者：ILP 2021
  • ISBN：9783030974534
  • 出版社：Cham : Springer, 2022.
  • 出版年：2022