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

Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

0
索取号：
作者：Yorav、 Karen.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Testing of Software and Communicating Systems [electronic resource] : 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings

0
索取号：
作者：Petrenko、 Alexandre.、Veanes、 Margus.、Tretmans、 Jan.、Grieskamp、 Wolfgang.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Theory and Applications of Satisfiability Testing-SAT 2007 [electronic resource] : 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings

0
索取号：
作者：Marques-Silva、 Jo茫o.、Sakallah、 Karem A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Model-Driven Testing [electronic resource]

0
索取号：
作者：Baker、 Paul.、Dai、 Zhen Ru.、Grabowski、 Jens.、Haugen、 脴ystein.、Schieferdecker、 Ina.、Williams、 Clay.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

0
索取号：
作者：Bin、 Eyal.、Ziv、 Avi.、Ur、 Shmuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Acoustic Emission Testing [electronic resource] : Basics for Research - Applications in Civil Engineering

0
索取号：
作者：Grosse、 Christian.、Ohtsu、 Masayasu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Testing of Software and Communicating Systems [electronic resource] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings

0
索取号：
作者：Suzuki、 Kenji.、Higashino、 Teruo.、Ulrich、 Andreas.、Hasegawa、 Toru.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

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.

Theory and Applications of Satisfiability Testing - SAT 2006 [electronic resource] : 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings

0
索取号：
作者：Biere、 Armin.、Gomes、 Carla P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Formal Approaches to Software Testing [electronic resource] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers

0
索取号：
作者：Grieskamp、 Wolfgang.、Weise、 Carsten.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Testing of Communicating Systems [electronic resource] : 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings

0
索取号：
作者：Uyar、 M. 脺mit.、Duale、 Ali Y.、Fecko、 Mariusz A.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

The Basel II Risk Parameters [electronic resource] : Estimation, Validation, and Stress Testing

0
索取号：
作者：Engelmann、 Bernd.、Rauhmeier、 Robert.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Hardware and Software, Verification and Testing [electronic resource] : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

0
索取号：
作者：Ur、 Shmuel.、Bin、 Eyal.、Wolfsthal、 Yaron.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Testing of Communicating Systems [electronic resource] : 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings

0
索取号：
作者：Khendek、 Ferhat.、Dssouli、 Rachida.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Model-Based Testing of Reactive Systems [electronic resource] : Advanced Lectures

0
索取号：
作者：Broy、 Manfred.、Jonsson、 Bengt.、Katoen、 Joost-Pieter.、Leucker、 Martin.、Pretschner、 Alexander.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2005.

Formal Approaches to Software Testing [electronic resource] : 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers

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