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

Formal Methods for Eternal Networked Software Systems [electronic resource] : 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2011, Bertinoro, Italy, June 13-18, 2011. Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Issarny、 Val茅rie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Middleware 2008 [electronic resource] : ACM/IFIP/USENIX 9th International Middleware Conference Leuven, Belgium, December 1-5, 2008 Proceedings

0
索取号：
作者：Issarny、 Val茅rie.、Schantz、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Trust Management [electronic resource] : Third International Conference, iTrust 2005, Paris, France, May 23-26, 2005. Proceedings

0
索取号：
作者：Herrmann、 Peter.、Issarny、 Val茅rie.、Shiu、 Simon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.