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

Certified programs and proofs : third International Conference CPP 2013 Melbourne VIC Australia

出版社：Berlin : Springer, c2013.
ISBN：9783319035444
出版年：2013
作者：CPP 2013
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Certified programs and proofs : Second international conference, CPP 2012, Kyoto, Japan, December 13
  • 作者：CPP 2012
  • ISBN：9783642353079
  • 出版社：Berlin ; New York : Springer, c2012.
  • 出版年：2012
...

Certified programs and proofs : first international conference, CPP 2011, Kenting, Taiwan, December
  • 作者：CPP 2011
  • ISBN：9783642253782
  • 出版社：Berlin ; New York : Springer, c2011.
  • 出版年：2011
...

Health information science : 12th International Conference, HIS 2023, Melbourne, VIC, Australia, Oct
  • 作者：HIS 2023
  • ISBN：9789819971077
  • 出版社：Singapore : Springer, 2023.
  • 出版年：2023
...

Science of cyber security : 5th international conference, SciSec 2023, Melbourne, VIC, Australia, Ju
  • 作者：SciSec 2023
  • ISBN：9783031459320
  • 出版社：Cham, Switzerland : Springer, 2023.
  • 出版年：2023
...

Health information science : 10th International Conference, HIS 2021, Melbourne, VIC, Australia, Oct
  • 作者：HIS 2021
  • ISBN：9783030908843
  • 出版社：Cham, Switzerland : Springer, 2021.
  • 出版年：2021
...

Network and system security : 14th International Conference, NSS 2020, Melbourne, VIC, Australia, No
  • 作者：International Conference on Network and System Security
  • ISBN：9783030657444
  • 出版社：Cham, Switzerland : Springer, 2020.
  • 出版年：2020