| 卷 |
题名
|
责任者
|
出版信息
|
索书号
|
| 1000 |
Computer science today : recent trends and developments / |
Jan van Leeuwen, ed. |
Springer, c1995. |
TP3/X27 |
| 999 |
Hybrid systems II / |
Panos Antsaklis ... [et al.], (eds). |
Springer, c1995. |
TP35-532/X3 |
| 995 |
The complexity of simple computer architectures / |
Silvia M. Müller, Wolfgang J. Paul. |
Springer, c1995. |
TP303/X41 |
| 993 |
Evolutionary computing : AISB Workshop, Sheffield, U.K., April 3-4, 1995 : selected papers / |
Terence C. Fogarty, ed. |
Springer, c1995. |
TP311.5/X46/1995 |
| 988 |
Spatial information theory : a theoretical basis for GIS : international conference, COSIT'95, Semmering, Austria, September 21-23, 1995 : proceedings / |
Andrew U. Frank, Werner Kuhn (ed.). |
Springer, c1995. |
K9-37/X3 |
| 980 |
Parallel algorithms for irregularly structured problems : second international workshop, IRREGULAR '95, Lyon, France, September, 4-6, 1995 : proceedings / |
Afonso Ferreira, José Rolim, eds. |
Springer, c1995. |
TP311.11-53/X9/1995 |
| 979 |
Algorithms - ESA '95 : Third Annual European Symposium, Corfu, Greece, September 25-27, 1995 : proceedings / |
Paul Spirakis (ed.). |
Springer, c1995. |
TP301.6-532/X28/1995 |
| 974 |
Image analysis and processing : 8th International Conference, ICIAP '95, San Remo, Italy, September 13-15, 1995 : proceedings / |
Carlo Braccini, Leila DeFloriani, Gianni Vernazza, (eds). |
Springer-Verlag, c1995. |
TP391.4-532/X11/1995 |
| 971 |
Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings / |
E. Thomas Schubert, Phillip J. Windley, James Alves-Foss (eds.) |
Springer-Verlag, 1995. |
TP301-532/X17/1995 |
| 969 |
Mathematical foundations of computer science 1995 : 20th international symposium, MFCS '95, Prague, Czech Republic, August 28-September 1, 1995 : proceedings / |
Ji？í Wiedermann, Petr Hájek, (eds.) |
Springer, c1995 |
TP301-532/X1/1995 |
| 965 |
Fundamentals of computation theory : 10th international conference, FCT '95, Dresden, Germany, August 1995 : proceedings / |
Horst Reichel, (ed.). |
Springer, c1995. |
TP274-532/X12/1995 |
| 960 |
Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers / |
Daniel Leivant (ed.). |
Springer, c1995. |
O141-532/X19/1994 |
| 959 |
Computing and combinatorics : first annual international conference, COCOON'95, Xi'an, China, August 24-26, 1995 : proceedings / |
Ding-Zhu Du, Ming Li, eds. |
Springer-Verlag, c1995. |
TP301.6-532/X29/1995 |
| 958 |
Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers / |
Jacques Calmet, John A. Campbell, (eds.). |
Springer-Verlag, c1995. |
TP18-532/X186/1994 |
| 945 |
Advances in intelligent computing--IPMU '94 : 5th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, July 4-8, 1994 : selected papers / |
Bernadette Bouchon-Meunier, Ronald R. Yager, Lofti A. Zadeh, (eds.). |
Springer, c1995. |
TP18-532/X8/1994 |
| 933 |
Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / |
Leszek Pacholski, Jerzy Tiuryn, eds. |
Springer-Verlag, c1995. |
TP311.1-532/X6/1994 |
| 931 |
Artificial neural networks : an introduction to ANN theory and practice / |
P.J. Braspenning, F. Thuijsman, A.J.M.M. Weijters (eds.). |
Springer, c1995. |
TP183/X19 |
| 930 |
From natural to artificial neural computation : International Workshop on Artificial Neural Networks, Malaga-Torremolinos, Spain, June 7-9, 1995 : proceedings / |
José Mira, Francisco Sandoval, (eds.). |
Springer-Verlag, c1995. |
TP18-532/X113/1995 |
| 929 |
Advances in artificial life : Third European Conference on Artificial Life, Granada, Spain, June 4-6, 1995 : proceedings / |
F. Morán ... [et al.], eds. |
Springer, 1995. |
Q-31/X1/1995 |
| 919 |
High-performance computing and networking : international conference and exhibition, Milan, Italy, May 3-5, 1995 : proceedings / |
Bob Hertzberger, Giuseppe Serazzi, (eds.). |
Springer, c1995. |
TP301.6-532/X18/1995 |
| 911 |
LATIN '95 : theoretical informatics : second Latin American symposium, Valparaíso, Chile, April 3-7, 1995 : proceedings / |
Ricardo Baeza-Yates, Eric Goles, Patricio V. Poblete, eds. |
Springer, c1995. |
TP3-532/X25/1995 |
| 901 |
Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings / |
Ramayya Kumar, Thomas Kropf, (eds.). |
Springer-Verlag, c1995. |
TN431.22-532/X1 |
| 900 |
STACS 95 : 12th Annual Symposium on Theoretical Aspects of Computer Science, Munich, Germany, March 2-4, 1995 : proceedings / |
Ernst W. Mayr, Claude Puech, (eds.). |
Springer, c1995. |
TP301-532/X9/1995 |
| 897 |
Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings / |
Michael Fisher, Richard Owens, (eds.). |
Springer, c1995. |
TP311.11-532/X17/1993 |
| 883 |
Logic program synthesis and transformation-- Meta-programming in Logic : 4th international workshops, LOPSTR '94 and META '94, Pisa, Italy, June 20-20, 1994 : proceedings / |
Laurent Fribourg, Franco Turini, (eds.). |
Springer-Verlag, c1994. |
TP311.11-53/X18/1994 |
| 877 |
Algorithmic number theory : first international symposium, ANTS-I, Ithaca, NY, USA, May 6-9, 1994 : proceedings / |
Leonard M. Adleman, Ming-Deh Huang, (eds.). |
Springer-Verlag, c1994. |
O156-532/X15/1994 |
| 873 |
FME '94, industrial benefit of formal methods : Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-28, 1994 : proceedings / |
Maurice Naftalin, Tim Denvir, Miquel Bertran, eds. |
Springer-Verlag, c1994. |
TP311.52-53/X6/1994 |
| 859 |
Higher order logic theorem proving and its applications : 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings / |
Thomas F. Melham, Juanito Camilleri (eds.). |
Springer-Verlag, c1994. |
TP301-532/X18/1994 |
| 850 |
Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / |
Giorgio Levi, Mario Rodríguez Artalejo, (eds.). |
Springer-Verlag, c1994. |
TP311.11-53/X21/1994 |
| 849 |
Field-programmable logic : architectures, synthesis, and applications : 4th International Workshop on Field-Programmable Logic and Applicaitons, FPL '94, Prague, Czech Republic, September 7-9, 1994 : proceedings / |
Reiner W. Hartenstein, Michal Z. Servít (eds.). |
Springer-Verlag, c1994. |
TP331-532/X2/1994 |
| 848 |
Numerical integration on advanced computer systems / |
Arnold R. Krommer, Christoph W. Ueberhuber. |
Springer-Verlag, c1994. |
O241.4/X3 |
| 845 |
Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994 : proceedings / |
Jean-Pierre Jouannaud, (ed.). |
Springr-Verlag, c1994. |
O141-532/X4/1994 |
| 843 |
Turing machines with sublogarithmic space / |
Andrzej Szepietowski. |
Springer-Verlag, c1994. |
O141.3/X31 |
| 842 |
Treewidth : computations and approximations / |
Ton Kloks. |
Springer-Verlag, c1994. |
O157.5-37/X3 |
| 841 |
Mathematical foundations of computer science 1994 : 19th International Symposium, MFCS'94, Ko？ice, Slovakia, August 22-26, 1994 : proceedings / |
Igor Prívara, Branislav Rovan, Peter Ru？i？ka (ed |
Springer-Verlag, c1 |
TP301-532/X1/1994 |
| 840 |
The traveling salesman : computational solutions for TSP applications / |
Gerhard Reinelt. |
Springer-Verlag, c1994. |
O221.1/X25 |
| 834 |
Algorithms and computation : 5th international symposium, ISAAC '94, Beijing, P. R. China, August 25-27, 1994 : proceedings / |
Ding-Zhu Du, Siang-Sun Zhang (eds.). |
Springer-Verlag, c1994. |
TP301.6-532/X19/1994 |
| 832 |
Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers / |
Egon B？rger, Yuri Gurevich, Karl Meinke, (eds.) |
Springer-Verlag, c1994 |
TP311.1-532/X6/1993 |
| 831 |
Orders, algorithms, and applications : International Workshop ORDAL '94, Lyon, France, July 4-8, 1994 : proceedings / |
Vincent Bouchitté, Michel Morvan, eds. |
Springer-Verlag, c1994. |
O141-532/X20/1994 |
| 828 |
Isabelle : a generic theorem prover / |
Lawrence C. Paulson ; with contributions by Tobias Nipkow. |
Springer-Verlag, c1994. |
TP301/X7 |
| 824 |
Algorithm theory--SWAT '94 : 4th Scandinavian Workshop on Algorithm Theory, Aarhus, Denmark, July 6-8, 1994 : proceedings / |
Erik M. Schmidt, Sven Skyum (eds.) |
Springer-Verlag, c1994 |
TP301.6-532/X36/1994 |
| 816 |
Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam The Netherlands, September 23-24, 1993 : selected papers / |
Jan Heering ... [et al.], eds. |
Springer-Verlag, c1994. |
TP312/X40/1993 |
| 813 |
Logical foundations of computer science : third international symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / |
A. Nerode, Yu.V. Matiyasevich, eds. |
Springer-Verlag, c1994. |
TP301-532/X20/1994 |
| 812 |
Results and trends in theoretical computer science : colloquium in honor of Arto Salomaa, Graz, Austria, June 10-11, 1994 : proceedings / |
J. Karhum？ki, H. Maurer, G. Rozenberg (eds.) |
Springer-Verlag, c1994 |
TP301.6-532/X16/1994 |
| 807 |
Combinatorial pattern matching : 5th annual symposium, CPM 94, Asilomar, CA, USA, June 5-8, 1994 : proceedings / |
Maxime Crochemore, Dan Gusfield, (eds.). |
Springer-Verlag, c1994. |
TP301.6-532/X24/1994 |
| 802 |
Mathematical foundations of programming semantics : 9th international conference, New Orleans, LA, USA, April 7-10, 1993 : proceedings / |
S. Brookes ... [et al.], eds. |
Springer-Verlag, c1994. |
TP301.2-532/X4/1993 |
| 793 |
Information theory and applications : third Canadian workshop, Rockland, Ontario, Canada, May 30-June 2, 1993 : proceedings / |
T. Aaron Gulliver, Norman P. Secord, (eds.). |
Springer-Verlag, c1994. |
O236-532/X3/1993 |
| 792 |
Logic, language, and computation : festschrift in honor of Satoru Takasu / |
Neil D. Jones, Masami Hagiya, Masahiko Sato (eds.). |
Springer-Verlag, c1994. |
TP311.1/X90 |
| 789 |
Theoretical aspects of computer software : International Symposium, TACS '94, Sendai, Japan, April 19-22, 1994 : proceedings / |
Masami Hagiya, John C. Mitchell, (eds.). |
Springer-Verlag, c1994. |
TP311-532/X19/1994 |
| 787 |
Trees in algebra and programming, CAAP'94 : 19th international colloquium, Edinburgh, U.K., April 11-13, 1994 : proceedings / |
Sophie Tison, (ed.). |
Springer-Verlag, c1994. |
TP311.1-532/X5/1994 |
| 780 |
Higher order logic theorem proving and its applications : 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings / |
Jeffrey J. Joyce, Carl-Johan H. Seger, eds. |
Springer-Verlag, c1994. |
TP301-532/X18/1993 |
| 778 |
Algorithms and complexity : second Italian conference, CIAC '94, Rome, Italy, February 23-25, 1994 : proceedings / |
M. Bonuccelli, P. Crescenzi, R. Petreschi, (eds.). |
Springer-Verlag, c1994. |
TP301.6-532/X2/1994 |
| 776 |
Graph transformations in computer science : international workshop, Dagstuhl Castle, Germany, January 4-8, 1993 : proceedings / |
Hans Jürgen Schneider, Hartmut Ehrig, (eds.). |
Springer-Verlag, c1994. |
TP391.41-532/X23 |
| 775 |
STACS 94 : 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 1994 : proceedings / |
P. Enjalbert, E.W. Mayr, K.W. Wagner, eds. |
Springer-Verlag, c1994. |
TP301-532/X9/1994 |
| 769 |
The Newton-Cauchy framework : a unified approach to unconstrained nonlinear minimization / |
J. L. Nazareth. |
Springer-Verlag, c1994. |
O221.2/X12 |
| 767 |
An extended entity-relationship model : fundamentals and pragmatics / |
Martin Gogolla. |
Springer-Verlag, c1994. |
TP311.1323/X24 |
| 762 |
Algorithms and computation : 4th international symposium, ISAAC '93, Hong Kong, December 15-17, 1993 : proceedings / |
K.W. Ng ... [et al.] (eds.). |
Springer-Verlag, 1993. |
TP301.6-532/X19/1993 |
| 758 |
Towards dynamic randomized algorithms in computational geometry / |
Monique Teillaud. |
Springer-Verlag, c1993. |
O18-37/X6 |
| 747 |
Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings / |
Michael Clarke, Rudolf Kruse, Serafín Moral (eds.). |
Springer-Verlag, c1993. |
TP18-532/X62/1993 |
| 737 |
Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings / |
Jacques Calmet, John A. Campbell (eds). |
Springer-Verlag, c1993. |
TP18-532/X192/1992 |
| 722 |
Design and implementation of symbolic computation systems : International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993 : proceedings / |
Alfonso Miola, ed. |
Springer-Verlag, c1993. |
TP302.1-532/X11 |
| 713 |
Computational logic and proof theory : Third Kurt G？del Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings / |
Georg Gottlob, Alexander Leitsch, Daniele Mundici, (eds. |
Springer-Verlag, c199 |
O141.2-532/X1/1993 |
| 709 |
Algorithms and data structures : third workshop, WADS '93, Montréal, Canada, August 11-13, 1993 : proceedings / |
Frank Dehne ... [et al.], (eds.). |
Springer-Verlag, c1993. |
TP311.1-532/X2/1993 |
| 702 |
Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers / |
E. B？rger ... [et al.], (eds.) |
Springer-Verlag, c1993 |
TP311.1-532/X6/1992 |
| 684 |
Combinatorial pattern matching : 4th annual symposium, CPM 93, Padova, Italy, June 1993 : proceedings / |
A. Apostolico ... [et al.]. |
Springer-Verlag, c1993. |
TP301.6-532/X24/1993 |
| 673 |
Applied algebra, algebraic algorithms, and error-correcting codes : 10th international symposium, AAECC-10, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993 : proceedings / |
Gérard Cohen, Teo Mora, Oscar Moreno (eds.). |
Springer-Verlag, c1993. |
O15-532/X3/1993 |
| 666 |
Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings / |
J.W. de Baker, W.P. de Roever, G. Rozenberg (eds.). |
Springer-Verlag, c1993. |
TP301.2/X7 |
| 664 |
Typed lambda calculi and applications : International Conference on Typed Lam[b]da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings / |
M. Bezem, J.F. Groote (eds.). |
Springer-Verlag, c1993. |
O141.3-532/X3/1993 |
| 653 |
Future tendencies in computer science, control, and applied mathematics : International Conference on the Occasion of the 25th Anniversary of INRIA : Paris, France, December 8-11, 1992 : proceedings / |
A. Bensoussan, J.-P. Verjus (eds.). |
Springer-Verlag, c1992. |
TP3-532/X37 |
| 650 |
Algorithms and computation : third international symposium, ISAAC '92, Nagoya, Japan, December 16-18, 1992 : proceedings / |
T. Ibaraki ... [et al.] (eds.). |
Springer-Verlag, c1992. |
TP301.6-532/X19/1992 |
| 644 |
Combinatorial pattern matching : third annual symposium, Tucson, Arizona, USA, April 29-May 1, 1992 : proceedings / |
A. Apostolico ... [et al.] |
Springer-Verlag, c1992. |
TP301.6-532/X24/1992 |
| 639 |
Theories and methods of spatio-temporal reasoning in geographic space / |
International Conference GIS--From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning, Pisa, Italy, September 1992, proceedings ; A.U. Frank, I. Campari, U. Formentini (eds.). |
Springer-Verlag, c1992. |
P208-532/X4 |
| 629 |
Mathematical foundations of computer science 1992 : 17th international symposium, Prague, Czechoslovakia, August 24-28, 1992 : proceedings / |
I.M. Havel, V. Koubek (eds.). |
Springer-Verlag, 1992. |
TP301-532/X1/1992 |
| 626 |
Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991 : proceedings / |
E. B？rger ... [et al.] (eds.) |
Springer-Verlag, c1992 |
TP311.1-532/X6/1991 |
| 621 |
Algorithm theory--SWAT '92 : Third Scandinavian Workshop on Algorithm Theory, Helsinki, Finland, July 8-10, 1992 : proceedings / |
O. Nurmi, E. Ukkonen (eds.). |
Springer-Verlag, c1992. |
TP301.6-532/X36/1992 |
| 620 |
Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings / |
A. Nerode, M. Taitslin (eds.). |
Springer-Verlag, c1992. |
TP301-532/X20/1992 |
| 613 |
Constructivity in computer science : summer symposium, San Antonio, TX, June 19-22, 1991, proceedings / |
J.P. Myers, Jr., M.J. O'Donnell, eds. |
Springer-Verlag, c1992. |
TP301.6-532/X48 |
| 608 |
Intelligent tutoring systems : Second International Conference, ITS '92, Montréal, Canada, June 10-12, 1992, proceedings / |
C. Frasson, G. Gauthier, G.I. McCalla (eds.). |
Springer-Verlag, c1992. |
TP18-532/X50/1992 |
| 606 |
Axioms and hulls / |
D.E. Knuth. |
Springer-Verlag, c1992. |
O174.13/X14 |
| 601 |
Theory of computing and systems : ISTCS '92, Israel symposium, Haifa, Israel, May 27-28, 1992 : proceedings / |
D. Dolev, Z. Galil, M. Rodeh, eds. |
Springer-Verlag, c1992. |
TP301.6/X15/1992 |
|
|
|
|
|