大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Conference on Artificial Intelligence Applications (1st : 1984 : Denver Tech Center) 的图书(共11351本)

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

0
索取号：
作者：Grumberg、 Orna.、Huth、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Wave Propagation in Infinite Domains [electronic resource] : With Applications to Structure Interaction

0
索取号：
作者：Lehmann、 Lutz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Information Security Applications [electronic resource] : 7th International Workshop, WISA 2006, Jeju Island, Korea, August 28-30, 2006, Revised Selected Papers

0
索取号：
作者：Lee、 Jae Kwang.、Yi、 Okyeon.、Yung、 Moti.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational Intelligence in Information Assurance and Security [electronic resource]

0
索取号：
作者：Nedjah、 Nadia.、Abraham、 Ajith.、Mourelle、 Luiza de Macedo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Emergent Intelligence of Networked Agents [electronic resource]

0
索取号：
作者：Namatame、 Akira.、Kurihara、 Satoshi.、Nakashima、 Hideyuki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Automated Reasoning [electronic resource] : 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings

0
索取号：
作者：Armando、 Alessandro.、Baumgartner、 Peter.、Dowek、 Gilles.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Optical Nonlinearities in Chalcogenide Glasses and their Applications [electronic resource]

0
索取号：
作者：Zakery、 A.、Elliott、 S. R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Theorem Proving in Higher Order Logics [electronic resource] : 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings

0
索取号：
作者：Mohamed、 Otmane Ait.、Mu帽oz、 C茅sar.、Tahar、 Sofi猫ne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Data Assimilation for Atmospheric, Oceanic and Hydrologic Applications [electronic resource]

0
索取号：
作者：Park、 Seon K.、Xu、 Liang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Spectral Methods [electronic resource] : Algorithms, Analysis and Applications

0
索取号：
作者：Shen、 Jie.、Tang、 Tao.、Wang、 Li-Lian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Universal Access in Ambient Intelligence Environments [electronic resource] : 9th ERCIM Workshop on User Interfaces for All, K枚nigswinter, Germany, September 27-28, 2006. Revised Papers

0
索取号：
作者：Stephanidis、 Constantine.、Pieper、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2003 and JSAI 2004 Conferences and Workshops, Niigata, Japan, June 23-27, 2003 and Kanazawa, Japan, May 31 - June 4, 2004, Revised Selected Papers

0
索取号：
作者：Sakurai、 Akito.、Hasida、 K么iti.、Nitta、 Katsumi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Adaptive Hypermedia and Adaptive Web-Based Systems [electronic resource] : 5th International Conference, AH 2008, Hannover, Germany, July 29 - August 1, 2008. Proceedings

0
索取号：
作者：Nejdl、 Wolfgang.、Kay、 Judy.、Pu、 Pearl.、Herder、 Eelco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Data Analysis [electronic resource] : Proceedings of the 30th Annual Conference of the Gesellschaft f眉r Klassifikation e.V., Freie Universit盲t Berlin, March 8鈥ᰬ 2006

0
索取号：
作者：Decker、 Reinhold.、Lenz、 Hans -J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods: Applications and Technology [electronic resource] : 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers

0
索取号：
作者：Brim、 Lubo拧.、Haverkort、 Boudewijn.、Leucker、 Martin.、Pol、 Jaco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Nanoparticles and Nanodevices in Biological Applications [electronic resource] : The INFN Lectures - Vol I

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