-
西文图书1.Development in Cross-Language Online Searching: Sixth Workshop of the Cross-Languageon(CLEF2002),...
馆藏复本:0
可借复本:0 edited by Teun Wolters, Martin Bennett and Jan Jaap Bouma(EDS.).
Springer-Verlag, 2003.
(0) 馆藏
-
西文图书2.Software development environments and CASE technology : European symposium, Konigswinter, June 17-19 TP3115-53/E8:(91)
馆藏复本:1
可借复本:1 A. Endres, H. Weber, (eds.).
Springer-Verlag, c1991.
(0) 馆藏
-
西文图书3.New results and new trends in computer science, Graz, Austria, June 20-21, 1991 : proceedings / TP3-53/1:(91)E
馆藏复本:1
可借复本:1 H. Maurer (Ed.)
Springer-Verlag, c1991.
(0) 馆藏
-
西文图书4.Automata, languages, and programming : 12th colloquium, Nafplion, Greece, July 15-19, 1985 / TP31/E85
馆藏复本:1
可借复本:1 edited by Wilfried Brauer.
Springer-Verlag, c1985.
(0) 馆藏
-
西文图书5.The concurrency control problem for database systems / TP392/E1
馆藏复本:1
可借复本:1 Marco Antonio Casanova.
Springer, 1981.
(0) 馆藏
-
西文图书6.Theoretical computer science : 5th GI-conference, Karlsruhe, March 23-25, 1981 / TP3/E23
馆藏复本:3
可借复本:3 edited by Peter Deussen.
Springer-Verlag, 1981.
(0) 馆藏
-
西文图书7.Information systems and artificial intelligence : integration aspects : first workshop, Ulm, FRG, Ma TP18-53/E18:(90)
馆藏复本:1
可借复本:1 D. Karagiannis (ed.).
Springer-Verlag, c1991.
(0) 馆藏
-
西文图书8.Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / TP312-53/E1:6(87)
馆藏复本:1
可借复本:1 K. Furukawa, H. Tanaka, T. Fujisaki, eds.
Springer-Verlag, c1988.
(0) 馆藏
-
西文图书9.Advances in cryptology--CRYPTO '88 : proceedings / TN918.2-53/E1:(88)
馆藏复本:1
可借复本:1 S. Goldwasser (ed.).
Springer-Verlag, c1990.
(0) 馆藏
-
西文图书10.Software engineering environments : International Workshop on Environments : proceedings, Chinon, Fr TP311.5-53/E3:(89)
馆藏复本:1
可借复本:1 Fred Long (ed.)
Springer-Verlag, c1990.
(0) 馆藏
-
西文图书11.Microcomputer system design : an advanced course, Trinity College, Dublin, June 1981 / TP36/E25#1
馆藏复本:3
可借复本:3 edited by M.J. Flynn, N.R. Harris, and D.P. McCarthy.
Springer-Verlag, 1982.
(0) 馆藏
-
西文图书12.ICDT '90 : Third International Conference on Database Theory, Paris, France, December 12-14, 1990 : TP311.13-53/E3:3RD(90)
馆藏复本:1
可借复本:1 S. Abiteboul, P.C. Kanellakis (eds.).
Springer-Verlag, c1990.
(0) 馆藏
-
西文图书13.Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, A O24/E2
馆藏复本:5
可借复本:5 edited by Ferenc G?ecseg.
Springer-Verlag, 1981.
(0) 馆藏
-
西文图书14.VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijk TP311.52-53/E3:(4TH:91)
馆藏复本:1
可借复本:1 S. Prehn, W.J. Toetenel (eds.).
Springer-Verlag, c1991.
(0) 馆藏
-
西文图书15.VDM '91 : formal software development methods : 4th international symposium of VDM Europe, Noordwijk TP311.52-53/E3:2(4TH:91)
馆藏复本:1
可借复本:1 S. Prehn, W.J. Toetenel (eds.)
Springer-Verlag, c1991.
(0) 馆藏
-
西文图书16.Mathematical studies of information processing : proceedings of the international conference, Kyoto, TP391-53/E1:75
馆藏复本:5
可借复本:5 edited by E. K. Blum, M. Paul and S. Takasu.
Springer-Verlag, 1979.
(0) 馆藏
-
西文图书17.International Symposium on Programming : proceedings of the fourth Colloque international sur la pro TP31/E70
馆藏复本:2
可借复本:2 edited by B. Robinet.
Springer-Verlag, 1980.
(0) 馆藏
-
西文图书18.CAAP '92 : 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992 TP311-53/E3:17TH(92)
馆藏复本:1
可借复本:1 J.-C. Raoult, ed.
Springer-Verlag, 1992.
(0) 馆藏
-
西文图书19.Algorithms and data structures : 2nd workshop, WADS '91, Ottawa, Canada, August 14-16, 1991 : procee TP311.12-53/E1:(2ND:91)
馆藏复本:1
可借复本:1 F. Dehne, J.-R. Sack, N. Santoro, eds.
Springer-Verlag, c1991.
(0) 馆藏
-
西文图书20.Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / TP23/E4
馆藏复本:2
可借复本:2 edited by Hermann A. Maurer.
Springer-Verlag, 1979.
(0) 馆藏
上一页 1 / 3 下一页 到第 页