检索词: Gorrieri , 检索到: 5 条结果, 检索时间: 0.017 秒 , 排序选项: 排序方式: 隐藏分类导航

分类导航

T 工业技术 (5)

Q 生物科学 (2)

保存至书单:

共 1 页首页 <上一页 1 下一页> 尾页>>

	1.		Foundations of Security Analysis and Design : Tutorial Lectures / 订购中著者: Focardi Riccardo. Gorrieri Roberto. 出版社: Springer, 出版日期: 2001. 文献类型: 图书（纸本） , 索书号: TP309/F771 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	2.		Foundations of security analysis and design IV : FOSAD 2006/2007 tutorial lectures / 订购中著者: Aldini Alessandro. Gorrieri Roberto. 出版社: Springer, 出版日期: c2007. 文献类型: 图书（纸本） , 索书号: TP309/F771:4 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	3.		Formal methods for open object-based distributed systems : 8th IFIP WG 6.1 international conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006 : proceedings / 订购中著者: Gorrieri Roberto. Wehrheim Heike. 出版社: Springer, 出版日期: c2006. 文献类型: 图书（纸本） , 索书号: TP311-532/I61:8/2006 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	4.		Foundations of security analysis and design II : FOSAD 2001/2002 turorial lectures / 订购中著者: Focardi Riccardo Gorrieri Roberto. 出版社: Springer, 出版日期: 2004. 文献类型: 图书（纸本） , 索书号: TP309-532/I61a 在馆信息图书信息概览图书目录试读信息内容简介著者简介
	5.		Foundations of security analysis and design III : FOSAD 2004/2005 turorial lectures / 订购中著者: Aldini Alessandro. Gorrieri Roberto. Martinelli Fabio. 出版社: Springer, 出版日期: c2005. 文献类型: 图书（纸本） , 索书号: TP309/F771:3 在馆信息图书信息概览图书目录试读信息内容简介著者简介

共 1 页首页 <上一页 1 下一页> 尾页>>

© 2005－ www.interlib.com.cn, all rights reserved