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

Software Architecture [electronic resource] : 2nd European Workshop, EWSA 2005, Pisa, Italy, June 13-14, 2005. Proceedings

0
索取号：
作者：Morrison、 Ron.、Oquendo、 Flavio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods and Software Engineering [electronic resource] : 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005. Proceedings

0
索取号：
作者：Lau、 Kung-Kiu.、Banach、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Software Engineering Research and Applications [electronic resource] : Second International Conference, SERA 2004, Los Angeles, CA, USA, MAY 5-7, 2004, Revised Selected Papers

0
索取号：
作者：Dosch、 Walter.、Lee、 Roger Y.、Wu、 Chisu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Software Product Lines [electronic resource] : 9th International Conference, SPLC 2005, Rennes, France, September 26-29, 2005. Proceedings

0
索取号：
作者：Obbink、 Henk.、Pohl、 Klaus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Quality of Software Architectures and Software Quality [electronic resource] : First International Conference on the Quality of Software Architectures, QoSA 2005, and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005. Proceedings

0
索取号：
作者：Reussner、 Ralf.、Mayer、 Johannes.、Stafford、 Judith A.、Overhage、 Sven.、Becker、 Steffen.、Schroeder、 Patrick J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Component-Based Software Engineering [electronic resource] : 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005. Proceedings

0
索取号：
作者：Heineman、 George T.、Crnkovic、 Ivica.、Schmidt、 Heinz W.、Stafford、 Judith A.、Szyperski、 Clemens.、Wallnau、 Kurt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Rapid Integration of Software Engineering Techniques [electronic resource] : First International Workshop, RISE 2004, Luxembourg-Kirchberg, Luxembourg, November 26, 2004. Revised Selected Papers

0
索取号：
作者：Guelfi、 Nicolas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Methods for Mobile Computing [electronic resource] : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005, Advanced Lectures

0
索取号：
作者：Bernardo、 Marco.、Bogliolo、 Alessandro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Programming Languages and Systems [electronic resource] : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Sagiv、 Mooly.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Compiler Construction [electronic resource] : 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Bodik、 Rastislav.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Fundamental Approaches to Software Engineering [electronic resource] : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Cerioli、 Maura.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Foundations of Software Science and Computational Structures [electronic resource] : 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Sassone、 Vladimiro.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2005.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings

0
索取号：
作者：Halbwachs、 Nicolas.、Zuck、 Lenore D.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Software Engineering and Middleware [electronic resource] : 4th International Workshop, SEM 2004, Linz, Austria, September 20-21, 2004. Revised Selected Papers

0
索取号：
作者：Gschwind、 Thomas.、Mascolo、 Cecilia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model Checking Software [electronic resource] : 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005. Proceedings

0
索取号：
作者：Godefroid、 Patrice.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

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