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

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.

Human-Centred Software Engineering [electronic resource] : Third International Conference, HCSE 2010, Reykjavik, Iceland, October 14-15, 2010. Proceedings

0
索取号：
作者：Bernhaupt、 Regina.、Forbrig、 Peter.、Gulliksen、 Jan.、L谩rusd贸ttir、 Marta.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Lean Enterprise Software and Systems [electronic resource] : First International Conference, LESS 2010, Helsinki, Finland, October 17-20, 2010. Proceedings

0
索取号：
作者：Abrahamsson、 Pekka.、Oza、 Nilay.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Software Services for e-World [electronic resource] : 10th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2010, Buenos Aires, Argentina, November 3-5, 2010. Proceedings

0
索取号：
作者：Cellary、 Wojciech.、Estevez、 Elsa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings

0
索取号：
作者：Min、 Sang Lyul.、Pettit、 Robert.、Puschner、 Peter.、Ungerer、 Theo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Model Checking Software [electronic resource] : 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings

0
索取号：
作者：Pol、 Jaco.、Weber、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Transactions on Aspect-Oriented Software Development VII [electronic resource] : A Common Case Study for Aspect-Oriented Modeling

0
索取号：
作者：Katz、 Shmuel.、Mezini、 Mira.、Kienzle、 J枚rg.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Systems, Software and Services Process Improvement [electronic resource] : 17th European Conference, EuroSPI 2010, Grenoble, France, September 1-3, 2010. Proceedings

0
索取号：
作者：Riel、 Andreas.、O鈥機onnor、 Rory.、Tichkiewitch、 Serge.、Messnarz、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mathematical Software-ICMS 2010 [electronic resource] : Third International Congress on Mathematical Software, Kobe, Japan, September 13-17, 2010. Proceedings

0
索取号：
作者：Fukuda、 Komei.、Hoeven、 Joris van der.、Joswig、 Michael.、Takayama、 Nobuki.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Software Product Lines: Going Beyond [electronic resource] : 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Proceedings

0
索取号：
作者：Bosch、 Jan.、Lee、 Jaejoon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Reasoning Web. Semantic Technologies for Software Engineering [electronic resource] : 6th International Summer School 2010, Dresden, Germany, August 30 - September 3, 2010. Tutorial Lectures

0
索取号：
作者：A脽mann、 Uwe.、Bartho、 Andreas.、Wende、 Christian.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

The Future of Software Engineering [electronic resource]

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