大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 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.