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

Automated reasoning for security protocol analysis and issues in the theory of security : joint work
出版社：Berlin ; New York : Springer, 2010.
ISBN：9783642160738
出版年：2010
作者：Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Sec
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Foundations and applications of security analysis : Joint Workshop on Automated Reasoning for Securi
  • 作者：Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Sec
  • ISBN：9783642034589
  • 出版社：Berlin ; New York : Springer, c2009.
  • 出版年：2009
...

Safe at work? : library security and safety issues
  • 作者：Switzer,Teri R.
  • ISBN：0810836238
  • 出版社：Lanham, Md. : Scarecrow Press, c1999.
  • 出版年：1999
...

Environmental security : approaches and issues
  • 作者：Floyd,Rita,
  • ISBN：9780415539005
  • 出版社：Abingdon, Oxon ; New York, NY : Routledge, c2013.
  • 出版年：2013
...

Smart grids : security and privacy issues
  • 作者：Boroojeni,Kianoosh G.,
  • ISBN：9783319450490
  • 出版社：Cham, Switzerland : Springer, 2017.
  • 出版年：2017
...

Cyberspace security and defense : research issues
  • 作者：NATO Advanced Research Workshop on Cyberspace Security and Defense
  • ISBN：1402033796
  • 出版社：Dordrecht : Springer, 2005.
  • 出版年：2005
...

Generic Inference : a unifying theory for automated reasoning
  • 作者：Pouly,Marc,
  • ISBN：9780470527016
  • 出版社：Hoboken, New Jersey : Wiley, 2011.
  • 出版年：2011