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

Computation and Logic in the Real World [electronic resource] : Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007. Proceedings

0
索取号：
作者：Cooper、 S. Barry.、L枚we、 Benedikt.、Sorbi、 Andrea.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Structural Information and Communication Complexity [electronic resource] : 14th International Colloquium, SIROCCO 2007, Castiglioncello, Italy, June 5-8, 2007. Proceedings

0
索取号：
作者：Prencipe、 Giuseppe.、Zaks、 Shmuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Fun with Algorithms [electronic resource] : 4th International Conference, FUN 2007, Castiglioncello, Italy, June 3-5, 2007. Proceedings

0
索取号：
作者：Crescenzi、 Pierluigi.、Prencipe、 Giuseppe.、Pucci、 Geppino.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Experimental Algorithms [electronic resource] : 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007. Proceedings

0
索取号：
作者：Demetrescu、 Camil.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Scale Space and Variational Methods in Computer Vision [electronic resource] : First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007. Proceedings

0
索取号：
作者：Sgallari、 Fiorella.、Murli、 Almerico.、Paragios、 Nikos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Methods for Performance Evaluation [electronic resource] : 7th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2007, Bertinoro, Italy, May 28-June 2, 2007, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Hillston、 Jane.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Hyperbolic Systems of Balance Laws [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 14鈥ⱬ 2003

0
索取号：
作者：Bressan、 Alberto.、Serre、 Denis.、Williams、 Mark.、Zumbrun、 Kevin.、Marcati、 Pierangelo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Swarm Robotics [electronic resource] : Second International Workshop, SAB 2006, Rome, Italy, September 30-October 1, 2006, Revised Selected Papers

0
索取号：
作者：艦ahin、 Erol.、Spears、 William M.、Winfield、 Alan F. T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Information Retrieval [electronic resource] : 29th European Conference on IR Research, ECIR 2007, Rome, Italy, April 2-5, 2007. Proceedings

0
索取号：
作者：Amati、 Giambattista.、Carpineto、 Claudio.、Romano、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Hybrid Systems: Computation and Control [electronic resource] : 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007. Proceedings

0
索取号：
作者：Bemporad、 Alberto.、Bicchi、 Antonio.、Buttazzo、 Giorgio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Logic-Based Program Synthesis and Transformation [electronic resource] : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers

0
索取号：
作者：Puebla、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computational Science and Its Applications-ICCSA 2008 [electronic resource] : International Conference, Perugia, Italy, June 30鈥ʵly 3, 2008, Proceedings, Part II

0
索取号：
作者：Gervasi、 Osvaldo.、Murgante、 Beniamino.、Lagan脿、 Antonio.、Taniar、 David.、Mun、 Youngsong.、Gavrilova、 Marina L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computational Science and Its Applications-ICCSA 2008 [electronic resource] : International Conference, Perugia, Italy, June 30 鈥ʵly 3, 2008, Proceedings, Part I

0
索取号：
作者：Gervasi、 Osvaldo.、Murgante、 Beniamino.、Lagan脿、 Antonio.、Taniar、 David.、Mun、 Youngsong.、Gavrilova、 Marina L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Product-Focused Software Process Improvement [electronic resource] : 9th International Conference, PROFES 2008 Monte Porzio Catone, Italy, June 23-25, 2008 Proceedings

0
索取号：
作者：Jedlitschka、 Andreas.、Salo、 Outi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Arithmetic of Finite Fields [electronic resource] : 2nd International Workshop, WAIFI 2008 Siena, Italy, July 6-9, 2008 Proceedings

0
索取号：
作者：Gathen、 Joachim.、Ima帽a、 Jos茅 Luis.、Ko莽、 脟etin Kaya.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Models in Software Engineering [electronic resource] : Workshops and Symposia at MoDELS 2006, Genoa, Italy, October 1-6, 2006, Reports and Revised Selected Papers

0
索取号：
作者：K眉hne、 Thomas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.