大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Mathematical Software Symposium 的图书(共4258本)

Headway in Spatial Data Handling [electronic resource] : 13th International Symposium on Spatial Data Handling

0
索取号:
作者:Ruas、 Anne.、Gold、 Christopher.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

0
索取号:
作者:Suzuki、 Kenji.、Higashino、 Teruo.、Ulrich、 Andreas.、Hasegawa、 Toru.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Image and Video Technology [electronic resource] : First Pacific Rim Symposium, PSIVT 2006, Hsinchu, Taiwan, December 10-13, 2006. Proceedings

0
索取号:
作者:Chang、 Long-Wen.、Lie、 Wen-Nung.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Agile Processes in Software Engineering and Extreme Programming [electronic resource] : 9th International Conference, XP 2008, Limerick, Ireland, June 10-14, 2008. Proceedings

0
索取号:
作者:Abrahamsson、 Pekka.、Baskerville、 Richard.、Conboy、 Kieran.、Fitzgerald、 Brian.、Morgan、 Lorraine.、Wang、 Xiaofeng.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

FM 2008: Formal Methods [electronic resource] : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

0
索取号:
作者:Cuellar、 Jorge.、Maibaum、 Tom.、Sere、 Kaisa.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Software Engineering Education in the Modern Age [electronic resource] : Software Education and Training Sessions at the International Conference on Software Engineering, ICSE 2005, St. Louis, MO, USA, May 15-21, 2005, Revised Lectures

0
索取号:
作者:Inverardi、 Paola.、Jazayeri、 Mehdi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Service Availability [electronic resource] : 5th International Service Availability Symposium, ISAS 2008 Tokyo, Japan, May 19-21, 2008 Proceedings

0
索取号:
作者:Nanya、 Takashi.、Maruyama、 Fumihiro.、Pataricza、 Andr谩s.、Malek、 Miroslaw.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008.

Foundations of Intelligent Systems [electronic resource] : 17th International Symposium, ISMIS 2008 Toronto, Canada, May 20-23, 2008 Proceedings

0
索取号:
作者:An、 Aijun.、Matwin、 Stan.、Ra艣、 Zbigniew W.、艢l臋zak、 Dominik.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Markets with Transaction Costs [electronic resource] : Mathematical Theory

0
索取号:
作者:Kabanov、 Yuri.、Safarian、 Mher.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

High Confidence Software Reuse in Large Systems [electronic resource] : 10th International Conference on Software Reuse, ICSR 2008, Beijing, China, May 25-29, 2008 Proceedings

0
索取号:
作者:Mei、 Hong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Parallel and Distributed Processing and Applications [electronic resource] : 4th International Symposium, ISPA 2006, Sorrento, Italy, December 4-6, 2006. Proceedings

0
索取号:
作者:Guo、 Minyi.、Yang、 Laurence T.、Martino、 Beniamino.、Zima、 Hans P.、Dongarra、 Jack.、Tang、 Feilong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Biological and Medical Data Analysis [electronic resource] : 7th International Symposium, ISBMDA 2006, Thessaloniki, Greece, December 7-8, 2006. Proceedings

0
索取号:
作者:Maglaveras、 Nicos.、Chouvarda、 Ioanna.、Koutkias、 Vassilis.、Brause、 R眉diger.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science [electronic resource] : 26th International Conference, Kolkata, India, December 13-15, 2006. Proceedings

0
索取号:
作者:Arun-Kumar、 S.、Garg、 Naveen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Foundations of Scientific Visualization, Computer Graphics, and Massive Data Exploration [electronic resource]

0
索取号:
作者:M枚ller、 Torsten.、Hamann、 Bernd.、Russell、 Robert D.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006. Proceedings

0
索取号:
作者:Datta、 Ajoy K.、Gradinariu、 Maria.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Approaches to Software Testing and Runtime Verification [electronic resource] : First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

0
索取号:
作者:Havelund、 Klaus.、N煤帽ez、 Manuel.、Ro艧u、 Grigore.、Wolff、 Burkhart.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类