大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 International Conference onComputer Safety 的图书(共10863本)

DNA Computing and Molecular Programming [electronic resource] : 16th International Conference, DNA 16, Hong Kong, China, June 14-17, 2010, Revised Selected Papers

0
索取号：
作者：Sakakibara、 Yasubumi.、Mi、 Yongli.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings

0
索取号：
作者：Jhala、 Ranjit.、Schmidt、 David.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Performance Evaluation, Measurement and Characterization of Complex Systems [electronic resource] : Second TPC Technology Conference, TPCTC 2010, Singapore, September 13-17, 2010. Revised Selected Papers

0
索取号：
作者：Nambiar、 Raghunath.、Poess、 Meikel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Toward Autonomous, Adaptive, and Context-Aware Multimodal Interfaces. Theoretical and Practical Issues [electronic resource] : Third COST 2102 International Training School, Caserta, Italy, March 15-19, 2010, Revised Selected Papers

0
索取号：
作者：Esposito、 Anna.、Esposito、 Antonietta M.、Martone、 Raffaele.、M眉ller、 Vincent C.、Scarpetta、 Gaetano.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information Security [electronic resource] : 13th International Conference, ISC 2010, Boca Raton, FL, USA, October 25-28, 2010, Revised Selected Papers

0
索取号：
作者：Burmester、 Mike.、Tsudik、 Gene.、Magliveras、 Spyros.、Ili膰、 Ivana.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Intelligent Computing and Information Science [electronic resource] : International Conference, ICICIS 2011, Chongqing, China, January 8-9, 2011. Proceedings, Part II

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

Intelligent Computing and Information Science [electronic resource] : International Conference, ICICIS 2011, Chongqing, China, January 8-9, 2011. Proceedings, Part I

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

Membrane Computing [electronic resource] : 11th International Conference, CMC 2010, Jena, Germany, August 24-27, 2010. Revised Selected Papers

0
索取号：
作者：Gheorghe、 Marian.、Hinze、 Thomas.、P膬un、 Gheorghe.、Rozenberg、 Grzegorz.、Salomaa、 Arto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Implementation and Application of Automata [electronic resource] : 15th International Conference, CIAA 2010, Winnipeg, MB, Canada, August 12-15, 2010. Revised Selected Papers

0
索取号：
作者：Domaratzki、 Michael.、Salomaa、 Kai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Theory of Quantum Computation, Communication, and Cryptography [electronic resource] : 5th Conference, TQC 2010, Leeds, UK, April 13-15, 2010, Revised Selected Papers

0
索取号：
作者：Dam、 Wim.、Kendon、 Vivien M.、Severini、 Simone.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

0
索取号：
作者：Beckert、 Bernhard.、March茅、 Claude.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Intelligent Web Mastering-3 [electronic resource] : Proceedings of the 7th Atlantic Web Intelligence Conference, AWIC 2011, Fribourg, Switzerland, January, 2011

0
索取号：
作者：Mugellini、 Elena.、Szczepaniak、 Piotr S.、Pettenati、 Maria Chiara.、Sokhn、 Maria.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic and Its Applications [electronic resource] : 4th Indian Conference, ICLA 2011, Delhi, India, January 5-11, 2011. Proceedings

0
索取号：
作者：Banerjee、 Mohua.、Seth、 Anil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers

0
索取号：
作者：Fernandes、 Jo茫o M.、L盲mmel、 Ralf.、Visser、 Joost.、Saraiva、 Jo茫o.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Algorithms and Models for the Web-Graph [electronic resource] : 7th International Workshop, WAW 2010, Stanford, CA, USA, December 13-14, 2010. Proceedings

0
索取号：
作者：Kumar、 Ravi.、Sivakumar、 Dandapani.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Unifying Themes in Complex Systems VII [electronic resource] : Proceedings of the Seventh International Conference on Complex Systems

0
索取号：
作者：Minai、 Ali A.、Braha、 Dan.、Bar-Yam、 Yaneer.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院