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

Advances in Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part IV

0
索取号：
作者：Greco、 Salvatore.、Bouchon-Meunier、 Bernadette.、Coletti、 Giulianella.、Fedrizzi、 Mario.、Matarazzo、 Benedetto.、Yager、 Ronald R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012, Proceedings, Part III

0
索取号：
作者：Greco、 Salvatore.、Bouchon-Meunier、 Bernadette.、Coletti、 Giulianella.、Fedrizzi、 Mario.、Matarazzo、 Benedetto.、Yager、 Ronald R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances in Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part II

0
索取号：
作者：Greco、 Salvatore.、Bouchon-Meunier、 Bernadette.、Coletti、 Giulianella.、Fedrizzi、 Mario.、Matarazzo、 Benedetto.、Yager、 Ronald R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Advances on Computational Intelligence [electronic resource] : 14th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU 2012, Catania, Italy, July 9-13, 2012. Proceedings, Part I

0
索取号：
作者：Greco、 Salvatore.、Bouchon-Meunier、 Bernadette.、Coletti、 Giulianella.、Fedrizzi、 Mario.、Matarazzo、 Benedetto.、Yager、 Ronald R.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Privacy and Identity Management for Life [electronic resource] : 7th IFIP WG 9.2, 9.6/11.7, 11.4, 11.6/PrimeLife International Summer School, Trento, Italy, September 5-9, 2011, Revised Selected Papers

0
索取号：
作者：Camenisch、 Jan.、Crispo、 Bruno.、Fischer-H眉bner、 Simone.、Leenes、 Ronald.、Russello、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Theory and Applications of Satisfiability Testing-SAT 2012 [electronic resource] : 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings

0
索取号：
作者：Cimatti、 Alessandro.、Sebastiani、 Roberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Controlled Natural Language [electronic resource] : Second International Workshop, CNL 2010, Marettimo Island, Italy, September 13-15, 2010. Revised Papers

0
索取号：
作者：Rosner、 Michael.、Fuchs、 Norbert E.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Methods for Model-Driven Engineering [electronic resource] : 12th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2012, Bertinoro, Italy, June 18-23, 2012. Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Cortellessa、 Vittorio.、Pierantonio、 Alfonso.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

OpenMP in a Heterogeneous World [electronic resource] : 8th International Workshop on OpenMP, IWOMP 2012, Rome, Italy, June 11-13, 2012. Proceedings

0
索取号：
作者：Chapman、 Barbara M.、Massaioli、 Federico.、M眉ller、 Matthias S.、Rorro、 Marco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Abstract State Machines, Alloy, B, VDM, and Z [electronic resource] : Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

0
索取号：
作者：Derrick、 John.、Fitzgerald、 John.、Gnesi、 Stefania.、Khurshid、 Sarfraz.、Leuschel、 Michael.、Reeves、 Steve.、Riccobene、 Elvinia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Impact Analysis of Solutions for Chronic Disease Prevention and Management [electronic resource] : 10th International Conference on Smart Homes and Health Telematics, ICOST 2012, Artiminio, Italy, June 12-15, 2012. Proceedings

0
索取号：
作者：Donnelly、 Mark.、Paggetti、 Cristiano.、Nugent、 Chris.、Mokhtari、 Mounir.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Integrated Formal Methods [electronic resource] : 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

0
索取号：
作者：Derrick、 John.、Gnesi、 Stefania.、Latella、 Diego.、Treharne、 Helen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Information Processing in Computer-Assisted Interventions [electronic resource] : Third International Conference, IPCAI 2012, Pisa, Italy, June 27, 2012. Proceedings

0
索取号：
作者：Abolmaesumi、 Purang.、Joskowicz、 Leo.、Navab、 Nassir.、Jannin、 Pierre.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Mobile Multimedia Communications [electronic resource] : 7th International ICST Conference, MOBIMEDIA 2011, Cagliari, Italy, September 5-7, 2011, Revised Selected Papers

0
索取号：
作者：Atzori、 Luigi.、Delgado、 Jaime.、Giusto、 Daniele.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Fun with Algorithms [electronic resource] : 6th International Conference, FUN 2012, Venice, Italy, June 4-6, 2012. Proceedings

0
索取号：
作者：Kranakis、 Evangelos.、Krizanc、 Danny.、Luccio、 Flaminia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Computational Topology in Image Context [electronic resource] : 4th International Workshop, CTIC 2012, Bertinoro, Italy, May 28-30, 2012. Proceedings

0
索取号：
作者：Ferri、 Massimo.、Frosini、 Patrizio.、Landi、 Claudia.、Cerri、 Andrea.、Fabio、 Barbara.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.