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

Automated Deduction-CADE-22 [electronic resource] : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

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

Tests and Proofs [electronic resource] : Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings

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

Automata, Languages and Programming [electronic resource] : 36th Internatilonal Collogquium, ICALP 2009, Rhodes, greece, July 5-12, 2009, Proceedings, Part II

0
索取号:
作者:Albers、 Susanne.、Marchetti-Spaccamela、 Alberto.、Matias、 Yossi.、Nikoletseas、 Sotiris.、Thomas、 Wolfgang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Automata, Languages and Programming [electronic resource] : 36th International Colloquium, ICALP 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part I

0
索取号:
作者:Albers、 Susanne.、Marchetti-Spaccamela、 Alberto.、Matias、 Yossi.、Nikoletseas、 Sotiris.、Thomas、 Wolfgang.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Performance Engineering [electronic resource] : 6th European Performance Engineering Workshop, EPEW 2009 London, UK, July 9-10, 2009 Proceedings

0
索取号:
作者:Bradley、 Jeremy T.、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.

GeoSensor Networks [electronic resource] : Third International Conference, GSN 2009, Oxford, UK, July 13-14, 2009. Proceedings

0
索取号:
作者:Trigoni、 Niki.、Markham、 Andrew.、Nawaz、 Sarfraz.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Positive Systems [electronic resource] : Proceedings of the third Multidisciplinary International Symposium on Positive Systems: Theory and Applications (POSTA 2009) Valencia, Spain, September 2-4, 2009

0
索取号:
作者:Bru、 Rafael.、Romero-Viv贸、 Sergio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computing and Combinatorics [electronic resource] : 15th Annual International Conference, COCOON 2009 Niagara Falls, NY, USA, July 13-15, 2009 Proceedings

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

Data Integration in the Life Sciences [electronic resource] : 6th International Workshop, DILS 2009, Manchester, UK, July 20-22, 2009. Proceedings

0
索取号:
作者:Paton、 Norman W.、Missier、 Paolo.、Hedeler、 Cornelia.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Ambient Assistive Health and Wellness Management in the Heart of the City [electronic resource] : 7th International Conference on Smart Homes and Health Telematics, ICOST 2009, Tours, France, July 1-3, 2009. Proceedings

0
索取号:
作者:Mokhtari、 Mounir.、Khalil、 Ismail.、Bauchet、 J茅r茅my.、Zhang、 Daqing.、Nugent、 Chris.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Logic Programming [electronic resource] : 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings

0
索取号:
作者:Hill、 Patricia M.、Warren、 David S.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Dataspace: The Final Frontier [electronic resource] : 26th British National Conference on Databases, BNCOD 26, Birmingham, UK, July 7-9, 2009. Proceedings

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

Ubiquitous Intelligence and Computing [electronic resource] : 6th International Conference, UIC 2009, Brisbane, Australia, July 7-9, 2009. Proceedings

0
索取号:
作者:Zhang、 Daqing.、Portmann、 Marius.、Tan、 Ah-Hwee.、Indulska、 Jadwiga.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Web Engineering [electronic resource] : 9th International Conference, ICWE 2009 San Sebasti谩n, Spain, June 24-26, 2009 Proceedings

0
索取号:
作者:Gaedke、 Martin.、Grossniklaus、 Michael.、D铆az、 Oscar.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
最近添加的分类