大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Scottish Universities/\' Summer School (8th : 1967 : St. Andrews) 的图书(共1550本)

Persistent Pollution-Past, Present and Future [electronic resource] : School of Environmental Research - Organized by Helmholtz-Zentrum Geesthacht

0
索取号:
作者:Quante、 Markus.、Ebinghaus、 Ralf.、Fl枚ser、 G枚tz.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Service-Oriented Computing [electronic resource] : 8th International Conference, ICSOC 2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings

0
索取号:
作者:Maglio、 Paul P.、Weske、 Mathias.、Yang、 Jian.、Fantinato、 Marcelo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Simulated Evolution and Learning [electronic resource] : 8th International Conference, SEAL 2010, Kanpur, India, December 1-4, 2010. Proceedings

0
索取号:
作者:Deb、 Kalyanmoy.、Bhattacharya、 Arnab.、Chakraborti、 Nirupam.、Chakroborty、 Partha.、Das、 Swagatam.、Dutta、 Joydeep.、Gupta、 Santosh K.、Jain、 Ashu.、Aggarwal、 Varun.、Branke、 J眉rgen.、Louis、 Sushil J.、Tan、 Kay Chen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Programming Languages and Systems [electronic resource] : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings

0
索取号:
作者:Ueda、 Kazunori.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Components and Objects [electronic resource] : 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

0
索取号:
作者:Boer、 Frank S.、Bonsangue、 Marcello M.、Hallerstede、 Stefan.、Leuschel、 Michael.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Rewriting Logic and Its Applications [electronic resource] : 8th International Workshop, WRLA 2010, Held as a Satellite Event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010, Revised Selected Papers

0
索取号:
作者:脰lveczky、 Peter Csaba.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

The Ricci Flow in Riemannian Geometry [electronic resource] : A Complete Proof of the Differentiable 1/4-Pinching Sphere Theorem

0
索取号:
作者:Andrews、 Ben.、Hopper、 Christopher.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Integrated Formal Methods [electronic resource] : 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

0
索取号:
作者:M茅ry、 Dominique.、Merz、 Stephan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings

0
索取号:
作者:Min、 Sang Lyul.、Pettit、 Robert.、Puschner、 Peter.、Ungerer、 Theo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Multiagent System Technologies [electronic resource] : 8th German Conference, MATES 2010, Leipzig, Germany, September 27-29, 2010. Proceedings

0
索取号:
作者:Dix、 J眉rgen.、Witteveen、 Cees.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mathematical Models in the Manufacturing of Glass [electronic resource] : C.I.M.E. Summer School, Montecatini Terme, Italy 2008

0
索取号:
作者:Farina、 Angiolo.、Klar、 Axel.、Mattheij、 Robert M.M.、Mikeli麓c、 Andro.、Siedow、 Norbert.、Fasano、 Antonio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Arithmetic Geometry [electronic resource] : Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, September 10-15, 2007

0
索取号:
作者:Colliot-Th茅l猫ne、 Jean-Louis.、Swinnerton-Dyer、 Peter.、Vojta、 Paul.、Corvaja、 Pietro.、Gasbarri、 Carlo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.

Automated Technology for Verification and Analysis [electronic resource] : 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings

0
索取号:
作者:Bouajjani、 Ahmed.、Chin、 Wei-Ngan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Business Process Management [electronic resource] : 8th International Conference, BPM 2010, Hoboken, NJ, USA, September 13-16, 2010. Proceedings

0
索取号:
作者:Hull、 Richard.、Mendling、 Jan.、Tai、 Stefan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Reasoning Web. Semantic Technologies for Software Engineering [electronic resource] : 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures

0
索取号:
作者:A脽mann、 Uwe.、Bartho、 Andreas.、Wende、 Christian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Principles and Practice of Constraint Programming-CP 2010 [electronic resource] : 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings

0
索取号:
作者:Cohen、 David.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类