-
西文期刊21.IET software. TP/EI13
馆藏复本:4
可借复本:0 Institution of Engineering and Technology.
Institution of Engineering and Technology, 2007-
(0) 馆藏
-
西文图书22.Metamodeling-driven IP reuse for SoC integration and microprocessor design / TP31/BM22
馆藏复本:1
可借复本:1 Deepak A. Mathaikutty, Sandeep K. Shukla.
Artech House, c2009.
(0) 馆藏
-
西文图书23.Software error detection through testing and analysis TP31/BH18
馆藏复本:1
可借复本:1 J.C. Huang.
John Wiley & Sons, c2009.
(0) 馆藏
-
西文图书24.UML 2 semantics and applications / TP311.52/BL2
馆藏复本:1
可借复本:1 edited by Kevin Lano.
John Wiley & Sons, c2009.
(0) 馆藏
-
西文图书25.Contributions to hardware and software reliability / TP302.7/BK1
馆藏复本:1
可借复本:1 P.K. Kapur & R.B. Garg, S. Kumar.
World Scientific, c1999.
(0) 馆藏
-
西文图书26.Verification of systems and circuits using LOTOS, Petri Nets, and CCS / TN407/BY1
馆藏复本:1
可借复本:1 by Michael Yoeli and Rakefet Kol.
Wiley-Interscience, c2008.
(0) 馆藏
-
西文图书27.Practical UML statecharts in C/C++ event-driven programming for embedded systems / 2nd ed. TP312C/BS1
馆藏复本:1
可借复本:1 Miro Samek.
Newnes/Elsevier, c2009.
(0) 馆藏
-
西文图书28.Testing code security TP309/BV1
馆藏复本:1
可借复本:1 Maura A. van der Linden.
Auerbach Publications, c2007.
(0) 馆藏
-
西文图书29.Pattern-oriented software architecture : a Pattern Language for Distributed Computing / TP311.5/BB2
馆藏复本:1
可借复本:1 Frank Buschmann, Kevlin Henney, Douglas C. Schmidt, editors.
Wiley & Sons, c2007.
(0) 馆藏
上一页 2 / 2 下一页 到第 页