大拱桥
登录
搜索选项：
搜索帖子
课程
公选课
珠区图书馆
百货商场
图书馆
大拱桥--暨南大学学生门户
»
图书馆
» 搜索包含 Gorrieri 的图书(共6本)
Foundations of Security Analysis and Design VI [electronic resource] : FOSAD Tutorial Lectures
0
索取号：
作者：
Aldini
、
Alessandro.
、
Gorrieri
、
Roberto.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Computational Methods in Systems Biology [electronic resource] : 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings
0
索取号：
作者：
Degano
、
Pierpaolo.
、
Gorrieri
、
Roberto.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Foundations of Security Analysis and Design V [electronic resource] : FOSAD 2007/2008/2009 Tutorial Lectures
0
索取号：
作者：
Aldini
、
Alessandro.
、
Barthe
、
Gilles.
、
Gorrieri
、
Roberto.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
Foundations of Security Analysis and Design IV [electronic resource] : FOSAD 2006/2007 Tutorial Lectures
0
索取号：
作者：
Aldini
、
Alessandro.
、
Gorrieri
、
Roberto.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
Formal Methods for Open Object-Based Distributed Systems [electronic resource] : 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
0
索取号：
作者：
Gorrieri
、
Roberto.
、
Wehrheim
、
Heike.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
Foundations of Security Analysis and Design III [electronic resource] : FOSAD 2004/2005 Tutorial Lectures
0
索取号：
作者：
Aldini
、
Alessandro.
、
Gorrieri
、
Roberto.
、
Martinelli
、
Fabio.
、
SpringerLink (Online service)
、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.
最近添加的分类
对外联络处
体育学院
经济学院
南校区管理委员会
数字校园
南校区管委会
暨南大学校报
下载中心
规章制度
信息公示
创新论坛
教务动态
创新人才
课程中心
核心团队
通知
电气信息学院
四海书院
国际商学院
人文学院
粤公网安备 44030602003680号
粤公网安备 44030602003680号