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

Fundamental Approaches to Software Engineering [electronic resource] : 14th International Conference, FASE 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

0
索取号：
作者：Giannakopoulou、 Dimitra.、Orejas、 Fernando.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Foundations of Software Science and Computational Structures [electronic resource] : 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

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

Software Architecture [electronic resource] : A Comprehensive Framework and Guide for Practitioners

0
索取号：
作者：Vogel、 Oliver.、Arnold、 Ingo.、Chughtai、 Arif.、Kehrer、 Timo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Programming Languages and Systems [electronic resource] : 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbr眉cken, Germany, March 26鈥揂pril 3, 2011. Proceedings

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

Hardware and Software: Verification and Testing [electronic resource] : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

0
索取号：
作者：Barner、 Sharon.、Harris、 Ian.、Kroening、 Daniel.、Raz、 Orna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

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.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院