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

Theorem Proving in Higher Order Logics [electronic resource] : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007. Proceedings

0
索取号：
作者：Schneider、 Klaus.、Brandt、 Jens.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Network-Based Information Systems [electronic resource] : First International Conference, NBiS 2007, Regensburg, Germany, September 3-7, 2007. Proceedings

0
索取号：
作者：Enokido、 Tomoya.、Barolli、 Leonard.、Takizawa、 Makoto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

KI 2007: Advances in Artificial Intelligence [electronic resource] : 30th Annual German Conference on AI, KI 2007, Osnabr眉ck, Germany, September 10-13, 2007. Proceedings

0
索取号：
作者：Hertzberg、 Joachim.、Beetz、 Michael.、Englert、 Roman.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

E-Commerce and Web Technologies [electronic resource] : 8th International Conference, EC-Web 2007, Regensburg, Germany, September 3-7, 2007. Proceedings

0
索取号：
作者：Psaila、 Giuseppe.、Wagner、 Roland.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Data Warehousing and Knowledge Discovery [electronic resource] : 9th International Conference, DaWaK 2007, Regensburg Germany, September 3-7, 2007. Proceedings

0
索取号：
作者：Song、 Il Yeal.、Eder、 Johann.、Nguyen、 Tho Manh.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Holonic and Multi-Agent Systems for Manufacturing [electronic resource] : Third International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2007, Regensburg, Germany, September 3-5, 2007

0
索取号：
作者：Ma艡铆k、 Vladim铆r.、Vyatkin、 Valeriy.、Colombo、 Armando W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Database and Expert Systems Applications [electronic resource] : 18th International Conference, DEXA 2007, Regensburg, Germany, September 3-7, 2007. Proceedings

0
索取号：
作者：Wagner、 Roland.、Revell、 Norman.、Pernul、 G眉nther.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

New Results in Numerical and Experimental Fluid Mechanics VI [electronic resource] : Contributions to the 15th STAB/DGLR Symposium Darmstadt, Germany, 2006

0
索取号：
作者：Tropea、 Cameron.、Jakirlic、 Suad.、Heinemann、 Hans-Joachim.、Henke、 Rolf.、H枚nlinger、 Heinz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Electronic Government [electronic resource] : 6th International Conference, EGOV 2007, Regensburg, Germany, September 3-7, 2007. Proceedings

0
索取号：
作者：Wimmer、 Maria A.、Scholl、 Jochen.、Gr枚nlund、 脜ke.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Trust, Privacy and Security in Digital Business [electronic resource] : 4th International Conference, TrustBus 2007, Regensburg, Germany, September 3-7, 2007. Proceedings

0
索取号：
作者：Lambrinoudakis、 Costas.、Pernul、 G眉nther.、Tjoa、 A Min.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

The Power of Optical/IR Interferometry: Recent Scientific Results and 2nd Generation Instrumentation [electronic resource] : Proceedings of the ESO Workshop held in Garching, Germany, 4-8 April 2005

0
索取号：
作者：Richichi、 A.、Delplancke、 F.、Paresce、 F.、Chelli、 A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Algorithmic Methods for Railway Optimization [electronic resource] : International Dagstuhl Workshop, Dagstuhl Castle, Germany, June 20-25, 2004, 4th International Workshop, ATMOS 2004, Bergen, Norway, September 16-17, 2004, Revised Selected Papers

0
索取号：
作者：Geraets、 Frank.、Kroon、 Leo.、Schoebel、 Anita.、Wagner、 Dorothea.、Zaroliagis、 Christos D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Comparative Evaluation of XML Information Retrieval Systems [electronic resource] : 5th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2006, Dagstuhl Castle, Germany, December 17-20, 2006, Revised and Selected Papers

0
索取号：
作者：Fuhr、 Norbert.、Lalmas、 Mounia.、Trotman、 Andrew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Automated Deduction-CADE-21 [electronic resource] : 21st International Conference on Automated Deduction Bremen, Germany, July 17-20, 2007 Proceedings

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

ECOOP 2007-Object-Oriented Programming [electronic resource] : 21st European Conference, Berlin, Germany, July 30 - August 3, 2007. Proceedings

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

Machine Learning and Data Mining in Pattern Recognition [electronic resource] : 5th International Conference, MLDM 2007, Leipzig, Germany, July 18-20, 2007. Proceedings

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