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

Rule - Based Modeling and Computing on the Semantic Web [electronic resource] : 5th International Symposium, RuleML 2011鈥merica, Ft. Lauderdale, FL, Florida, USA, November 3-5, 2011. Proceedings

0
索取号：
作者：Olken、 Frank.、Palmirani、 Monica.、Sottara、 Davide.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Algorithmic Game Theory [electronic resource] : 4th International Symposium, SAGT 2011, Amalfi, Italy, October 17-19, 2011. Proceedings

0
索取号：
作者：Persiano、 Giuseppe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Intelligent Data Analysis X [electronic resource] : 10th International Symposium, IDA 2011, Porto, Portugal, October 29-31, 2011. Proceedings

0
索取号：
作者：Gama、 Jo茫o.、Bradley、 Elizabeth.、Hollm茅n、 Jaakko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering and Formal Methods [electronic resource] : 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

0
索取号：
作者：Barthe、 Gilles.、Pardo、 Alberto.、Schneider、 Gerardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

String Processing and Information Retrieval [electronic resource] : 18th International Symposium, SPIRE 2011, Pisa, Italy, October 17-21, 2011. Proceedings

0
索取号：
作者：Grossi、 Roberto.、Sebastiani、 Fabrizio.、Silvestri、 Fabrizio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Testing Software and Systems [electronic resource] : 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings

0
索取号：
作者：Wolff、 Burkhart.、Za茂di、 Fatiha.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Methods and Software Engineering [electronic resource] : 13th International Conference on Formal Engineering Methods, ICFEM 2011, Durham, UK, October 26-28, 2011. Proceedings

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

Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 13th International Symposium, SSS 2011, Grenoble, France, October 10-12, 2011. Proceedings

0
索取号：
作者：D茅fago、 Xavier.、Petit、 Franck.、Villain、 Vincent.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Implementation and Application of Functional Languages [electronic resource] : 20th International Symposium, IFL 2008, Hatfield, UK, September 10-12, 2008. Revised Selected Papers

0
索取号：
作者：Scholz、 Sven-Bodo.、Chitil、 Olaf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Web Information Systems Engineering-WISE 2010 Workshops [electronic resource] : WISE 2010 International Symposium WISS, and International Workshops CISE, MBC, Hong Kong, China, December 12-14, 2010, Revised Selected Papers

0
索取号：
作者：Chiu、 Dickson K. W.、Bellatreche、 Ladjel.、Sasaki、 Hideyasu.、Leung、 Ho-fung.、Cheung、 Shing-Chi.、Hu、 Haiyang.、Shao、 Jie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Automated Technology for Verification and Analysis [electronic resource] : 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings

0
索取号：
作者：Bultan、 Tevfik.、Hsiung、 Pao-Ann.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Frontiers of Combining Systems [electronic resource] : 8th International Symposium, FroCoS 2011, Saarbr眉cken, Germany, October 5-7, 2011. Proceedings

0
索取号：
作者：Tinelli、 Cesare.、Sofronie-Stokkermans、 Viorica.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Process Definition and Management [electronic resource]

0
索取号：
作者：M眉nch、 J眉rgen.、Armbrust、 Ove.、Kowalczyk、 Martin.、Soto、 Mart铆n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Implementation and Application of Functional Languages [electronic resource] : 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers

0
索取号：
作者：Hage、 Jurriaan.、Moraz谩n、 Marco T.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Location-Based Services [electronic resource] : 8th International Symposium on Location-Based Services, Vienna 2011

0
索取号：
作者：Gartner、 Georg.、Ortag、 Felix.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Advanced Parallel Processing Technologies [electronic resource] : 9th International Symposium, APPT 2011, Shanghai, China, September 26-27, 2011. Proceedings

0
索取号：
作者：Temam、 Olivier.、Yew、 Pen-Chung.、Zang、 Binyu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院