| 卷 |
题名
|
责任者
|
出版信息
|
索书号
|
| 398 |
Advances in intelligent data analysis : third international symposium, IDA-99, Amsterdam, The Netherlands, August 9-11, 1999 : proceedings / |
David J. Hand, Joost N. Kok, Michael R. Berthold (eds.). |
Springer, c1999. |
O212-39/X1 |
| 398 |
Temporal logic in specification : Altrincham, UK, April 8-10, 1987 : proceedings / |
B. Banieqbal, H. Barringer, A. Pnueli (eds.). |
Springer-Verlag, c1989. |
TP302.1-532/X12 |
| 397 |
Analogical and inductive inference : International Workshop AII '89, Reinhardsbrunn Castle, GDR, October, 1989 : proceedings / |
K.P. Jantke, ed. |
Springer-Verlag, 1989. |
U399.407/W59 |
| 395 |
Theory reasoning in connection calculi / |
Peter Baumgartner. |
Springer, c1998. |
O141/X90 |
| 394 |
Theorem proving in higher order logics : 11th international conference, TPHOLs '98, Canberra, Australia, September 27-October 1, 1998 : proceedings / |
Jim Grundy, Malcolm Newey, (eds.). |
Springer, c1998. |
O141.4-532/X3/1998 |
| 392 |
Distributed algorithms : 3rd international workshop, Nice, France, September 26-28, 1989 : proceedings / |
J.-C. Bermond, M. Raynal (eds.) |
Springer-Verlag, c1989. |
P176.07/W135/1989 |
| 389 |
Category theory and computer science : Manchester, UK, September 5-8, 1989, proceedings / |
D.H. Pitt ... [et al.] (ed.). |
Springer-Verlag, c1989. |
O154/X1/1989 |
| 388 |
Coding theory and applications : 3rd international colloquium, Toulon, France, November 2-4, 1988 : proceedings / |
G. Cohen, J. Wolfmann, (eds.). |
Springer-Verlag, c1989. |
O157.4-532/X8 |
| 386 |
Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings / |
J.E. Pin (ed.). |
Springer-Verlag, c1989. |
P176/W1363 |
| 386 |
Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings / |
J.E. Pin, (ed.). |
Springer-Verlag, c1989. |
TP301.6-532/X54 |
| 385 |
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / |
E. B鑟rger, H. Kleine B鑥ning, M.M. Richter (eds.). |
Springer-Verlag, c1989. |
P112.07/W12/1988 |
| 385 |
CSL '88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : proceedings / |
E. B？rger, H. Kleine Büning, M.M. Richter (eds.) |
Springer-Verlag, c1989 |
TP311.1-532/X6/1988 |
| 383 |
Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 / |
K. Furukawa, H. Tanaka, T. Fujisaki (eds.) |
Springer-Verlag, c1989. |
P176/W1027/1988 |
| 382 |
Algorithms and data structures : workshop WADS '89, Ottawa, Canada, August 17-19, 1989 : proceedings / |
F. Dehne, J.-R. Sack, N. Santoro (eds.). |
Springer-Verlag, c1989. |
P176.07/W145 |
| 381 |
Machines, languages, and complexity / |
5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions ; J. Dassow, J. Kelemen, eds. |
Springer-Verlag, c1989. |
TP301-532/X7/1988 |
| 380 |
Fundamentals of computation theory : proceedings / |
International Conference FCT '89, Szeged, Hungary, August 21-25, 1989 ; J. Csirik, J. Demetrovics, eds. |
Springer-Verlag, c1989. |
U398.207/W181/1989 |
| 380 |
Fundamentals of computation theory : international conference, FCT'89, Szeged, Hungary, August 21-25, 1989 : proceedings / |
J. Csirik, J. Demetrovics, F. Gécseg, (eds.). |
Springer-Verlag, c1989. |
TP274-532/X12/1989 |
| 379 |
Mathematical foundations of computer science 1989 : Porabka-Kozubnik, Poland, August 28-September 1, 1989 : proceedings / |
A. Kreczmar, G. Mirkowska (eds.). |
Springer-Verlag, c1989. |
TP301-532/X1/1989 |
| 377 |
Electronic dictionaries and automata in computer linguistics : LITP Spring School on theoretical computer science, Saint-Pierre d'Ol鈋ron, France, May 25-29, 1987 : proceedings / |
M. Gross, D. Perrin (eds.). |
Springer-Verlag, c1989. |
P113/W33 |
| 375 |
Mathematics of program construction : 375th anniversary of the Groningen University : international confernece, Groningen, the Netherlnads, June 26-30, 1989 : proceedings / |
J.L.A. van de Snepscheut (ed.). |
Springer-Verlag, c1989. |
P176/W1402 |
| 374 |
The Cray X-MP/Model 24 : a case study in pipelined architecture and vector processing / |
Kay A. Robbins, Steven Robbins. |
Springer-Verlag, c1989. |
TP338.4/X5 |
| 373 |
Algorithms for parallel polygon rendering / |
T. Theoharis. |
Springer-Verlag, c1989. |
P176/W1401 |
| 372 |
Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings / |
G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (eds.). |
Springer-Verlag, c1989. |
P176/W139/1989 |
| 372 |
Automata, languages and programming : 16th international colloquium, Stresa, Italy, July 11-15, 1989 : proceedings / |
G. Ausiello, M. Dezani-Ciancaglini, S. Ronchi Della Rocca (eds.). |
Springer-Verlag, c1989. |
TP311-532/X2/1989 |
| 370 |
Modified branching programs and their computational power / |
Christoph Meinel. |
Springer-Verlag, c1989. |
TP301.5/X1 |
| 370 |
Modified branching programs and their computational power / |
Christoph Meinel. |
Springer-Verlag, c1989. |
P176/W1400 |
| 369 |
Finite representations of CCS and TCSP programs by automata and Petri nets / |
Dirk Taubner. |
Springer-Verlag, c1989. |
P176/W1409 |
| 368 |
Database machines : sixth international workshop, IWDM '89, Deauville, France, June 19-21, 1989 : proceedings / |
H. Boral, P. Faudemay, eds. |
Springer-Verlag, c1989. |
P176/W1398 |
| 367 |
Foundations of data organization and algorithms : 3rd international conference, FODO 1989, Paris, France, June 21-23, 1989 : proceedings / |
W. Litwin, H.-J. Schek (eds.). |
Springer-Verlag, c1989. |
P176/W1397 |
| 364 |
MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegr鈇d, Hungary, June 26-30, 1989 : proceedings / |
J. Demetrovics, B. Thalheim (Eds.). |
Springer-Verlag, 1989. |
P174.07/W68 |
| 364 |
MFDBS 89 : 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989 : proceedings / |
J. Demetrovics, B. Thalheim, (eds.). |
Springer-Verlag, c1989. |
TP301-532/X6/1989 |
| 363 |
Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / |
A.R. Meyer, M.A. Taitslin (eds.). |
Springer-Verlag, c1989. |
P112/W206/1989 |
| 363 |
Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 3-8, 1989 : proceedings / |
A.R. Meyer, M.A. Taitslin (eds.). |
Springer-Verlag, c1989. |
TP3-532/X35/1989 |
| 361 |
Nested relations and complex objects in databases / |
S. Abiteboul, P.C. Fischer, H.-J. Schek, (eds.). |
Springer-Verlag, c1989. |
TP311.1323-532/X1 |
| 360 |
Computer assisted learning : 2nd International Conference, ICCAL '89, Dallas, TX, USA, May 9-11, 1989 : proceedings / |
H. Maurer, ed. |
Springer-Verlag, c1989. |
G434-532/X1/1989 |
| 358 |
Symbolic and algebraic computation : International Symposium ISSAC '88, Rome, Italy, July 4-8, 1988 : proceedings / |
P. Gianni, (ed.). |
Springer-Verlag, c1989. |
O15-37/X10/1988 |
| 354 |
Linear time, branching time, and partial order in logics and models for concurrency : School/Workshop, Noordwijkerhout, The Netherlands, May 30-June 3, 1988 / |
J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.). |
Springer-Verlag, c1989. |
TP274-532/X84 |
| 350 |
Global optimization / |
Aimo T？rn, Antanas ？ilinsk |
Springer-Verlag, c19 |
O224/X76 |
| 350 |
Global optimization / |
Aimo T鑟rn, Antanas 閆ilinskas. |
Springer-Verlag, c1989. |
P164.1/W279 |
| 349 |
STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989 : proceedings / |
B. Monien, R. Cori, (eds.). |
Springer-Verlag, 1989. |
TP301-532/X9/1989 |
| 348 |
Programming languages implementation and logic programming : international workshop, PLILP '88, Orléans, France, May 16-18, 1988 : proceedings / |
P. Deransart, B. Lorho, J. Ma？uszyński, (eds.) |
Springer-Verlag, c1989 |
TP311.11/X45/1988 |
| 348 |
Programming language implementation and logic programming : International Workshop PLILP '88, Orl鈋ans, France, May 16-18, 1988 : proceedings / |
N. Deransart, B. Lorho, J. Ma眜szy鈔ski (eds.). |
Springer-Verlag, c1989. |
P176/W1396 |
| 344 |
Graph-theoretic concepts in computer science : international workshop WG '88, Amsterdam, The Netherlands, June 15-17, 1988 : proceedings / |
J. van Leeuwen (ed.). |
Springer-Verlag, c1989. |
O157.5/X3/1988 |
| 343 |
Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings / |
J. Grabowski, P. Lescanne, W. Wechler (eds.). |
Springer-Verlag, c1988. |
TP311.11-53/X21/1988 |
| 343 |
Algebraic and logic programming : international workshop, Gaussing, GDR, November 14-18, 1988 : proceedings / |
J. Grabowski, P. Lescanne, W. Wechler (eds.). |
Springer-Verlag, c1989. |
P176/W1367W |
| 338 |
Foundations of software technology and theoretical computer science : eighth conference, Pune, India, December 21-23, 1988 : proceedings / |
K.V. Nori, S. Kumar (eds.). |
Springer-Verlag, c1988. |
TP31-532/X12/1988 |
| 333 |
Computational geometry and its applications / |
CG'88, International Workshop on Computational Geometry, Würzburg, FRG, March 24-25, 1988 : proceedings ; Hartmut Noltemeier (ed.). |
Springer-Verlag, c1988. |
O18-37/X7/1988 |
| 332 |
Recent trends in data type specification : 5th Workshop on Specification of Abstract Data Types, Gullane, Scotland, September 1-4, 1987 : selected paeprs / |
D. Sannella, A Tarlecki (eds.). |
Springer-Verlag, 1988. |
P174.07/W69 |
| 331 |
Formal techniques in real-time and fault-tolerant systems : proceedings of a symposium, Warwick, UK, September 22-23, 1988 / |
M. Joseph (ed.). |
Springer-Verlag, c1988. |
P112.07/W13 |
| 329 |
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. |
P112.07/W12 |
| 327 |
Prosody in speech understanding systems / |
Ralf Kompe. |
Springer, c1997. |
TN912.34/X7 |
| 326 |
ICDT '88 : International Conference on Database Theory, Bruges, Belgium, August 31-September 2, 1988 : proceedings / |
M. Gyssens, J. Paredaens, D. Van Gucht (eds.). |
Springer-Verlag, c1988. |
P174/W403/1988 |
| 325 |
Modern cryptology : a tutorial / |
Gilles Brassard. |
Springer-Verlag, c1988. |
U385.43/W77 |
| 324 |
Mathematical foundations of computer science 1988 : MFCS '88 : proceedings of the 13th symposium, Carlsbad, Czechoslovakia, August 29-September 2, 1988 / |
M.P. Chytil, L. Janiga, V. Koubek (eds.). |
Springer-Verlag, c1988. |
P174.07/W35/1988 |
| 321 |
Compositionality, concurrency, and partial correctness : proof theories for networks of processes and their relationship / |
J. Zwiers. |
Springer-Verlag, c1989. |
P176/W1395 |
| 320 |
Natural language at the computer : proceedings / |
Scientific Symposium on Syntax and Semantics for Text Processing and Man-Machine-Communication, held on the occasion of the 20th anniversary of the Science Center Heidelberg of IBM Germany, Heidelberg, FRG, February 25, 1988 ; A. Blaser, ed. |
Springer-Verlag, c1988. |
TP18-532/X189/1988 |
| 318 |
SWAT 88 : 1st Scandinavian Workshop on Algorithm Theory, Halmstad, Sweden, July 5-8, 1988 : proceedings / |
R. Karlsson, A. Lingas (eds.). |
Springer-Verlag, 1988. |
TP301.6-532/X36/1988 |
| 317 |
Automata, languages and programming : 15th international colloquium, Tampere, Finland, July 11-15, 1988 : proceedings / |
Timo Lepist鑟 and Arto Salomaa (eds.). |
Springer-Verlag, c1988. |
P176/W139/1988 |
| 315 |
Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / |
K. Furukawa, H. Tanaka, T. Fujisaki (eds.). |
Springer-Verlag, 1988. |
P176/W1027/1987 |
| 314 |
Graph-theoretic concepts in computer science : International Workshop WG '87, Kloster Banz/Staffelstein, FRG, June 29-July 1, 1987 : proceedings / |
H. G？ttler, H.J. Schneider (eds.) |
Springer-Verlag, c1988 |
O157.5/X3/1987 |
| 313 |
Uncertainty and intelligent systems / |
2nd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '88, Urbino, Italy, July 4-7, 1988, proceedings ; B. Bouchon, L. Saitta, R.R. Yager, eds. |
Springer-Verlag, c1988. |
TP18-532/X8/1988 |
| 312 |
Distributed algorithms : 2nd international workshop, Amsterdam, The Netherlands, July 8-10, 1987 : proceedings / |
J. van Leeuwen (ed.). |
Springer-Verlag, c1988. |
TP301.6-532/X7/1987 |
| 310 |
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / |
E. Lusk, R. Overbeek (eds.). |
Springer-Verlag, c1988. |
TP18-532/X25/1988 |
| 306 |
Foundations of logic and functional programming : workshop, Trento, Italy, December 15-19, 1986 : proceedings / |
M. Boscarol, L. Carlucci Aiello, G. Levi (eds.). |
Springer-Verlag, c1988. |
P176/W1278 |
| 305 |
Numerical analysis and its applications : first international workshop, WNAA '96, Rousse, Bulgaria, June 24-26, 1996 : proceedings / |
Lubin Vulkov, Jerzy Wa？niewski, Plamen Yalamov (eds.) |
Springer, c1997 |
O241-532/X9/1996 |
| 301 |
Pattern recognition : 4th international conference, Cambridge, U.K., March 28-30, 1988 : proceedings / |
J. Kittler, (ed.). |
Springer-Verlag, c1988. |
TP391.4-532/X64 |
|
|
|
|
|