大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Etalle 的图书(共6本)

Formal Aspects of Security and Trust [electronic resource] : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

0
索取号：
作者：Barthe、 Gilles.、Datta、 Anupam.、Etalle、 Sandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Aspects of Security and Trust [electronic resource] : 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

0
索取号：
作者：Degano、 Pierpaolo.、Etalle、 Sandro.、Guttman、 Joshua.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic Programming [electronic resource] : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006. Proceedings

0
索取号：
作者：Etalle、 Sandro.、Truszczy艅ski、 Miros艂aw.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Logic Based Program Synthesis and Transformation [electronic resource] : 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 鈥ಸ, 2004, Revised Selected Papers

0
索取号：
作者：Etalle、 Sandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Trust Management [electronic resource] : Proceedings of IFIPTM 2007: Joint iTrust and PST Conferences on Privacy, Trust Management and Security, July 30鈥ugust 2, 2007, New Brunswick, Canada

0
索取号：
作者：Etalle、 Sandro.、Marsh、 Stephen.、SpringerLink (Online service)、
出版社：Boston, MA : Springer US, 2007.

Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers

0
索取号：TP311-532/E20061/14
作者：LOPSTR 2004 (2004 : Verona、 Italy)、Etalle、 Sandro.、
出版社：Berlin ; New York : Springer, c2005.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院