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

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.

Transactions on Aspect-Oriented Software Development II [electronic resource]

0
索取号：
作者：Rashid、 Awais.、Aksit、 Mehmet.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Quality of Software Architectures [electronic resource] : Second International Conference on Quality of Software Architectures, QoSA 2006, V盲ster氓s, Sweden, June 27-29, 2006 Revised Papers

0
索取号：
作者：Hofmeister、 Christine.、Crnkovic、 Ivica.、Reussner、 Ralf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Software Process Improvement [electronic resource] : 13th European Conference, EuroSPI 2006, Joensuu, Finland, October 11-13, 2006. Proceedings

0
索取号：
作者：Richardson、 Ita.、Runeson、 Per.、Messnarz、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Methods and Software Engineering [electronic resource] : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006. Proceedings

0
索取号：
作者：Liu、 Zhiming.、He、 Jifeng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Software Visualization [electronic resource] : Visualizing the Structure, Behaviour, and Evolution of Software

0
索取号：
作者：Diehl、 Stephan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Refinement Techniques in Software Engineering [electronic resource] : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

0
索取号：
作者：Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Generative and Transformational Techniques in Software Engineering [electronic resource] : International Summer School, GTTSE 2005, Braga, Portugal, July 4-8, 2005. Revised Papers

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

Object-Oriented Metrics in Practice [electronic resource] : Using Software Metrics to Characterize, Evaluate, and Improve the Design of Object-Oriented Systems

0
索取号：
作者：Lanza、 Michele.、Marinescu、 Radu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematical Software - ICMS 2006 [electronic resource] : Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006. Proceedings

0
索取号：
作者：Iglesias、 Andr茅s.、Takayama、 Nobuki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Automotive Software-Connected Services in Mobile Networks [electronic resource] : First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers

0
索取号：
作者：Broy、 Manfred.、Kr眉ger、 Ingolf H.、Meisinger、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Software Composition [electronic resource] : 5th International Symposium, SC 2006 Vienna, Austria, March 25-26, 2006 Revised Papers

0
索取号：
作者：L枚we、 Welf.、S眉dholt、 Mario.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Dependable Systems: Software, Computing, Networks [electronic resource] : Research Results of the DICS Program

0
索取号：
作者：Kohlas、 J眉rg.、Meyer、 Bertrand.、Schiper、 Andr茅.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Fast Software Encryption [electronic resource] : 13th International Workshop, FSE 2006, Graz, Austria, March 15-17, 2006, Revised Selected Papers

0
索取号：
作者：Robshaw、 Matthew.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Algebraic Methodology and Software Technology [electronic resource] : 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006. Proceedings

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

Component-Based Software Engineering [electronic resource] : 9th International Symposium, CBSE 2006, V盲ster氓s, Sweden, June 29 - July 1, 2006. Proceedings

0
索取号：
作者：Gorton、 Ian.、Heineman、 George T.、Crnkovi膰、 Ivica.、Schmidt、 Heinz W.、Stafford、 Judith A.、Szyperski、 Clemens.、Wallnau、 Kurt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类
对外联络处体育学院经济学院南校区管理委员会数字校园南校区管委会暨南大学校报下载中心规章制度信息公示创新论坛教务动态创新人才课程中心核心团队通知电气信息学院四海书院国际商学院人文学院