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

IT Revolutions [electronic resource] : First International ICST Conference, IT Revolutions 2008, Venice, Italy, December 17-19, 2008, Revised Selected Papers

0
索取号:
作者:Ulieru、 Mihaela.、Palensky、 Peter.、Doursat、 Ren茅.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computational Methods in Systems Biology [electronic resource] : 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings

0
索取号:
作者:Degano、 Pierpaolo.、Gorrieri、 Roberto.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Reasoning Web. Semantic Technologies for Information Systems [electronic resource] : 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

0
索取号:
作者:Tessaris、 Sergio.、Franconi、 Enrico.、Eiter、 Thomas.、Gutierrez、 Claudio.、Handschuh、 Siegfried.、Rousset、 Marie-Christine.、Schmidt、 Renate A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Algebra and Coalgebra in Computer Science [electronic resource] : Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings

0
索取号:
作者:Kurz、 Alexander.、Lenisa、 Marina.、Tarlecki、 Andrzej.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Critical Information Infrastructure Security [electronic resource] : Third International Workshop, CRITIS 2008, Rome, Italy, October13-15, 2008. Revised Papers

0
索取号:
作者:Setola、 Roberto.、Geretshuber、 Stefan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Recent Trends in Algebraic Development Techniques [electronic resource] : 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers

0
索取号:
作者:Corradini、 Andrea.、Montanari、 Ugo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Recent Advances in Constraints [electronic resource] : 13th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2008, Rome, Italy, June 18-20, 2008, Revised Selected Papers

0
索取号:
作者:Oddi、 Angelo.、Fages、 Fran莽ois.、Rossi、 Francesca.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal Methods for Industrial Critical Systems [electronic resource] : 13th International Workshop, FMICS 2008, L鈥橝quila, Italy, September 15-16, 2008, Revised Selected Papers

0
索取号:
作者:Cofer、 Darren.、Fantechi、 Alessandro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

ECOOP 2009-Object-Oriented Programming [electronic resource] : 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings

0
索取号:
作者:Drossopoulou、 Sophia.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Artificial Intelligence in Medicine [electronic resource] : 12th Conference on Artificial Intelligence in Medicine, AIME 2009, Verona, Italy, July 18-22, 2009. Proceedings

0
索取号:
作者:Combi、 Carlo.、Shahar、 Yuval.、Abu-Hanna、 Ameen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Detection of Intrusions and Malware, and Vulnerability Assessment [electronic resource] : 6th International Conference, DIMVA 2009, Como, Italy, July 9-10, 2009. Proceedings

0
索取号:
作者:Flegel、 Ulrich.、Bruschi、 Danilo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Symbolic and Quantitative Approaches to Reasoning with Uncertainty [electronic resource] : 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings

0
索取号:
作者:Sossai、 Claudio.、Chemello、 Gaetano.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computational Intelligence Methods for Bioinformatics and Biostatistics [electronic resource] : 5th International Meeting, CIBB 2008 Vietri sul Mare, Italy, October 3-4, 2008 Revised Selected Papers

0
索取号:
作者:Masulli、 Francesco.、Tagliaferri、 Roberto.、Verkhivker、 Gennady M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Types for Proofs and Programs [electronic resource] : International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

0
索取号:
作者:Berardi、 Stefano.、Damiani、 Ferruccio.、de鈥橪iguoro、 Ugo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Fuzzy Logic and Applications [electronic resource] : 8th International Workshop, WILF 2009 Palermo, Italy, June 9-12, 2009 Proceedings

0
索取号:
作者:Ges霉、 Vito.、Pal、 Sankar Kumar.、Petrosino、 Alfredo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

User Modeling, Adaptation, and Personalization [electronic resource] : 17th International Conference, UMAP 2009, formerly UM and AH, Trento, Italy, June 22-26, 2009. Proceedings

0
索取号:
作者:Houben、 Geert-Jan.、McCalla、 Gord.、Pianesi、 Fabio.、Zancanaro、 Massimo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
最近添加的分类