搜索包含 Degano 的图书 - 暨南大学图书馆

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

	Principles of Security and Trust [electronic resource] : First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 0 索取号：作者：Degano、 Pierpaolo.、Guttman、 Joshua D.、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.
	Formal Aspects in Security and Trust [electronic resource] : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers 0 索取号：作者：Degano、 Pierpaolo.、Guttman、 Joshua D.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		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 and Applications of Security Analysis [electronic resource] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers 0 索取号：作者：Degano、 Pierpaolo.、Vigan貌、 Luca.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Formal Aspects in Security and Trust [electronic resource] : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers 0 索取号：作者：Degano、 Pierpaolo.、Guttman、 Joshua.、Martinelli、 Fabio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Degano、 Pierpaolo.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday 0 索取号：作者：Degano、 Pierpaolo.、Nicola、 Rocco.、Meseguer、 Jos茅.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

	Principles of Security and Trust [electronic resource] : First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings 0 索取号：作者：Degano、 Pierpaolo.、Guttman、 Joshua D.、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.
	Formal Aspects in Security and Trust [electronic resource] : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers 0 索取号：作者：Degano、 Pierpaolo.、Guttman、 Joshua D.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		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 and Applications of Security Analysis [electronic resource] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers 0 索取号：作者：Degano、 Pierpaolo.、Vigan貌、 Luca.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.		Formal Aspects in Security and Trust [electronic resource] : 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008 Revised Selected Papers 0 索取号：作者：Degano、 Pierpaolo.、Guttman、 Joshua.、Martinelli、 Fabio.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
	Formal Methods for Computational Systems Biology [electronic resource] : 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7, 2008 Advanced Lectures 0 索取号：作者：Bernardo、 Marco.、Degano、 Pierpaolo.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.		Concurrency, Graphs and Models [electronic resource] : Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday 0 索取号：作者：Degano、 Pierpaolo.、Nicola、 Rocco.、Meseguer、 Jos茅.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.