大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Computer Network Security [electronic resource] : Third International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2005, St. Petersburg, Russia, September 24-28, 2005. Proceedings

0
索取号：
作者：Gorodetsky、 Vladimir.、Kotenko、 Igor.、Skormin、 Victor.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Large-Scale Scientific Computing [electronic resource] : 5th International Conference, LSSC 2005, Sozopol, Bulgaria, June 6-10, 2005. Revised Papers

0
索取号：
作者：Lirkov、 Ivan.、Margenov、 Svetozar.、Wa艣niewski、 Jerzy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Sassone、 Vladimiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

Computer Security-ESORICS 2005 [electronic resource] : 10th European Symposium on Research in Computer Security, Milan, Italy, September 12-14, 2005. Proceedings

0
索取号：
作者：Vimercati、 Sabrina de Capitani.、Syverson、 Paul.、Gollmann、 Dieter.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Systems Aspects in Organic and Pervasive Computing - ARCS 2005 [electronic resource] : 18th International Conference on Architecture of Computing Systems, Innsbruck, Austria, March 14-17, 2005. Proceedings

0
索取号：
作者：Beigl、 Michael.、Lukowicz、 Paul.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Discrete Geometry for Computer Imagery [electronic resource] : 12th International Conference, DGCI 2005, Poitiers, France, April 13-15, 2005. Proceedings

0
索取号：
作者：Andres、 Eric.、Damiand、 Guillaume.、Lienhardt、 Pascal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Engineering Human Computer Interaction and Interactive Systems [electronic resource] : Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers

0
索取号：
作者：Bastide、 R茅mi.、Palanque、 Philippe.、Roth、 J枚rg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

From Computer Literacy to Informatics Fundamentals [electronic resource] : International Conference on Informatics in Secondary Schools 鈥Ŷolution and Perspectives, ISSEP 2005, Klagenfurt, Austria, March 30 - April 1, 2005, Proceeedings

0
索取号：
作者：Mittermeir、 Roland T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Network Analysis [electronic resource] : Methodological Foundations

0
索取号：
作者：Brandes、 Ulrik.、Erlebach、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Artificial Intelligence [electronic resource] : 18th Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2005, Victoria, Canada, May 9-11, 2005. Proceedings

0
索取号：
作者：K茅gl、 Bal谩zs.、Lapalme、 Guy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Foundations of Intelligent Systems [electronic resource] : 15th International Symposium, ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005. Proceedings

0
索取号：
作者：Hacid、 Mohand-Said.、Murray、 Neil V.、Ra艣、 Zbigniew W.、Tsumoto、 Shusaku.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

UbiComp 2005: Ubiquitous Computing [electronic resource] : 7th International Conference, UbiComp 2005, Tokyo, Japan, September 11-14, 2005. Proceedings

0
索取号：
作者：Beigl、 Michael.、Intille、 Stephen.、Rekimoto、 Jun.、Tokuda、 Hideyuki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

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.

Advances in Intelligent Computing [electronic resource] : International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part II

0
索取号：
作者：Huang、 De-Shuang.、Zhang、 Xiao-Ping.、Huang、 Guang-Bin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Techniques for Computer Systems and Business Processes [electronic resource] : European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005. Proceedings

0
索取号：
作者：Bravetti、 Mario.、Kloul、 Le茂la.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Advances in Intelligent Computing [electronic resource] : International Conference on Intelligent Computing, ICIC 2005, Hefei, China, August 23-26, 2005, Proceedings, Part I

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