-
西文图书1.Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April... TP301-51/E89
馆藏复本:1
可借复本:0 edited by Jacques Calmet.
Springer-Verlag, 1982.
(0) 馆藏 -
西文图书2.Pattern recognition and machine intelligence : second international conference, PReMI 2007, Kolka... TP391.4-532/G427
馆藏复本:1
可借复本:0 Ashish Ghosh, Rajat K. De, Sankar K. Pal (eds.).
Springer, c2007.
(0) 馆藏 -
西文图书3.Reliability evaluation of some fault-tolerant computer architectures / TP302/O81
馆藏复本:2
可借复本:1 Shunji Osaki, Toshihiko Nishio.
Springer-Verlag, 1980.
(0) 馆藏 -
西文图书4.Agile processes in software engineering and eXtreme programming : 8th international conference, X... TP311.52/C215
馆藏复本:1
可借复本:0 Giulio Concas ... [et al.] (eds.).
Springer, c2007.
(0) 馆藏 -
西文图书5.Transactions on aspect-oriented software development IV / TP31/R224#1
馆藏复本:1
可借复本:0 Awais Rashid, Mehmet Aksit (eds.).
Springer, c2007.
(0) 馆藏 -
西文图书6.Transactions on petri nets and other models of concurrency I / N945/J54
馆藏复本:1
可借复本:0 Kurt Jensen, Wil M.P. van der Aalst, Jonathan Billington (eds.).
Springer, c2008.
(0) 馆藏 -
西文图书7.VLSI engineering : beyond software engineering / TN47/K937
馆藏复本:2
可借复本:1 edited by Tosiyasu L. Kunii.
Springer-Verlag, 1984.
(0) 馆藏 -
西文图书8.Portability of numerical software workshop, Oak Brook, Illinois, June 21-23, 1976 / TP31/C874
馆藏复本:1
可借复本:0 edited by Wayne Cowell.
Springer-Verlag, 1977.
(0) 馆藏 -
西文图书9.Databases in networked information systems : 5th international workshop, DNIS 2007, Aizu-Wakamats... TP311.13-53/B151
馆藏复本:1
可借复本:0 Subhash Bhalla (ed.).
Springer, c2007.
(0) 馆藏 -
西文图书10.Transactions on aspect-oriented software development III / TP31/R224
馆藏复本:1
可借复本:0 Awais Rashid, Mehmet Aksit (eds.).
Springer, c2007.
(0) 馆藏 -
西文图书11.Computer aided design : modelling, systems engineering, CAD-systems : CREST Advanced Course, Darm... TP391.7/A244
馆藏复本:1
可借复本:0 edited by J. Encarna餭鋋o.
Springer-Verlag , 1980.
(0) 馆藏 -
西文图书12.Towards a formal description of Ada / O31/B626
馆藏复本:1
可借复本:0 edited by D. Bj籸ner and O.N. Oest.
Springer-Verlag; 1980.
(0) 馆藏 -
西文图书13.Advances in computing and information--ICCI '91 : International Conference on Computing and Infor... TP3-53/G659#1
馆藏复本:1
可借复本:0 F. Dehne, F. Fiala, W.W. Koczkodaj (eds.)
Springer-Verlag, c1991.
(0) 馆藏 -
西文图书14.International Symposium on Programming : proceedings of the fourth Colloque international sur la... TP31-53/C714
馆藏复本:2
可借复本:1 edited by B. Robinet.
Springer-Verlag, 1980.
(0) 馆藏 -
西文图书15.SOFSEM 2007 : theory and practice of computer science : 33rd Conference on Current Trends in Theo... TP311.52/L487
馆藏复本:1
可借复本:0 Jan van Leeuwen ... [et al.] (eds.).
Springer, c2007.
(0) 馆藏 -
西文图书16.STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, F... TP3-53/T463
馆藏复本:1
可借复本:0 Wolfgang Thomas, Pascal Weil (eds.).
Springer, c2007.
(0) 馆藏 -
西文图书17.Design and implementation of programming languages : proceedings of a DoD sponsored workshop, Oct... TP312/W724
馆藏复本:1
可借复本:0 edited by John H. Williams and David A. Fisher.
Springer-Verlag, 1977.
(0) 馆藏 -
西文图书18.Distributed systems : methods and tools for specification : an advanced course / TP31/A389
馆藏复本:2
可借复本:1 M.W. Alford ... [et al.] ; edited by M. Paul and H.J. Siegert.
Springer-Verlag, c1985.
(0) 馆藏 -
西文图书19.The concurrency control problem for database systems / TP392/C334
馆藏复本:1
可借复本:0 Marco Antonio Casanova.
Springer, 1981.
(0) 馆藏 -
西文图书20.Approximation and online algorithms : 4th international workshop, WAOA 2006, Zurich, Switzerland,... TP301.6/E69
馆藏复本:1
可借复本:0 Thomas Erlebach, Christos Kaklamanis (eds.).
Springer, c2006.
(0) 馆藏
上一页 1 / 2 下一页 到第 页