大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Haifa International Workshop 的图书(共9439本)

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.

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.

Fast Software Encryption [electronic resource] : 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers

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

Knowledge Discovery and Emergent Complexity in Bioinformatics [electronic resource] : First International Workshop, KDECB 2006, Ghent, Belgium, May 10, 2006. Revised Selected Papers

0
索取号：
作者：Tuyls、 Karl.、Westra、 Ronald.、Saeys、 Yvan.、Now茅、 Ann.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Job Scheduling Strategies for Parallel Processing [electronic resource] : 12th International Workshop, JSSPP 2006, Saint-Malo, France, June 26, 2006, Revised Selected Papers

0
索取号：
作者：Frachtenberg、 Eitan.、Schwiegelshohn、 Uwe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Pixelization Paradigm [electronic resource] : First Visual Information Expert Workshop, VIEW 2006, Paris, France, April 24-25, 2006, Revised Selected Papers

0
索取号：
作者：L茅vy、 Pierre P.、Grand、 B茅n茅dicte.、Poulet、 Fran莽ois.、Soto、 Michel.、Darago、 Laszlo.、Toubiana、 Laurent.、Vibert、 Jean-Fran莽ois.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

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.

4th International Workshop on Wearable and Implantable Body Sensor Networks (BSN 2007) [electronic resource] : March 26 鈥ಸ, 2007 RWTH Aachen University, Germany

0
索取号：
作者：Leonhardt、 Steffen.、Falck、 Thomas.、M盲h枚nen、 Petri.、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.

Wireless Systems and Mobility in Next Generation Internet [electronic resource] : Third International Workshop of the EURO-NGI Network of Excellence, Sitges, Spain, June 6-9, 2006, Revised Selected Papers

0
索取号：
作者：Garc铆a-Vidal、 Jorge.、Cerd脿-Alabern、 Lloren莽.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Semantic Web, Ontologies and Databases [electronic resource] : VLDB Workshop, SWDB-ODBIS 2007, Vienna, Austria, September 24, 2007, Revised Selected Papers

0
索取号：
作者：Christophides、 Vassilis.、Collard、 Martine.、Gutierrez、 Claudio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

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.

Agent-Oriented Software Engineering VII [electronic resource] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

0
索取号：
作者：Padgham、 Lin.、Zambonelli、 Franco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Numerical Methods and Applications [electronic resource] : 6th International Conference, NMA 2006, Borovets, Bulgaria, August 20-24, 2006. Revised Papers

0
索取号：
作者：Boyanov、 Todor.、Dimova、 Stefka.、Georgiev、 Krassimir.、Nikolov、 Geno.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational Linguistics and Intelligent Text Processing [electronic resource] : 8th International Conference, CICLing 2007, Mexico City, Mexico, February 18-24, 2007. Proceedings

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

Cognitive Systems [electronic resource] : Joint Chinese-German Workshop, Shanghai, China, March 7-11, 2005, Revised Selected Papers

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