| 卷 |
题名
|
责任者
|
出版信息
|
索书号
|
| 296 |
Trends in computer algebra : international symposium, Bad Neuenahr, May 19-21, 1987 : proceedings / |
R. Janssen (ed.). |
Springer-Verlag, c1988. |
P176.07/W134 |
| 295 |
Parallel computing in science and engineering : 4th International DFVLR Seminar on Foundations of Engineering Sciences, Bonn, Federal Republic of Germany, June 25/26, 1987 / |
R. Dierstein, D. Müller-Wichards, H.-M. Wacker, eds. |
Springer-Verlag, c1988. |
TP274-532/X85 |
| 294 |
STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988 : proceedings / |
R. Cori, M. Wirsing, (eds.). |
Springer-Verlag, c1988. |
TP301-532/X9/1988 |
| 290 |
Co-op : a group decision support system for cooperative multiple criteria group decision making / |
Tung X. Bui. |
Springer-Verlag, c1987. |
P164.1/W259 |
| 283 |
Category theory and computer science : Edinburgh, U.K., September 7-9, 1987 : proceedings / |
D.H. Pitt, A. Poigné, D.E. Rydeheard (eds.). |
Springer-Verlag, c1987. |
O154/X1/1987 |
| 281 |
Trends, techniques, and problems in theoretical computer science : 4th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, October 13-17, 1986 : selected contributions / |
Alica Kelemenová, Jozef Kelemen, (eds.). |
Springer-Verlag, c1987. |
TP301-532/X7/1986 |
| 279 |
Graph reduction : proceedings of a workshop, Santa Fé, New Mexico, USA, September 29-October 1, 1986 / |
Joseph H. Fasel, Robert M. Keller (eds.). |
Springer-Verlag, c1987. |
TP312-532/X23 |
| 278 |
Fundamentals of computation theory : International Conference, FCT'87, Kazan, USSR, June 22-26, 1987 : proceedings / |
L. Budach, R.G. Bukharajev, O.B. Lupanov, eds. |
Springer-Verlag, c1987. |
TP274-532/X12/1987 |
| 277 |
Systems of reductions / |
B. Benninghofen, S. Kemmerich, M.M. Richter. |
Springer-Verlag, c1987. |
TP301.6/X97 |
| 277 |
Systems of reductions / |
B. Benninghofen, S. Kemmerich, M.M. Richter. |
Springer-Verlag, c1987. |
P176/W1394 |
| 270 |
Computation theory and logic / |
Egon B？rger (ed.) |
Springer-Verlag, c1987 |
TP301.6/X98 |
| 270 |
Computation theory and logic / |
Egon B鑟rger (ed.). |
Springer-Verlag, c1987. |
P113/W27 |
| 268 |
Constrained global optimization : algorithms and applications / |
P.M. Pardalos, J.B. Rosen. |
Springer-Verlag, c1987. |
O224/X75 |
| 268 |
Constrained global optimization : algorithms and applications / |
P.M. Pardalos, J.B. Rosen. |
Springer-Verlag, c1987. |
P164.1/W249 |
| 247 |
STACS 87 : 4th Annual Symposium on Theoretical Aspects of Computer Science, Passau, Federal Republic of Germany, February 19-21, 1987 : proceedings / |
edited by F.J. Brandenburg, G. Vidal-Naquet, and M. Wirsing. |
Springer-Verlag, c1987. |
TP301-532/X9/1987 |
| 245 |
Lectures on the complexity of bilinear problems / |
H.F. de Groote. |
Springer-Verlag, 1987. |
P171/W138 |
| 245 |
Lectures on the complexity of bilinear problems / |
H.F. de Groote. |
Springer-Verlag, c1987. |
TP301.5/X12 |
| 241 |
Foundations of software technology and theoretical computer science : sixth conference, New Delhi, India, December 18-20, 1986 : proceedings / |
edited by Kesav V. Nori. |
Springer-Verlag, c1986. |
TP31-532/X12/1986 |
| 240 |
Category theory and computer programming : tutorial and workshop, Guildford, U.K., September 16-20, 1985 : proceedings / |
edited by David Pitt ... [et al.]. |
New York : c1986. |
P139/W52 |
| 239 |
Mathematical foundations of programming semantics : international conference, Manhattan, Kansas, April 11-12, 1985 : proceedings / |
edited by Austin Melton. |
Springer-Verlag, c1986. |
TP301.2-532/X4/1985 |
| 235 |
Accurate scientific computations : symposium, Bad Neuenahr, FRG, March 12-14, 1985 : proceedings / |
edited by Willard L. Miranker and Richard A. Toupin. |
Springer-Verlag, c1986. |
P176.07/W108 |
| 233 |
Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986 / |
edited by J. Gruska, B. Rovan, and J. Wiedermann. |
Springer-Verlag, c1986. |
TP301-532/X1/1986 |
| 233 |
Mathematical foundations of computer science 1986 : proceedings of the 12th symposium, Bratislava, Czechoslovakia, August 25-29, 1986 : MFCS '86 / |
edited by J. Gruska, B. Rovan and J. Wiedermann. |
Springer-Verlag, c1986. |
P174.07/W35/1986 |
| 232 |
Fundamentals of artificial intelligence : an advanced course / |
edited by W. Bibel and Ph. Jorrand. |
Springer-Verlag, c1986. |
U399.4/W125 |
| 232 |
Fundamentals of artificial intelligence : an advanced course / |
edited by W. Bibel and Ph. Jorrand. |
Springer-Verlag, c1986. |
TP18/X284 |
| 230 |
8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / |
edited by J？rg H. Siekmann |
Springer-Verlag, c1986 |
TP18-532/X25/1986 |
| 230 |
8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings / |
edited by J鑟rg H. Siekmann. |
Springer-Verlag, c1986. |
P174.07/W58/1986 |
| 226 |
Automata, languages, and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings / |
edited by Laurent Kott. |
Springer-Verlag, c1986. |
TP311-532/X2/1986 |
| 226 |
Automata, languages and programming : 13th international colloquium, Rennes, France, July 15-19, 1986 : proceedings / |
edited by Laurent Kott. |
Springer-Verlag, c1986. |
P176/W139/1986 |
| 225 |
Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings / |
edited by Ehud Y. Shapiro. |
Springer-Verlag, c1986. |
P176.07/W104 |
| 225 |
Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings / |
edited by Ehud Shapiro. |
Springer-Verlag, c1986. |
TP311.11-53/X5/1986 |
| 223 |
Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986 / |
edited by Alan L. Selman. |
Springer-Verlag, c1986. |
P176/W1043 |
| 223 |
Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986 / |
edited by Alan L. Selman. |
Springer-Verlag, c1986. |
TP301.5-532/X1/1986 |
| 222 |
Advances in Petri nets, 1985 / |
edited by G. Rozenberg. |
Springer-Verlag, c1986. |
TP393/X13/1985 |
| 221 |
Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 / |
edited by Eiiti Wada. |
Springer-Verlag, c1986. |
TP311.11-532/X2/1985 |
| 221 |
Logic programming '85 : proceedings of the 4th conference, Tokyo, Japan, July 1-3, 1985 / |
edited by Eiiti Wada. |
Springer-Verlag, c1986. |
P176/W1027 |
| 212 |
Interval mathematics 1985 : proceedings of the international symposium, Freiburg i. Br., Federal Republic of Germany, September 23-26, 1985 / |
edited by K. Nickel. |
Springer-Verlag, c1986. |
O242.29/X1/1985 |
| 212 |
Interval mathematics 1985 : proceedings of the international symposium, Freiburg i. Br., Federal Republicof Germany, September 23-26, 1985 / |
edited by K. Nickel. |
Springer-Verlag, c1986. |
P171/W123/1985 |
| 211 |
Complexity and structure / |
Uwe Sch鑟ning. |
Springer-Verlag, c1985. |
P113/W21 |
| 211 |
Complexity and structure / |
Uwe Sch？nin |
Springer-Verlag, c198 |
O141.3/X2 |
| 210 |
STACS 86 : 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986 / |
edited by B. Monien and G. Vidal-Naquet. |
Springer-Verlag, c1986. |
TP301-532/X9/1986 |
| 208 |
Tractable reasoning in artificial intelligence / |
Marco Cadoli. |
Springer-Verlag, c1995. |
TP18/X120 |
| 208 |
Computation theory : fifth symposium, Zaborów, Poland, December 3-8, 1984 : proceedings / |
edited by Andrzej Skowron. |
Springer-Verlag, c1985. |
TP301.6-532/X55 |
| 206 |
Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings / |
edited by S.N. Maheshwari. |
Springer-Verlag, c1985. |
TP31-532/X12/1985 |
| 201 |
Functional programming languages and computer architecture : Nancy, France, September 1985 / |
edited by Jean-Pierre Jouannaud. |
Springer-Verlag, c1985. |
P176.07/W96/1985 |
|
|
|
|
|