大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 it.software.dev.google 的图书(共1186本)

Software Language Engineering [electronic resource] : Third International Conference, SLE 2010, Eindhoven, The Netherlands, October 12-13, 2010, Revised Selected Papers

0
索取号：
作者：Malloy、 Brian.、Staab、 Steffen.、Brand、 Mark.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

New Frontiers in Information and Software as Services [electronic resource] : Service and Application Design Challenges in the Cloud

0
索取号：
作者：Agrawal、 Divyakant.、Candan、 K. Sel莽uk.、Li、 Wen-Syan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Hardware and Software: Verification and Testing [electronic resource] : 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

0
索取号：
作者：Namjoshi、 Kedar.、Zeller、 Andreas.、Ziv、 Avi.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Agent-Oriented Software Engineering X [electronic resource] : 10th International Workshop, AOSE 2009, Budapest, Hungary, May 11-12, 2009, Revised Selected Papers

0
索取号：
作者：Gleizes、 Marie-Pierre.、Gomez-Sanz、 Jorge J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Essential Software Architecture [electronic resource]

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

Engineering Secure Software and Systems [electronic resource] : Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings

0
索取号：
作者：Erlingsson、 脷lfar.、Wieringa、 Roel.、Zannone、 Nicola.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Formal Verification of Object-Oriented Software [electronic resource] : International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers

0
索取号：
作者：Beckert、 Bernhard.、March茅、 Claude.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Generative and Transformational Techniques in Software Engineering III [electronic resource] : International Summer School, GTTSE 2009, Braga, Portugal, July 6-11, 2009. Revised Papers

0
索取号：
作者：Fernandes、 Jo茫o M.、L盲mmel、 Ralf.、Visser、 Joost.、Saraiva、 Jo茫o.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Algebraic Methodology and Software Technology [electronic resource] : 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers

0
索取号：
作者：Johnson、 Michael.、Pavlovic、 Dusko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Advances in Software Engineering [electronic resource] : International Conference, ASEA 2010, Held as Part of the Future Generation Information Technology Conference, FGIT 2010, Jeju Island, Korea, December 13-15, 2010. Proceedings

0
索取号：
作者：Kim、 Tai-hoon.、Kim、 Haeng-Kon.、Khan、 Muhammad Khurram.、Kiumi、 Akingbehin.、Fang、 Wai-chi.、艢l臋zak、 Dominik.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Self-organising Software [electronic resource] : From Natural to Artificial Adaptation

0
索取号：
作者：Di Marzo Serugendo、 Giovanna.、Gleizes、 Marie-Pierre.、Karageorgos、 Anthony.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Algebraic Specification and Formal Software Development [electronic resource]

0
索取号：
作者：Sannella、 Donald.、Tarlecki、 Andrzej.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Formal Methods and Software Engineering [electronic resource] : 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings

0
索取号：
作者：Dong、 Jin Song.、Zhu、 Huibiao.、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.

Testing Software and Systems [electronic resource] : 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings

0
索取号：
作者：Petrenko、 Alexandre.、Sim茫o、 Adenilso.、Maldonado、 Jos茅 Carlos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Ontology, Conceptualization and Epistemology for Information Systems, Software Engineering and Service Science [electronic resource] : 4th International Workshop, ONTOSE 2010, held at CAiSE 2010, Hammamet, Tunisia, June 7-8, 2010, Revised Selected Papers

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