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

Tests and proofs : 17th International Conference TAP 2023 Leicester UK July 18-19 2023 proceed
出版社：Cham : Springer, [2023].,Cham, Switzerland : Springer, 2023.
ISBN：9783031388279
出版年：2023
作者：TAP 2023
资源类型：图书
细分类型：中文文献,西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Reversible computation : 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023,
  • 作者：RC 2023
  • ISBN：9783031380990
  • 出版社：Cham : Springer, 2023.,Cham, Switzerland : Springer, 2023.
  • 出版年：2023
...

Tests and proofs : 8th International Conference, TAP 2014, held as part of STAF 2014, York, UK, July
  • 作者：TAP 2014
  • ISBN：9783319090986
  • 出版社：Cham : Springer, 2014.
  • 出版年：2014
...

Network and system security : 17th International Conference, NSS 2023, Canterbury, UK, August 14-16,
  • 作者：International Conference on Network and System Security
  • ISBN：9783031398278
  • 出版社：Cham : Springer, 2023.,Cham, Switzerland : Springer, 2023.
  • 出版年：2023
...

Software architecture : 17th European Conference, ECSA 2023, Istanbul, Turkey, September 18-22, 2023
  • 作者：ECSA 2023
  • ISBN：9783031425912
  • 出版社：Cham : Springer, 2023.,Cham, Switzerland : Springer, 2023.
  • 出版年：2023
...

Formal concept analysis : 17th International Conference, ICFCA 2023, Kassel, Germany, July 17-21, 20
  • 作者：ICFCA 2023
  • ISBN：9783031359484
  • 出版社：Cham : Springer, [2023].,Cham, Switzerland : Springer, 2023.
  • 出版年：2023
...

Tests and proofs : 5th international conference, TAP 2011, Zurich, Switzerland, June 30 -July1, 2011
  • 作者：TAP 2011
  • ISBN：9783642217678
  • 出版社：Berlin : Springer, c2011.
  • 出版年：2011