| 卷 |
题名
|
责任者
|
出版信息
|
索书号
|
| 500 |
On the computational geometry of pocket machining / |
Martin Held. |
Springer-Verlag, c1991. |
TG547.1/X1 |
| 498 |
Advanced information systems engineering : third international conference, CAiSE '91, Trondheim, Norway, May 13-15, 1991 : proceedings / |
R. Andersen, J.A. Bubenko, Jr., A. S瞝vberg, eds. |
Springer-Verlag, c1991. |
TP3-532/X4 |
| 497 |
Advances in computing and information--ICCI '91 : International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991 : proceedings / |
F. Dehne, F. Fiala, W.W. Koczkodaj (eds.) |
Springer-Verlag, c1991. |
TP335-532/X2/1991 |
| 495 |
MFDBS 91 : 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems, Rostock, Germany, May 6-9, 1991 : proceedings / |
B. Thalheim, J. Demetrovics, H.-D. Gerhardt (eds.) |
Springer-Verlag, c1991. |
TP301-532/X6/1991 |
| 486 |
Distributed algorithms : 4th International Workshop, Bari, Italy, September 24-26, 1990 : proceedings / |
J. van Leeuwen, N. Santoro (eds.) |
Springer-Verlag, c1991 |
TP301.6-532/X7/1990 |
| 484 |
Graph-theoretic concepts in computer science : 16th international workshop WG'90, Berlin, Germany, June 20-22, 1990 : proceedings / |
R.H. Mohring, ed. |
Springer-Verlag, c1991. |
O157.5/X3 |
| 480 |
STACS 91 : 8th Annual Symposium on Theoretical Aspects of Computer Science, Hamburg, Germany, February 14-16, 1991 : proceedings / |
C. Choffrut, M. Jantzen, (eds.). |
Springer-Verlag, c1991. |
TP301-532/X9/1991 |
| 474 |
Information systems and artificial intelligence : integration aspects : first workshop, Ulm, FRG, March 19-21, 1990, proceedings / |
D. Karagiannis (ed.). |
Springer-Verlag, c1991. |
TP18-532/X15 |
| 472 |
Foundations of software technology and theoretical computer science : tenth conference, Bangalore, India, December 17-19, 1990 : proceedings / |
K.V. Nori, C.E. Veni Madhavan (eds.). |
Springer-Verlag, c1990. |
TP31-532/X12/1990 |
| 464 |
Aspects and prospects of theoretical computer science : 6th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 19-23, 1990 : proceedings / |
J. Dassow, J. Kelemen, eds. |
Springer-Verlag, c1990. |
TP301-532/X7 |
| 463 |
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / |
H. Kirchner, W. Wechler (eds.). |
Springer-Verlag, c1990. |
TP311.11-53/X21/1990 |
| 463 |
Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / |
H. Kirchner, W. Wechler, eds. |
Springer-Verlag, c1990. |
P176/W1367/1990 |
| 457 |
CONPAR 90-VAPP IV : Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990 : proceedings / |
H. Burkhart, ed. |
Springer-Verlag, c1990. |
TP274-532/X8/1990 |
| 457 |
CONPAR 90-VAPP IV : Joint International Conference on Vector and Parallel Processing, Zurich, Switzerland, September 10-13, 1990 : proceedings / |
H. Burkhart (ed.). |
Springer-Verlag, c1990. |
P176.07/W176 |
| 456 |
Programming language implementation and logic programming : international workshop PLILP '90, Link？ping, Sweden, August 20-22, 1990 : proceedings / |
P. Deransart, J. Ma？szyński, e |
Springer-Verlag, c19 |
TP311.11/X45/1990 |
| 455 |
A collection of test problems for constrained global optimization algorithms / |
C.A. Floudas, P.M. Pardalos. |
Springer-Verlag, c1990. |
P164.1/W302 |
| 455 |
A collection of test problems for constrained global optimization algorithms / |
C.A. Floudas, P.M. Pardalos. |
Springer-Verlag, c1990. |
TB114.1/X7 |
| 453 |
Advances in cryptology-AUSCRYPT '90 : international conference on cryptology, Sydney, Australia, January 1990 : proceedings / |
J. Seberry, J. Pieprzyk, eds. |
Springer-Verlag, c1990. |
TN918.2-532/X1:3/1990 |
| 452 |
Mathematical foundations of computer science 1990 : Bansk鈇 Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / |
B. Rovan (ed.). |
Springer-Verlag, c1990. |
P174.07/W35/1990 |
| 452 |
Mathematical foundations of computer science, 1990 : Banská Bystrica, Czechoslovakia, August 27-31, 1990 : proceedings / |
B. Rovan, (ed.). |
Springer-Verlag, c1990. |
TP301-532/X1/1990 |
| 450 |
Algorithms : proceedings / |
International Symposium SIGAL '90, Tokyo, Japan, August 16-18, 1990 ; T. Asano ... [et al.] (eds.). |
Springer-Verlag, c1990. |
TP301.6/X8 |
| 447 |
SWAT 90 : 2nd Scandinavian Workshop on Algorithm Theory, Bergen, Sweden [i.e. Norway], July 11-14, 1990, proceedings / |
J.R. Gilbert, R. Karlsson (eds.). |
Springer-Verlag, c1990. |
P176.07/W154 |
| 445 |
On the shape of mathematical arguments / |
A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra. |
Springer-Verlag, c1990. |
O141.2/X19 |
| 445 |
On the shape of mathematical arguments / |
A.J.M. van Gasteren ; foreword by Edsger W. Dijkstra. |
Springer-Verlag, c1990. |
P133.7/W171 |
| 443 |
Automata, languages and programming : 17th international colloquium, Warwick University, England, July 16-20, 1990 : proceedings / |
M.S. Paterson (ed.). |
Springer-Verlag, c1990. |
TP311-532/X2/1990 |
| 442 |
Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings / |
M. Main ... [et al.], eds. |
Springer-Verlag, c1990. |
TP301.2-532/X4/1989 |
| 440 |
CSL '87 : 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings / |
E. B？rger, H. Kleine Büning, M.M. Richter (eds.) |
Springer-Verlag, c1988 |
TP311.1-532/X6/1987 |
| 440 |
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / |
E. B鑟rger, H. Kleine B鑥ning, M.M. Richter (eds.). |
Springer-Verlag, 1990. |
P112.07/W12/1989 |
| 440 |
CSL '89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings / |
E. B？rger, H. Kleine Büning, M.M. Richter (eds.) |
Springer-Verlag, c1990 |
TP311.1-532/X6 |
| 439 |
Visualization in human-computer interaction : selected contributions / |
7th Interdisciplinary Workshop on Informatics and Psychology, Sch？rding, Austria, May 24-27, 1988 ; P. Gorny, M.J.Tauber (eds. |
Springer-Verlag, c199 |
TP311.1-532/X47/1988 |
| 435 |
Advances in cryptology : CRYPTO '89, proceedings / |
G. Brassard (ed.). |
Springer-Verlag, c1990. |
TN918.2-532/X1/1989 |
| 434 |
Intelligent agents for telecommunication applications : Third International Workshop, IATA'99, Stockholm, Sweden, August 9-10, 1999 : proceedings / |
Sahin Albayrak (ed.). |
Springer, c1999. |
TN91-532/X17 |
| 432 |
Integer optimization by local search : a domain-independent approach / |
Joachim Paul Walser ; foreword by Henry Kautz. |
Springer, c1999. |
O221.4/X2 |
| 432 |
ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings / |
N. Jones (ed.). |
Springer-Verlag, c1990. |
TP311-532/X7 |
| 425 |
Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings / |
C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.). |
Springer-Verlag, c1990. |
O15/X2 |
| 421 |
A formal model of visualization in computer graphics systems / |
Tamiya Onodera, Satoru Kawai. |
Springer-Verlag, c1990. |
TP391.72/X23 |
| 420 |
Statistical and scientific database management : fifth international conference, V SSDBM, Charlotte, N.C., USA, April 3-5, 1990 : proceedings / |
Z. Michalewicz (ed.). |
Springer-Verlag, c1990. |
P174/W446 |
| 418 |
Sorts and types in artificial intelligence : workshop, Eringerfeld, FRG, April 24-26, 1989 : proceedings / |
K.H. Bl鑑sius, U. Hedtst鑥ck, C.-R. Rollinger (eds.). |
Springer-Verlag, c1990. |
U399.4/W303 |
| 417 |
COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings / |
P. Martin-L？f, G. Mints, eds |
Springer-Verlag, c1990 |
TP301.6-532/X49/1988 |
| 415 |
STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 22-24, 1990 : proceedings / |
C. Choffrut, T. Lengauer (eds.). |
Springer-Verlag, 1990. |
P174.07/W59/1990 |
| 415 |
STACS 90 : 7th Annual Symposium on Theoretical Aspects of Computer Science, Rouen, France, February 1990, proceedings / |
C. Choffrut, T. Lengauer [editors]. |
Springer-Verlag, 1990. |
TP301-532/X9/1990 |
| 411 |
Graph-theoretic concepts in computer science : 15th international workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989 : proceedings / |
M. Nagl (ed.). |
Springer-Verlag, c1990. |
P174/W273/1989 |
| 411 |
Graph-theoretic concepts in computer science : 15th international workshop WG '89, Castle Rolduc, The Netherlands, June 14-16, 1989 : proceedings / |
M. Nagl, ed. |
Springer-Verlag, c1990. |
O157.5/X3/1989 |
| 407 |
Automatic verification methods for finite state systems : international workshop, Grenoble, France, June 12-14, 1989 : proceedings / |
J. Sifakis (Ed.). |
Springer-Verlag, c1990. |
TN915.04-532/X2 |
| 404 |
Concepts, design, and performance analysis of a parallel prolog machine / |
Joachim Beer. |
Springer-Verlag, c1989. |
TP338.6/X2 |
| 404 |
Concepts, design, and performance analysis of a parallel Prolog machine / |
Joachim Beer. |
Springer-Verlag, c1989. |
P176/W1404 |
| 403 |
Advances in cryptology--CRYPTO '88 : proceedings / |
S. Goldwasser (ed.) |
Springer-Verlag, c1990. |
U398.207/W197/1988 |
| 402 |
Interactive relational database design : a logic programming implementation / |
Tapan P. Bagchi, Vinay K. Chaudhri. |
Springer-Verlag, c1989. |
P176/W1403 |
|
|
|
|
|