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

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.

Artificial Immune Systems [electronic resource] : 8th International Conference, ICARIS 2009, York, UK, August 9-12, 2009. Proceedings

0
索取号：
作者：Andrews、 Paul S.、Timmis、 Jon.、Owens、 Nick D. L.、Aickelin、 Uwe.、Hart、 Emma.、Hone、 Andrew.、Tyrrell、 Andy M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 15th International Conference, TACAS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号：
作者：Kowalewski、 Stefan.、Philippou、 Anna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Compiler Construction [electronic resource] : 18th International Conference, CC 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号：
作者：Moor、 Oege.、Schwartzbach、 Michael I.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Foundations of Software Science and Computational Structures [electronic resource] : 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号：
作者：Alfaro、 Luca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Fundamental Approaches to Software Engineering [electronic resource] : 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号：
作者：Chechik、 Marsha.、Wirsing、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Programming Languages and Systems [electronic resource] : 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings

0
索取号：
作者：Castagna、 Giuseppe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2008 [electronic resource] : 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part II

0
索取号：
作者：Metaxas、 Dimitris.、Axel、 Leon.、Fichtinger、 Gabor.、Sz茅kely、 G谩bor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2008 [electronic resource] : 11th International Conference, New York, NY, USA, September 6-10, 2008, Proceedings, Part I

0
索取号：
作者：Metaxas、 Dimitris.、Axel、 Leon.、Fichtinger、 Gabor.、Sz茅kely、 G谩bor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Theory of Cryptography [electronic resource] : Fifth Theory of Cryptography Conference, TCC 2008, New York, USA, March 19-21, 2008. Proceedings

0
索取号：
作者：Canetti、 Ran.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Logical Foundations of Computer Science [electronic resource] : International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007. Proceedings

0
索取号：
作者：Artemov、 Sergei N.、Nerode、 Anil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

NASSAU 2006 [electronic resource] : Proceedings of the 4th Nassau M枚ssbauer Symposium held in Garden City, New York, USA, 13鈥ᴠJanuary 2006

0
索取号：
作者：Alp、 E. E.、Wynter、 C. I.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Applied Cryptography and Network Security [electronic resource] : 6th International Conference, ACNS 2008, New York, NY, USA, June 3-6, 2008. Proceedings

0
索取号：
作者：Bellovin、 Steven M.、Gennaro、 Rosario.、Keromytis、 Angelos.、Yung、 Moti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Unconventional Computation [electronic resource] : 5th International Conference, UC 2006, York, UK, September 4-8, 2006. Proceedings

0
索取号：
作者：Calude、 Cristian S.、Dinneen、 Michael J.、P膬un、 Gheorghe.、Rozenberg、 Grzegorz.、Stepney、 Susan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

The Semantic Web: Research and Applications [electronic resource] : 3rd European Semantic Web Conference, ESWC 2006 Budva, Montenegro, June 11-14, 2006 Proceedings

0
索取号：
作者：Sure、 York.、Domingue、 John.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Testing of Communicating Systems [electronic resource] : 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings

0
索取号：
作者：Uyar、 M. 脺mit.、Duale、 Ali Y.、Fecko、 Mariusz A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.