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

Software Engineering 2 [electronic resource] : Specification of Systems and Languages

0
索取号：
作者：Bj酶rner、 Dines.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Agent-Mediated Electronic Commerce VI. Theories for and Engineering of Distributed Mechanisms and Systems [electronic resource] : AAMAS 2004 Workshop, AMEC 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers

0
索取号：
作者：Faratin、 Peyman.、Rodr铆guez-Aguilar、 Juan A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model Checking Software [electronic resource] : 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006. Proceedings

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

Programming Languages and Systems [electronic resource] : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

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

Fundamental Approaches to Software Engineering [electronic resource] : 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006. Proceedings

0
索取号：
作者：Baresi、 Luciano.、Heckel、 Reiko.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings

0
索取号：
作者：Hermanns、 Holger.、Palsberg、 Jens.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Compiler Construction [electronic resource] : 15th International Conference, CC 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 30-31, 2006. Proceedings

0
索取号：
作者：Mycroft、 Alan.、Zeller、 Andreas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Foundations of Software Science and Computation Structures [electronic resource] : 9th International Conference, FOSSACS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25-31, 2006. Proceedings

0
索取号：
作者：Aceto、 Luca.、Ing贸lfsd贸ttir、 Anna.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Experimental Robotics IX [electronic resource] : The 9th International Symposium on Experimental Robotics

0
索取号：
作者：Ang、 Marcelo H.、Khatib、 Oussama.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Start-up [electronic resource] : A Practical Guide to Starting and Running a New Business

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

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

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

Computer Supported Cooperative Work in Design II [electronic resource] : 9th International Conference, CSCWD 2005, Coventry, UK, May 24-26, 2005, Revised Selected Papers

0
索取号：
作者：Shen、 Wei-ming.、Chao、 Kuo-Ming.、Lin、 Zongkai.、Barth猫s、 Jean-Paul A.、James、 Anne.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Theoretical Computer Science [electronic resource] : Essays in Memory of Shimon Even

0
索取号：
作者：Goldreich、 Oded.、Rosenberg、 Arnold L.、Selman、 Alan L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Hadron Collider Physics 2005 [electronic resource] : Proceedings of the 1st Hadron Collider Physics Symposium, Les Diablerets, Switzerland, July 4-9, 2005

0
索取号：
作者：Wu、 Xin.、Clark、 Allan.、Campanelli、 Mario.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

LATIN 2006: Theoretical Informatics [electronic resource] : 7th Latin American Symposium, Valdivia, Chile, March 20-24, 2006. Proceedings

0
索取号：
作者：Correa、 Jos茅 R.、Hevia、 Alejandro.、Kiwi、 Marcos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Theory of Cryptography [electronic resource] : Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings

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