| 卷 |
题名
|
责任者
|
出版信息
|
索书号
|
| 598 |
Mathematical foundations of programming semantics : 7th international conference, Pittsburgh, PA, USA, March 25-28, 1991 : proceedings / |
S. Brookes ... [et al.], (eds.). |
Springer-Verlag, c1992. |
TP301.2-532/X4/1991 |
| 588 |
Computer vision--ECCV '92 : Second European Conference on Computer Vision, Santa Margherita Ligure, Italy, May 19-22, 1992, proceedings / |
G. Sandini (ed.). |
Springer-Verlag, c1992. |
TP391.4/X1/1992 |
| 586 |
Parallel execution of Parlog / |
A. Cheese. |
Springer-Verlag, c1992. |
TP312/X7.6 |
| 584 |
Computer algebra and parallelism : second international workshop, Ithaca, USA, May 9-11, 1990 : proceedings / |
R.E. Zippel (ed.). |
Springer-Verlag, c1992. |
O15-37/X9 |
| 579 |
Distributed algorithms : 5th international workshop, WDAG '91, Delphi, Greece, October 7-9, 1991 : proceedings / |
S. Toueg, P.G. Spirakis, L. Kirousis, eds. |
Springer-Verlag, c1992. |
TP301.6-532/X7 |
| 577 |
STACS 92 : 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings / |
A. Finkel, M. Jantzen, (eds.). |
Springer-Verlag, c1992. |
TP301-532/X9/1992 |
| 572 |
Word equations and related topics : 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990 : proceedings / |
K.U. Schulz (ed.). |
Springer-Verlag, c1992. |
TP311.1-532/X9/1990 |
| 571 |
Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings / |
J. Vytopil (ed.). |
Springer-Verlag, c1991. |
TP302.8-532/X2 |
| 569 |
Parallel execution of logic programs : ICLP '91 pre-conference workshop, Paris, June 24, 1991 : proceedings / |
A. Beaumont, G. Gupta (eds.). |
Springer-Verlag, c1991. |
TP311.11-532/X18 |
| 568 |
A resolution principle for a logic with restricted quantifiers / |
H.-J. Bürckert. |
Springer-Verlag, c1991. |
O141-532/X18 |
| 560 |
Foundations of software technology and theoretical computer science : 11th conference, New Delhi, India, December 17-19, 1991 : proceedings / |
S. Biswas, K.V. Nori (eds.). |
Springer-Verlag, c1991. |
TP31-532/X12/1991 |
| 555 |
New results and new trends in computer science, Graz, Austria, June 20-21, 1991 : proceedings / |
H. Maurer (Ed.). |
Springer-Verlag, c1991. |
TP3-532/X36 |
| 553 |
Computational geometry : methods, algorithms, and applications : International Workshop on Computational Geometry CG '91, Bern, Switzerland, March 21-22, 1991 : proceedings / |
H. Bieri, H. Noltemeier (eds.). |
Springer-Verlag, c1991. |
TP301.6-532/X8/1991 |
| 548 |
Symbolic and quantitative approaches to uncertainty : European Conference ECSQAU, Marseille, France, October 15-17, 1991 : proceedings / |
R. Kruse, P. Siegel, eds. |
Springer-Verlag, c1991. |
O236-532/X4/1991 |
| 543 |
Nonmonotonic and inductive logic : 1st international workshop, Karlsruhe, Germany, December 4-7, 1990, proceedings / |
J. Dix, K.P. Jantke, P.H. Schmitt (eds.). |
Springer-Verlag, c1991. |
O141.2/X2/1990 |
| 539 |
Applied algebra, algebraic algorithms, and error-correcting codes : 9th International Symposium, AAECC-9, New Orleans, LA, USA, October 7-11, 1991 : proceedings / |
H.F. Mattson, T. Mora, T.R.N. Rao, eds. |
Springer-Verlag, c1991. |
O15-532/X3/1991 |
| 538 |
A Unified approach to interior point algorithms for linear complementarity problems / |
M. Kojima ... [et al.]. |
Springer-Verlag, c1991. |
O224/X3 |
| 533 |
Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings / |
E. B？rger ... [et al.], eds |
Springer-Verlag, c1991 |
TP311.1-532/X6/1990 |
| 530 |
Category theory and computer science : Paris, France, September 3-6, 1991 : proceedings / |
D.H. Pitt ... [et al.] (eds.) |
Springer-Verlag, c1991. |
O154/X1/1991 |
| 529 |
Fundamentals of computation theory : 8th international conference, FCT '91, Gosen, Germany, September 9-13, 1991 : proceedings / |
L. Budach, (ed.). |
Springer-Verlag, c1991. |
TP274-532/X12/1991 |
| 528 |
Programming language implementation and logic programming : 3rd International Symposium, PLILP '91, Passau, Germany, August 26-28, 1991 : proceedings / |
J. Maluszy鈔ski, M. Wirsing, eds. |
Springer-Verlag, c1991. |
TP311.11/X45 |
| 521 |
Uncertainty in knowledge bases : 3rd International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, IPMU '90, Paris, France, July 2-6, 1990, proceedings / |
B. Bouchon-Meunier, R.R. Yager, L.A. Zadeh, (eds.). |
Springer-Verlag, c1991. |
TP18-532/X8 |
| 520 |
Mathematical foundations of computer science 1991 : 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991 :proceedings / |
A. Tarlecki (ed.) |
Springer-Verlag, c1991. |
TP301-532/X1/1991 |
| 510 |
Automata, languages and programming : 18th international colloquium, Madrid, Spain, July 8-12, 1991 : proceedings / |
J. Leach Albert, B. Monien, M. Rodríguez Artalejo (eds.). |
Springer-Verlag, c1991. |
TP311-532/X2/1991 |
| 508 |
Applied algebra, algebraic algorithms and error-correcting codes : 8th international conference, AAECC-8, Tokyo, Japan, August 20-24, 1990 : proceedings / |
S. Sakata (ed.) |
Springer-Verlag, c1991. |
O15-532/X3 |
| 507 |
Computing in the 90's : the First Great Lakes Computer Science Conference, Kalamazoo, Michigan, USA, October 18-20, 1989 : proceedings / |
N.A. Sherwani, E. de Doncker, J. A. Kapenga, eds. |
Springer-Verlag, c1991. |
TP301.6-532/X13 |
| 503 |
Parallel database systems : PRISMA Workshop, Noordwijk, the Netherlands, September 24-26, 1990 : proceedings / |
Pierre America (ed.). |
Springer-Verlag, c1991. |
TP311.13/X28 |
|
|
|
|
|