大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

Large Scale Management of Distributed Systems [electronic resource] : 17th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2006, Dublin, Ireland, October 23-25, 2006. Proceedings

0
索取号:
作者:State、 Radu.、Meer、 Sven.、O鈥橲ullivan、 Declan.、Pfeifer、 Tom.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Autonomic Management of Mobile Multimedia Services [electronic resource] : 9th IFIP/IEEE International Conference on Management of Multimedia and Mobile Networks and Services, MMNS 2006, Dublin, Ireland, October 25-27, 2006. Proceedings

0
索取号:
作者:Helmy、 Ahmed.、Jennings、 Brendan.、Murphy、 Liam.、Pfeifer、 Tom.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Discrete Geometry for Computer Imagery [electronic resource] : 13th International Conference, DGCI 2006, Szeged, Hungary, October 25-27, 2006. Proceedings

0
索取号:
作者:Kuba、 Attila.、Ny煤l、 L谩szl贸 G.、Pal谩gyi、 K谩lm谩n.、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.

Computer and Information Sciences-ISCIS 2006 [electronic resource] : 21th International Symposium, Istanbul, Turkey, November 1-3, 2006. Proceedings

0
索取号:
作者:Levi、 Albert.、Sava艧、 Erkay.、Yenig眉n、 H眉sn眉.、Balc谋soy、 Selim.、Sayg谋n、 Y眉cel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Automated Technology for Verification and Analysis [electronic resource] : 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings

0
索取号:
作者:Graf、 Susanne.、Zhang、 Wenhui.、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.

New Frontiers in Banking Services [electronic resource] : Emerging Needs and Tailored Products for Untapped Markets

0
索取号:
作者:Anderloni、 Luisa.、Braga、 Maria Debora.、Carluccio、 Emanuele Maria.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Frontiers of Computational Science [electronic resource] : Proceedings of the International Symposium on Frontiers of Computational Science 2005

0
索取号:
作者:Kaneda、 Yukio.、Kawamura、 Hiroshi.、Sasai、 Masaki.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Ubiquitous Computing Systems [electronic resource] : Third International Symposium, UCS 2006, Seoul, Korea, October 11-13, 2006. Proceedings

0
索取号:
作者:Youn、 Hee Yong.、Kim、 Minkoo.、Morikawa、 Hiroyuki.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computer Vision Approaches to Medical Image Analysis [electronic resource] : Second International ECCV Workshop, CVAMIA 2006 Graz, Austria, May 12, 2006 Revised Papers

0
索取号:
作者:Beichel、 Reinhard R.、Sonka、 Milan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

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.

Information Retrieval Technology [electronic resource] : Third Asia Information Retrieval Symposium, AIRS 2006, Singapore, October 16-18, 2006. Proceedings

0
索取号:
作者:Ng、 Hwee Tou.、Leong、 Mun-Kew.、Kan、 Min-Yen.、Ji、 Donghong.、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.

Management of Convergence Networks and Services [electronic resource] : 9th Asia-Pacific Network Operations and Management Symposium, APNOMS 2006 Busan, Korea, September 27-29, 2006 Proceedings

0
索取号:
作者:Kim、 Young-Tak.、Takano、 Makoto.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Computational Life Sciences II [electronic resource] : Second International Symposium, CompLife 2006, Cambridge, UK, September 27-29, 2006. Proceedings

0
索取号:
作者:R. Berthold、 Michael.、Glen、 Robert C.、Fischer、 Ingrid.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.
最近添加的分类