| 卷 |
题名
|
责任者
|
出版信息
|
索书号
|
| 1386 |
Hybrid systems : computation and control : first international workshop, HSCC '98, Berkeley, California, USA, April 13-15, 1998 : proceedings / |
Thomas A. Henzinger, Shankar Sastry (eds). |
Springer, c1998. |
TP35-532/X1 |
| 1380 |
LATIN '98, theoretical informatics : Third Latin American symposium, Campinas, Brazil, April 20-24, 1998 : proceedings / |
Cláudio L. Lucchesi, Arnaldo V. Moura (eds.) |
Springer, c1998 |
TP3-532/X25/1998 |
| 1376 |
Recent trends in algebraic development techniques : 12th international workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997 : selected papers / |
Francesco Parisi Presicce, (ed.). |
Springer, c1998. |
TP311.52-53/X11/1997 |
| 1373 |
STACS 98 : 15th annual Symposium on Theoretical Aspects of Computer Science, Paris, France, February 25-27, 1998 : proceedings / |
Michel Morvan, Christoph Meinel, Daniel Krob (eds). |
Springer, c1998. |
TP301-532/X9/1998 |
| 1363 |
Artificial evolution : third European conference, AE '97, N？mes, France, October 22-24, 1997 : selected papers / |
J.-K. Hao ... [et al.] (eds. |
Springer, c199 |
TP311.1-532/X40/1997 |
| 1351 |
Computer vision, ACCV'98 : Third Asian Conference on Computer Vision, Hong Kong, China, January 8-10, 1998 : proceedings / |
Roland Chin, Ting-Chuen Pong (eds.). |
Springer Verlag, c1997. |
TP391.41-532/X22 |
| 1350 |
Algorithms and computation : 8th International Symposium, ISAAC '97, Singapore, December 17-19, 1997 : proceedings / |
Hon Wai Leong, Hiroshi Imai, Sanjay Jain (eds.). |
Springer, c1997. |
TP301.6-532/X19 |
| 1347 |
Discrete geometry for computer imagery : 7th international workshop, DGCI '97, Montpellier, France, December 3-5, 1997 : proceedings / |
Ehoud Ahronovitz, Christophe Fiorio, (eds.). |
Springer, c1997. |
TP391.72-532/X3/1997 |
| 1345 |
Advances in computing science-ASIAN '97 : Third Asian Computing Science Conference, Kathmandu, Nepal, December 1997 : proceedings / |
R.K. Shyamasundar, K. Ueda (eds.). |
Springer, c1997. |
TP3-532/X21 |
| 1343 |
Scientific computing in object-oriented parallel environments : first international conference, ISCOPE 97, Marina del Rey, California, December 8-11, 1997 : proceedings / |
Yutaka Ishikawa ... [et al.], (eds.). |
Springer, 1997. |
TP393-532/X11 |
| 1337 |
Foundations of computer science : potential--theory--cognition / |
Christian Freksa, Matthias Jantzen, Rüdiger Valk (eds.). |
Springer, c1997. |
TP3/X28 |
| 1336 |
High performance computing : international symposium, ISHPC '97, Fukuoka, Japan, November 4-6, 1997 : proceedings / |
Constantine Polychronopoulos ... [et al.], (eds.). |
Springer, c1997. |
TP302.1-532/X4/1997 |
| 1335 |
Graph-theoretic concepts in computer science : 23rd International Workshop, WG'97, Berlin, Germany, June 18-20, 1997 : proceedings / |
Rolf H. Mühring (ed.). |
Springer, c1997. |
O157.5/X3/1997 |
| 1329 |
Spatial information theory : a theoretical basis for GIS : international conference COSIT '97, Laurel Highlands, Pennsylvania, USA, October 15-18, 1997 : proceedings / |
Stephen C. Hirtle. Andrew U. Frank (eds.). |
Springer, c1997. |
K9-37/X3/1997 |
| 1305 |
Evolutionary computing : AISB International Workshop, Manchester, UK, April 7-8, 1997 : selected papers / |
David Corne, Jonathan L. Shapiro (eds.). |
Springer, c1997. |
TP311.5/X46/1997 |
| 1298 |
Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK, September 3-5, 1997 : proceedings / |
Michael Hanus, Jan Heering, Karl Meinke (eds.). |
Springer-Verlag, c1997. |
TP311.11-53/X21/1997 |
| 1295 |
Mathematical foundations of computer science 1997 : 22nd International Symposium, MFCS '97, Bratislava, Slovakia, August 25-29, 1997 : proceedings / |
Igor Prívara, Peter Ru？i？ka (eds. |
Springer, c199 |
TP301-532/X1/1997 |
| 1289 |
Computational logic and proof theory : 5th Kurt G？del Colloquium, KGC '97, Vienna, Austria, August 25-29, 1997 : proceedings / |
Georg Gottlob, Alexander Leitsch, Daniele Mundici (eds. |
Springer, c199 |
O141.2-532/X1/1997 |
| 1281 |
Theoretical aspects of computer software : third international symposium, TACS '97, Sendai, Japan, September 23-26, 1997 : proceedings / |
Martín Abadi, Takayasu Ito (eds.). |
Springer, c1997. |
TP311-532/X19 |
| 1280 |
Advances in intelligent data analysis : reasoning about data : second international symposium, IDA-97, London, UK, August 4-6, 1997 : proceedings / |
Xiaohui Liu, Paul Cohen, Michael Berthold (eds.). |
Springer, c1997. |
O212-39/X1/1997 |
| 1279 |
Fundamentals of computation theory : 11th international symposium, FCT '97, Kraków, Poland, September 1-3, 1997 : proceedings / |
Bogdan S. Chlebus, Ludwik Czaja, (eds.). |
Springer, c1997. |
TP274-532/X12/1997 |
| 1278 |
Bioinformatics : German Conference on Bioinformatics, GCB '96, Leipzig, Germany, September 30-October 2, 1996 : selected papers / |
Ralf Hofest？dt ... [et al.] (eds.) |
Springer, c1997 |
Q811.4-532/X4 |
| 1275 |
Theorem proving in higher order logics : 10th international conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings / |
Elsa L. Gunter, Amy Felty, (eds.). |
Springer, c1997. |
O141.4-532/X3/1997 |
| 1274 |
Worldwide computing and its applications : international conference, WWCA '97, Tsukuba, Japan, March 10-11, 1997 : proceedings / |
Takashi Masuda, Yoshifumi Masunaga, Michiharu Tsukamoto (eds.). |
Springer, c1997. |
TP274-532/X32 |
| 1269 |
Randomization and approximation techniques in computer science : International Workshop RANDOM'97, Bologna, Italy, July 11-12,1997 : proceedings / |
José Rolim (ed.) |
Springer, 1997. |
TP301.6-532/X38/1997 |
| 1261 |
Structures in logic and computer science : a selection of essays in honor of A. Ehrenfeucht / |
Jan Mycielski, Grzegorz Rozenberg, Arto Salomaa, (eds.). |
Springer, c1997. |
TP301.6/X96 |
| 1260 |
Automata implementation : First International Workshop on Implementing Automata, WIA '96, London, Ontario, Canada, August 29-31, 1996 : revised papers / |
Darrell Raymond, Derick Wood, Sheng Yu (eds.). |
Springer, c1997. |
TP301.6-532/X31/1996 |
| 1258 |
Computer science logic : 10th international workshop, CSL '96, annual conference of the EACSL, Utrecht, The Netherlands, September 21-27, 1996 : selected papers / |
Dirk van Dalen, Marc Bezem (eds.). |
Springer, c1997. |
TP311.1-532/X6/1996 |
| 1256 |
Automata, languages and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings / |
Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela (eds.). |
Springer, c1997. |
TP311-532/X2/1997 |
| 1248 |
Application and theory of Petri nets 1997 : 18th international conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedings / |
Pierre Azéma, Gianfranco Balbo (eds.) |
Springer, c1997. |
O157.5-532/X4/1997 |
| 1248 |
Application and theory of Petri nets 1997 : 18th international conference, ICATPN'97, Toulouse, France, June 23-27, 1997 : proceedings / |
Pierre Azéma, Gianfranco Balbo (eds.) |
Springer, c1997. |
O157.5-532/X4/1997 |
| 1234 |
Logical foundations of computer science : 4th international symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings / |
Sergei Adian, Anil Nerode (eds.). |
Springer, c1997. |
TP301-532/X20 |
| 1226 |
Computational intelligence : theory and applications : international conference, 5th Fuzzy Days, Dortmund, Germany, April 28-30, 1997 : proceedings / |
Bernd Reusch (ed.). |
Springer, c1997. |
TP18-532/X103/1997 |
| 1215 |
Vector and parallel processing-VECPAR '96 : Second International Conference on Vector and Parallel Processing-Systems and Applications, Porto, Portugal, September 25-27, 1996 : selected papers / |
José M.L.M. Palma, Jack Dongarra, (eds.). |
Springer, c1997. |
TP274-532/X51/1996 |
| 1210 |
Typed lambda calculi and applications : Third International Conference on Typed Lambda Calculi and Applications, TLCA '97, Nancy, France, April 2-4, 1997 : proceedings / |
Philippe de Groote, J. Roger Hindley (eds.). |
Springer, c1997. |
O141.3-532/X3/1997 |
| 1205 |
CVRMed-MRCAS '97 : First Joint Conference Computer Vision, Virtual Reality and Robotics in Medicine and Medical Robotics and Computer-Assisted Surgery, Grenoble, France, March 19-22, 1997 : proceedings / |
Jocelyne Troccaz, Eric Grimson, Ralph M？sges, eds |
Springer, c1997 |
R-39/X7 |
| 1203 |
Algorithms and complexity : third Italian conference, CIAC '97, Rome, Italy, March 12-14, 1997 : proceedings / |
Giancarlo Bongiovanni, Daniel Pierre Bovet, Giuseppe Di Battista (eds.). |
Springer, c1997. |
TP301.6-532/X2/1997 |
| 1200 |
STACS 97 : 14th Annual Symposium on Theoretical Aspects of Computer Science, Lübeck, Germany, February 27-March 1, 1997 : proceedings / |
Rüdiger Reischuk, Michel Morvan (eds.). |
Springer, c1997. |
TP301-532/X9/1997 |
| 1197 |
Graph-theoretic concepts in computer science : 22nd international workshop, WG '96, Cadenabbia, Italy, June 12-14, 1996, proceedings / |
Fabrizio d'Amore, Paolo G. Franciosa, Alberto Marchetti-Spaccamela (eds.). |
Springer, c1997. |
O157.5/X3/1996 |
| 1196 |
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 |
| 1192 |
Analysis and verification of multiple-agent languages : 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers / |
Mads Dam (ed.). |
Springer, c1997. |
TP312-532/X24 |
| 1178 |
Algorithms and computation : 7th international symposium, ISAAC '96, Osaka, Japan, December 16-18, 1996 : proceedings / |
Tetsuo Asano ... [et al.] (eds.). |
Springer-Verlag, c1996. |
TP301.6-532/X19/1996 |
| 1176 |
Discrete geometry for computer imagery : 6th international workshop, DGCI '96, Lyon, France, November 13-15, 1996 : proceedings / |
Serge Miguet, Annick Montanvert, Stéphane Ubéda, (eds.). |
Springer, c1996. |
TP391.72-532/X3/1996 |
| 1173 |
Efficient visual recognition using the Hausdorff distance / |
William Rucklidge. |
Springer, c1996. |
TP391.41/X34 |
| 1150 |
Dependable computing--EDCC-2 : second European Dependable Computing Conference, Taormina, Italy, October 2-4, 1996 : proceedings / |
Andrzej Hlawiczka, Jo？o Gabriel Silva, Luca Simoncini (eds.) |
Springer, c1996 |
TP302.8-532/X5/1996 |
| 1148 |
Applied computational geometry : towards geometric engineering : FCRC '96 Workshop, WACG '96, Philadelphia, PA, May 27-28, 1996 : selected papers / |
Ming C. Lin, Dinesh Manocha (eds.). |
Springer, c1996. |
O18-37/X8/1996 |
| 1143 |
Evolutionary computing : AISB Workshop, Brighton, U.K., April 1-2, 1996 : selected papers / |
Terence C. Fogarty, (ed.). |
Springer, c1996. |
TP311.5/X46 |
| 1138 |
Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings / |
Jacques Calmet, John A. Campbell, Jochen Pfalzgraf (eds.). |
Springer, c1996. |
TP18-532/X186/1996 |
| 1133 |
Information theory and applications II : 4th Canadian workshop, Lac Delage, Québec, Canada, May 28-30, 1995 : selected papers / |
Jean-Yves Chouinard, Paul Fortier, T. Aaron Gulliver (eds.). |
Springer, c1996. |
O236-532/X3/1995 |
| 1128 |
Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings / |
Jacques Calmet, Carla Limongelli, (eds.). |
Springer, c1996. |
TP302.1-532/X11/1996 |
| 1117 |
Parallel algorithms for irregularly structured problems : third international workshop, IRREGULAR '96, Santa Barbara, CA, USA, August 19-21, 1996 : proceedings / |
A. Ferreira ... [et al.] (eds.). |
Springer, c1996. |
TP311.11-53/X9/1996 |
| 1113 |
Mathematical foundations of computer science 1996 : 21st international symposium, MFCS '96, Cracow, Poland, September 2-6, 1996 : proceedings / |
Wojciech Penczek, Andrzej Sza？as, (eds.) |
Springer, c1996 |
TP301-532/X1/1996 |
| 1112 |
Artificial neural networks : ICANN 96 : 1996 international conference, Bochum, Germany, July 16-19, 1996 : proceedings / |
C. von der Malsburg ... [et al.], (eds.). |
Springer, c1996. |
TP18-532/X55/1996 |
| 1100 |
Digital signature schemes : general framework and fail-stop signatures / |
Birgit Pfitzmann. |
Springer, c1996. |
TP309/X56 |
| 1097 |
Algorithm theory--SWAT '96 : 5th Scandinavian Workshop on Algorithm Theory, Reykjavík, Iceland, July 3-5, 1996 : proceedings / |
Rolf Karlsson, Andrzej Lingas (eds.). |
Springer-Verlag, c1996. |
TP301.6-532/X36/1996 |
| 1092 |
Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / |
Hans Kleine Buning, (ed.). |
Springer, c1996. |
TP311.1-532/X6/1995 |
| 1090 |
Computing and combinatorics : second annual international conference, COCOON '96, Hong Kong, June 17-19, 1996 : proceedings / |
Jin-Yi Cai, Chak Kuen Wong, (eds.). |
Springer, c1996. |
TP301.6-532/X29/1996 |
| 1086 |
Intelligent tutoring systems : Third International Conference, ITS '96 Montréal, Canada, June 12-14 1996, proceedings / |
Claude Frasson, Gilles Gauthier, Alan Lesgold, eds. |
Springer, c1996. |
TP18-532/X50/1996 |
| 1075 |
Combinatorial pattern matching : 7th Annual Symposium, CPM 96, Laguna Beach, California, June 10-12, 1996 : proceedings / |
Dan Hirschberg, Gene Myers (eds.). |
Springer-Verlag, c1996. |
TP301.6-532/X24/1996 |
| 1074 |
Higher-order algebra, logic, and term rewriting : second international workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers / |
Gilles Dowek ... [et al.] (eds.). |
Springer, c1996. |
TP312/X40/1995 |
| 1072 |
Graphics recognition : methods and applications : first international workshop, University Park, PA, USA, August 10-11, 1995 : selected papers / |
Rangachar Kasturi, Karl Tombre, (eds.). |
Springer, c1996. |
TP391.41-532/X11/1995 |
| 1066 |
Hybrid systems III : verification and control / |
Rajeev Alur, Thomas A. Henziner, Eduardo D. Sontag (eds.) |
Springer, c1996. |
TP35-532/X2 |
| 1059 |
Trees in algebra and programming--CAAP '96 : 21st international colloquium, Link？ping, Sweden, April 22-24, 1996 : proceedings / |
Hélène Kirchner (ed. |
Springer, c199 |
TP311.1-532/X5/1996 |
| 1048 |
Logic program synthesis and transformation : 5th International Workshop, LOPSTR'95, Utrecht, The Netherlands, September 20-22, 1995 : proceedings / |
Maurizio Proietti, (ed.). |
Springer, c1996. |
TP311.11-53/X18/1995 |
| 1046 |
STACS 96 : 13th Annual Symposium on Theoretical Aspects of Computer Science, Grenoble, France, February 22-24, 1996 : proceedings / |
Claude Puech, Rüdiger Reischuk, eds. |
Springer, c1996. |
TP301-532/X9/1996 |
| 1043 |
Logics for concurrency : structure versus automata / |
Faron Moller, Graham Birtwistle, eds. |
Springer, c1996. |
TP274/X85 |
| 1037 |
Graph grammars and their application to computer science : 5th international workshop, Williamsburg, VA, USA, November 13-18, 1994 : selected papers / |
J. Cuny ... [et al.] (eds.). |
Springer, c1996. |
O157.5/X65 |
| 1032 |
Partial-order methods for the verification of concurrent systems : an approach to the state-explosion problem / |
Patrice Godefroid. |
Springer, c1996. |
TP274/X89 |
| 1024 |
Image analysis applications and computer graphics : Third International Computer Science Conference, ICSC '95, Hong Kong, December 11-13, 1995 : proceedings / |
Roland T. Chin ... [et al.], (eds.). |
Springer, c1995. |
TP391.41-532/X24 |
| 1019 |
Tools and algorithms for the construction and analysis of systems : first international workshop, TACAS '95, Aarhus, Denmark, May 19-20, 1995 : selected papers / |
E. Brinksma ... [et al.], (eds.) |
Springer, c1995 |
TP302.1-532/X7/1995 |
| 1017 |
Graph-theoretic concepts in computer science : 21st International Workshop, WG '95, Aachen, Germany, June 20-22, 1995 : proceedings / |
Manfred Nagl (ed.) |
Springer, c1995. |
O157.5/X3/1995 |
| 1016 |
Active visual inference of surface shape / |
Roberto Cipolla. |
Springer, c1996. |
TP242.6/X13 |
| 1004 |
Algorithms and computations : 6th international symposium, ISAAC '95, Cairns, Australia, December 1995 : proceedings / |
John Staples ... [et al.] (eds.). |
Springer-Verlag, c1995. |
TP301.6-532/X19/1995 |
| 1001 |
Efficient checking of polynomials and proofs and the hardness of approximation problems / |
Madhu Sudan. |
Springer, c1995. |
TP311-532/X49 |
|
|
|
|
|