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

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : International Workshops, SARS 2011 and MLSC 2011, Held Under the Auspices of ISoLA 2011 in Vienna, Austria, October 17-18, 2011. Revised Selected Papers

0
索取号：
作者：H盲hnle、 Reiner.、Knoop、 Jens.、Margaria、 Tiziana.、Schreiner、 Dietmar.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Machine Learning and Interpretation in Neuroimaging [electronic resource] : International Workshop, MLINI 2011, Held at NIPS 2011, Sierra Nevada, Spain, December 16-17, 2011, Revised Selected and Invited Contributions

0
索取号：
作者：Langs、 Georg.、Rish、 Irina.、Grosse-Wentrup、 Moritz.、Murphy、 Brian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Information Security and Cryptology [electronic resource] : 7th International Conference, Inscrypt 2011, Beijing, China, November 30 鈥ĥcember 3, 2011. Revised Selected Papers

0
索取号：
作者：Wu、 Chuan-Kun.、Yung、 Moti.、Lin、 Dongdai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Cognitive Behavioural Systems [electronic resource] : COST 2102 International Training School, Dresden, Germany, February 21-26, 2011, Revised Selected Papers

0
索取号：
作者：Esposito、 Anna.、Esposito、 Antonietta M.、Vinciarelli、 Alessandro.、Hoffmann、 R眉diger.、M眉ller、 Vincent C.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Implementation and Application of Functional Languages [electronic resource] : 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers

0
索取号：
作者：Gill、 Andy.、Hage、 Jurriaan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computational Geometry [electronic resource] : XIV Spanish Meeting on Computational Geometry, EGC 2011, Dedicated to Ferran Hurtado on the Occasion of His 60th Birthday, Alcal谩 de Henares, Spain, June 27-30, 2011, Revised Selected Papers

0
索取号：
作者：M谩rquez、 Alberto.、Ramos、 Pedro.、Urrutia、 Jorge.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Hardware and Software: Verification and Testing [electronic resource] : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

0
索取号：
作者：Eder、 Kerstin.、Louren莽o、 Jo茫o.、Shehory、 Onn.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Gesture and Sign Language in Human-Computer Interaction and Embodied Communication [electronic resource] : 9th International Gesture Workshop, GW 2011, Athens, Greece, May 25-27, 2011, Revised Selected Papers

0
索取号：
作者：Efthimiou、 Eleni.、Kouroupetroglou、 Georgios.、Fotinea、 Stavroula-Evita.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Applications of Graph Transformations with Industrial Relevance [electronic resource] : 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers

0
索取号：
作者：Sch眉rr、 Andy.、Varr贸、 D谩niel.、Varr贸、 Gergely.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Research in Cryptology [electronic resource] : 4th Western European Workshop, WEWoRC 2011, Weimar, Germany, July 20-22, 2011, Revised Selected Papers

0
索取号：
作者：Armknecht、 Frederik.、Lucks、 Stefan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Outdoor and Large-Scale Real-World Scene Analysis [electronic resource] : 15th International Workshop on Theoretical Foundations of Computer Vision, Dagstuhl Castle, Germany, June 26 - July 1, 2011. Revised Selected Papers

0
索取号：
作者：Dellaert、 Frank.、Frahm、 Jan-Michael.、Pollefeys、 Marc.、Leal-Taix茅、 Laura.、Rosenhahn、 Bodo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Data-Driven Process Discovery and Analysis [electronic resource] : First International Symposium, SIMPDA 2011, Campione d鈥橧talia, Italy, June 29 鈥ʵly 1, 2011, Revised Selected Papers

0
索取号：
作者：Aberer、 Karl.、Damiani、 Ernesto.、Dillon、 Tharam.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in New Technologies, Interactive Interfaces and Communicability [electronic resource] : Second International Conference, ADNTIIC 2011, Huerta Grande, Argentina, December 5-7, 2011, Revised Selected Papers

0
索取号：
作者：Cipolla-Ficarra、 Francisco.、Veltman、 Kim.、Verber、 Domen.、Cipolla-Ficarra、 Miguel.、Kamm眉ller、 Florian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Production Management Systems. Value Networks: Innovation, Technologies, and Management [electronic resource] : IFIP WG 5.7 International Conference, APMS 2011, Stavanger, Norway, September 26-28, 2011, Revised Selected Papers

0
索取号：
作者：Frick、 Jan.、Laugen、 Bj酶rge Timenes.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Human-Computer Interaction, Tourism and Cultural Heritage [electronic resource] : Second International Workshop, HCITOCH 2011, C贸rdoba, Argentina, September 14-15, 2011, Revised Selected Papers

0
索取号：
作者：Cipolla-Ficarra、 Francisco.、Veltman、 Kim.、Chih-Fang、 Huang.、Cipolla-Ficarra、 Miguel.、Kratky、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Serious Games: The Challenge [electronic resource] : ITEC/CIP and T 2011: Joint Conference of the Interdisciplinary Research Group on Technology, Education, and Communication, and the Scientific Network on Critical and Flexible Thinking Ghent, Belgium, October 19-21, 2011, Revised Selected Papers

0
索取号：
作者：Wannemacker、 Stefan.、Vandercruysse、 Sylke.、Clarebout、 Geraldine.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.