检索到 13 条 分类号=TP311.5-532 的结果
-
西文图书1.Product focused software process improvement : third international conference, PROFES 2001, Kaisersl TP311.5/P964
馆藏复本：1
可借复本：1 PROFES 2001
Springer, c2001.
(0) 馆藏 -
西文图书2.Fundamental approaches to software engineering : 4th international conference, FASE 2001 held as par TP311.5/F981(F)
馆藏复本：1
可借复本：1 FASE 2001
Springer, c2001.
(0) 馆藏 -
西文图书3.Model checking software : 9th International SPIN Workshop, Grenoble, France, April 11-13, 2002 : pro TP311.5/M689
馆藏复本：1
可借复本：1 International SPIN Workshop
Springer, c2002.
(0) 馆藏 -
西文图书4.Tools and algorithms for the construction and analysis of systems : 8th international conference, TA TP311.5/T671
馆藏复本：1
可借复本：1 TACAS 2002
Springer, c2002.
(0) 馆藏 -
西文图书5.Lectures on formal methods and performance analysis : First EEF/Euro Summer School on Trends in Comp TP311.5/A471
馆藏复本：1
可借复本：1 EEF/Euro Summer School on Trends in Computer Science
Springer, c2001.
(0) 馆藏 -
西文图书6.Software reuse : methods, techniques, and tools : 7th international conference, ICSR-7, Austin, TX, TP311.5/S681(S)
馆藏复本：1
可借复本：1 International Conference on Software Reuse
Springer, c2002.
(0) 馆藏 -
西文图书7.Fundamental approaches to software engineering : 5th international conference, FASE 2002, held as pa TP311.5/F981
馆藏复本：1
可借复本：1 FASE 2002
Springer, c2002.
(0) 馆藏 -
西文图书8.New approaches in software measurement : 10th International Workshop, IWSM 2000, Berlin, Germany, Oc TP311.5/N532
馆藏复本：1
可借复本：1 IWSM 2000
Springer, c2001.
(0) 馆藏 -
西文图书9.Generative and component-based software engineering : third international conference, GCSE 2001, Erf TP311.5/G326(G)
馆藏复本：1
可借复本：1 GCSE 2001
Springer, c2001.
(0) 馆藏 -
西文图书10.COTS-based software systems : first international conference, ICCBSS 2002, Orlando, FL, USA, Februar TP311.5/C845
馆藏复本：1
可借复本：1 ICCBSS 2002
Springer, c2002.
(0) 馆藏 -
西文图书11.Generative and component-based software engineering : second international symposium, GCSE 2000, Erf TP311.5/G326
馆藏复本：1
可借复本：1 GCSE 2000
Springer, c2001.
(0) 馆藏 -
西文图书12.Advanced information systems engineering : 13th international conference, CAiSE 2001, Interlaken, Sw TP311.5/A244(A)
馆藏复本：1
可借复本：1 CAiSE 2001
Springer, c2001.
(0) 馆藏 -
西文图书13.Advances in learning software organizations : third international workshop, LSO 2001, Kaiserslautern TP311.5/A244
馆藏复本：1
可借复本：1 LSO 2001
Springer, c2001.
(0) 馆藏
