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

Model Checking and Artificial Intelligence [electronic resource] : 6th International Workshop, MoChArt 2010, Atlanta, GA, USA, July 11, 2010, Revised Selected and Invited Papers

0
索取号：
作者：Meyden、 Ron.、Smaus、 Jan-Georg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic-Based Program Synthesis and Transformation [electronic resource] : 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers

0
索取号：
作者：Alpuente、 Mar铆a.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

New Horizons in Web-Based Learning - ICWL 2010 Workshops [electronic resource] : ICWL 2010 Workshops: STEG, CICW, WGLBWS, and IWKDEWL, Shanghai, China, December 7-11, 2010 Revised Selected Papers

0
索取号：
作者：Luo、 Xiangfeng.、Cao、 Yiwei.、Yang、 Bo.、Liu、 Jianxun.、Ye、 Feiyue.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Business Process Management Workshops [electronic resource] : BPM 2010 International Workshops and Education Track, Hoboken, NJ, USA, September 13-15, 2010, Revised Selected Papers

0
索取号：
作者：Muehlen、 Michael.、Su、 Jianwen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Innovation through Knowledge Transfer 2010 [electronic resource]

0
索取号：
作者：Howlett、 Robert J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Environment and the Formation of Galaxies: 30 years later [electronic resource] : Proceedings of Symposium 2 of JENAM 2010

0
索取号：
作者：Ferreras、 Ignacio.、Pasquali、 Anna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

RoboCup 2010: Robot Soccer World Cup XIV [electronic resource]

0
索取号：
作者：Ruiz-del-Solar、 Javier.、Chown、 Eric.、Pl枚ger、 Paul G.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Interdisciplinary Approaches to Adaptive Learning. A Look at the Neighbours [electronic resource] : First International Conference on Interdisciplinary Research on Technology, Education and Communication, ITEC 2010, Kortrijk, Belgium, May 25-27, 2010, Revised Selected Papers

0
索取号：
作者：Wannemacker、 Stefan.、Clarebout、 Geraldine.、Causmaecker、 Patrick.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Operations Research Proceedings 2010 [electronic resource] : Selected Papers of the Annual International Conference of the German Operations Research Society

0
索取号：
作者：Hu、 Bo.、Morasch、 Karl.、Pickl、 Stefan.、Siegle、 Markus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Privacy and Security Issues in Data Mining and Machine Learning [electronic resource] : International ECML/PKDD Workshop, PSDML 2010, Barcelona, Spain, September 24, 2010. Revised Selected Papers

0
索取号：
作者：Dimitrakakis、 Christos.、Gkoulalas-Divanis、 Aris.、Mitrokotsa、 Aikaterini.、Verykios、 Vassilios S.、Saygin、 Y眉cel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Agents and Artificial Intelligence [electronic resource] : Second International Conference, ICAART 2010, Valencia, Spain, January 22-24, 2010. Revised Selected Papers

0
索取号：
作者：Filipe、 Joaquim.、Fred、 Ana.、Sharp、 Bernadette.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information and Automation [electronic resource] : International Symposium, ISIA 2010, Guangzhou, China, November 10-11, 2010. Revised Selected Papers

0
索取号：
作者：Qi、 Luo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods: Foundations and Applications [electronic resource] : 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

0
索取号：
作者：Davies、 Jim.、Silva、 Leila.、Simao、 Adenilso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Enterprise Information Systems [electronic resource] : 12th International Conference, ICEIS 2010, Funchal-Madeira, Portugal, June 8-12, 2010, Revised Selected Papers

0
索取号：
作者：Filipe、 Joaquim.、Cordeiro、 Jos茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Aspects of Security and Trust [electronic resource] : 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers

0
索取号：
作者：Degano、 Pierpaolo.、Etalle、 Sandro.、Guttman、 Joshua.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Information Technology and Managing Quality Education [electronic resource] : 9th IFIP WG 3.7 Conference on Information Technology in Educational Management, ITEM 2010, Kasane, Botswana, July 26-30, 2010, Revised Selected Papers

0
索取号：
作者：Tatnall、 Arthur.、Kereteletswe、 Omponye Coach.、Visscher、 Adrie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.