大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 South African Symposium on Numerical Mathematics (10th : 1986 : Ballito) 的图书(共5278本)

Advances in Visual Computing [electronic resource] : 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29-December 1, 2010. Proceedings, Part I

0
索取号:
作者:Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Chung、 Ronald.、Hammoud、 Riad.、Hussain、 Muhammad.、Kar-Han、 Tan.、Crawfis、 Roger.、Thalmann、 Daniel.、Kao、 David.、Avila、 Lisa.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Visual Computing [electronic resource] : 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 - December 1, 2010, Proceedings, Part III

0
索取号:
作者:Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Chung、 Ronald.、Hammound、 Riad.、Hussain、 Muhammad.、Kar-Han、 Tan.、Crawfis、 Roger.、Thalmann、 Daniel.、Kao、 David.、Avila、 Lisa.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Visual Computing [electronic resource] : 6th International Symposium, ISVC 2010, Las Vegas, NV, USA, November 29 鈥ĥcember 1, 2010, Proceedings, Part II

0
索取号:
作者:Bebis、 George.、Boyle、 Richard.、Parvin、 Bahram.、Koracin、 Darko.、Chung、 Ronald.、Hammound、 Riad.、Hussain、 Muhammad.、Kar-Han、 Tan.、Crawfis、 Roger.、Thalmann、 Daniel.、Kao、 David.、Avila、 Lisa.、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.

Intelligent Mathematics: Computational Analysis [electronic resource]

0
索取号:
作者:Anastassiou、 George A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

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.

Current Trends in Web Engineering [electronic resource] : 10th International Conference on Web Engineering ICWE 2010 Workshops, Vienna, Austria, July 2010, Revised Selected Papers

0
索取号:
作者:Daniel、 Florian.、Facca、 Federico Michele.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computational Logic in Multi-Agent Systems [electronic resource] : 10th International Workshop, CLIMA X, Hamburg, Germany, September 9-10, 2009, Revised Selected and Invited Papers

0
索取号:
作者:Dix、 J眉rgen.、Fisher、 Michael.、Nov谩k、 Peter.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Unifying Theories of Programming [electronic resource] : Third International Symposium, UTP 2010, Shanghai, China, November 15-16, 2010. Proceedings

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

HCI in Work and Learning, Life and Leisure [electronic resource] : 6th Symposium of the Workgroup Human-Computer Interaction and Usability Engineering, USAB 2010, Klagenfurt, Austria, November 4-5, 2010. Proceedings

0
索取号:
作者:Leitner、 Gerhard.、Hitz、 Martin.、Holzinger、 Andreas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Recent Trends and Developments in Social Software [electronic resource] : International Conferences on Social Software, BlogTalk 2008, Cork, Ireland, March 3-4, 2008, and BlogTalk 2009, Jeju Island, South Korea, September 15-16, 2009. Revised Selected Papers

0
索取号:
作者:Breslin、 John G.、Burg、 Thomas N.、Kim、 Hong-Gee.、Raftery、 Tom.、Schmidt、 Jan-Hinrik.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II

0
索取号:
作者:Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Leveraging Applications of Formal Methods, Verification, and Validation [electronic resource] : 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I

0
索取号:
作者:Margaria、 Tiziana.、Steffen、 Bernhard.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Advances in Computation and Intelligence [electronic resource] : 5th International Symposium, ISICA 2010, Wuhan, China, October 22-24, 2010. Proceedings

0
索取号:
作者:Cai、 Zhihua.、Hu、 Chengyu.、Kang、 Zhuo.、Liu、 Yong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Implementation and Application of Functional Languages [electronic resource] : 21st International Symposium, IFL 2009, South Orange, NJ, USA, September 23-25, 2009, Revised Selected Papers

0
索取号:
作者:Moraz谩n、 Marco T.、Scholz、 Sven-Bodo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Transport Systems Telematics [electronic resource] : 10th Conference, TST 2010, Katowice 鈥ճtro艅, Poland, October 20-23, 2010. Selected Papers

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