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

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.

Computer Performance Engineering [electronic resource] : 7th European Performance Engineering Workshop, EPEW 2010, Bertinoro, Italy, September 23-24, 2010. Proceedings

0
索取号：
作者：Aldini、 Alessandro.、Bernardo、 Marco.、Bononi、 Luciano.、Cortellessa、 Vittorio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

0
索取号：
作者：Aldini、 Alessandro.、Bernardo、 Marco.、Pierro、 Alessandra.、Wiklicky、 Herbert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

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.

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.

A Process Algebraic Approach to Software Architecture Design [electronic resource]

0
索取号：
作者：Aldini、 Alessandro.、Bernardo、 Marco.、Corradini、 Flavio.、SpringerLink (Online service)、
出版社：London : Springer London : Imprint: Springer, 2010.