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

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

Automated reasoning for security protocol analysis and issues in the theory of security : joint work
  • 作者：Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Sec
  • ISBN：9783642160738
  • 出版社：Berlin ; New York : Springer, 2010.
  • 出版年：2010
...

Automated reasoning : introduction and applications
  • 作者：Wos,Larry
  • ISBN：0130544531
  • 出版社：Englewood Cliffs, N.J : Prentice-Hall, 1984.
  • 出版年：1984
...

Automated Database Applications Testing Specification Representation fpr Automated Reasoning
  • 作者：Rana Farid Mikhail
  • ISBN：9812837280 CNY565.00
  • 出版社：World Scientific 2009
  • 出版年：2009
...

Automated Database Applications Testing Specification Representation fpr Automated Reasoning
  • 作者：Rana Farid Mikhail
  • ISBN：9812837280
  • 出版社：World Scientific 2009
  • 出版年：2009
...

Artificial intelligence, automated reasoning, and symbolic computation : joint international confere
  • 作者：AISC 2002
  • ISBN：3540438653
  • 出版社：Berlin : Springer, c2002.
  • 出版年：2002
...

Automated reasoning and its applications : essays in honor of Larry Wos
  • 作者：Veroff,Robert
  • ISBN：0262220555
  • 出版社：Cambridge, Mass. : MIT Press, 1997.
  • 出版年：1997