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

Software Architecture [electronic resource] : 4th European Conference, ECSA 2010, Copenhagen, Denmark, August 23-26, 2010. Proceedings

0
索取号:
作者:Babar、 Muhammad Ali.、Gorton、 Ian.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Verified Software: Theories, Tools, Experiments [electronic resource] : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

0
索取号:
作者:Leavens、 Gary T.、O鈥橦earn、 Peter.、Rajamani、 Sriram K.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Evaluation of Novel Approaches to Software Engineering [electronic resource] : 3rd and 4th International Conferences, ENASE 2008/2009, Funchal, Madeira, Portugal, May 4-7, 2008 / Milan, Italy, May 9-10, 2009. Revised Selected Papers

0
索取号:
作者:Maciaszek、 Leszek A.、Gonz谩lez-P茅rez、 C茅sar.、Jablonski、 Stefan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Parallel Computational Fluid Dynamics 2008 [electronic resource] : Parallel Numerical Methods, Software Development and Applications

0
索取号:
作者:Tromeur-Dervout、 Damien.、Brenner、 Gunther.、Emerson、 David R.、Erhel、 Jocelyne.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

New Modeling Concepts for Today's Software Processes [electronic resource] : International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings

0
索取号:
作者:M眉nch、 J眉rgen.、Yang、 Ye.、Sch盲fer、 Wilhelm.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Testing Techniques in Software Engineering [electronic resource] : Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures

0
索取号:
作者:Borba、 Paulo.、Cavalcanti、 Ana.、Sampaio、 Augusto.、Woodcook、 Jim.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Requirements Engineering: Foundation for Software Quality [electronic resource] : 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30鈥揓uly 2, 2010. Proceedings

0
索取号:
作者:Wieringa、 Roel.、Persson、 Anne.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Software Composition [electronic resource] : 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings

0
索取号:
作者:Baudry、 Beno卯t.、Wohlstadter、 Eric.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Fast Software Encryption [electronic resource] : 17th International Workshop, FSE 2010, Seoul, Korea, February 7-10, 2010, Revised Selected Papers

0
索取号:
作者:Hong、 Seokhie.、Iwata、 Tetsu.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Research into Practice-Reality and Gaps [electronic resource] : 6th International Conference on the Quality of Software Architectures, QoSA 2010, Prague, Czech Republic, June 23 - 25, 2010. Proceedings

0
索取号:
作者:Heineman、 George T.、Kofron、 Jan.、Plasil、 Frantisek.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Product-Focused Software Process Improvement [electronic resource] : 11th International Conference, PROFES 2010, Limerick, Ireland, June 21-23, 2010. Proceedings

0
索取号:
作者:Ali Babar、 M.、Vierimaa、 Matias.、Oivo、 Markku.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Software Engineering Approaches for Offshore and Outsourced Development [electronic resource] : 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings

0
索取号:
作者:Nordio、 Martin.、Joseph、 Mathai.、Meyer、 Bertrand.、Terekhov、 Andrey.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures

0
索取号:
作者:Aldini、 Alessandro.、Bernardo、 Marco.、Pierro、 Alessandra.、Wiklicky、 Herbert.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Software Business [electronic resource] : First International Conference, ICSOB 2010, Jyv盲skyl盲, Finland, June 21-23, 2010. Proceedings

0
索取号:
作者:Tyrv盲inen、 Pasi.、Jansen、 Slinger.、Cusumano、 Michael A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Model-Based Software Performance Analysis [electronic resource]

0
索取号:
作者:Cortellessa、 Vittorio.、Di Marco、 Antinisca.、Inverardi、 Paola.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Reliable Software Technologiey-Ada-Europe 2010 [electronic resource] : 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings

0
索取号:
作者:Real、 Jorge.、Vardanega、 Tullio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
最近添加的分类