| 卷 |
题名
|
责任者
|
出版信息
|
索书号
|
| 1690 |
Theorem proving in higher order logics : 12th international conference, TPHOLs '99, Nice, France, September 14-17, 1999 : proceedings / |
Yves Bertot ... [et al.] (eds.). |
Springer, c1999. |
O141.4-532/X3/1999 |
| 1684 |
Fundamentals of computation theory : 12th International Symposium, FCT'99, Ia？i, Romania, August 30-September 3, 1999 : porceedings / |
Gabriel Ciobanu, Gheorghe P？un (eds |
Springer, c19 |
TP274-532/X12/1999 |
| 1683 |
Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / |
J？rg Flum, Mario Rodrguez-Artalejo (eds.) |
Springer, 1999 |
TP311.1-532/X6/1999 |
| 1680 |
Theoretical and practical aspects of SPIN model checking : 5th and 6th International SPIN Workshops, Trento, Italy, July 5, 1999, Toulouse, France, September 21 and 24, 1999 : proceedings / |
Dennis Dams ... [et al.], (Eds.) |
Springer-Verlag, c1999. |
TP311.1-532/X21/1999 |
| 1673 |
Field programmable logic and applications : 9th international workshop, FPL '99, Glasgow, UK, August 30-September 1, 1999 : proceedings / |
Patrick Lysaght, James Irvine, Reiner Hartenstein (eds.). |
Springer, c1999. |
TP331-532/X2/1999 |
| 1672 |
Mathematical foundations of computer science 1999 : 24th international symposium, MFCS'99, Szklarska Por？ba, Poland, September 6-10, 1999 : proceedings / |
Miros？aw Kuty？owski, Leszek Pacholski, Tomasz Wierzbicki (ed |
Springer, c1 |
TP301-532/X1/1999 |
| 1668 |
Algorithm engineering : 3rd International Workshop, WAE'99 London, UK, July 19-21, 1999 : proceedings / |
Jeffrey S. Vitter, Christos D. Zaroliagis, (eds.). |
Springer, 1999. |
TP301.6-532/X26/1999 |
| 1667 |
Dependable computing : EDDC-3 [i.e EDCC-3] : Third European Dependable Computing Conference, Prague, Czech Republic, September 15-17, 1999 : proceedings / |
Jan Hlavi？ka, Erik Maehle, András Pataricza (eds.) |
Springer, 1999 |
TP302.8-532/X5/1999 |
| 1665 |
Graph-theoretic concepts in computer science : 25th international workshop, WG'99, Ascona, Switzerland, June 17-19, 1999 : proceedings / |
Peter Widmayer, Gabriele Neyer, Stephan Eidenbenz (eds.). |
Springer, c1999. |
O157.5/X3/1999 |
| 1661 |
Spatial information theory : cognitive computational foundations of geographic information science : international conference COSIT '99, Stade, Germany, August 25-29, 1999 : proceedings / |
Christian Freksa, David M. Mark, (eds.). |
Springer, c1999. |
K9-37/X3/1999 |
| 1661 |
Spatial information theory : cognitive computational foundations of geographic information science : international conference COSIT '99, Stade, Germany, August 25-29, 1999 : proceedings / |
Christian Freksa, David M. Mark, (eds.). |
Springer, c1999. |
K9-37/X3/1999 |
| 1660 |
Automata implementation : third International Workshop on Implementing Automata, WIA'98, Rouen, France, September 17-19, 1998 : revised papers / |
Jean-Marc Champarnaud, Denis Maurel, Djelloul Ziadi (eds.). |
Springer, c1999. |
TP301.6-532/X31/1998 |
| 1643 |
Algorithms - ESA '99 : 7th annual European symposium, Prague, Czech Republic, July 16-18, 1999 : proceedings / |
Jaroslav Ne？et？il (ed. |
Springer, c199 |
TP301.6-532/X28/1999 |
| 1635 |
Artificial animals for computer animation : biomechanics, locomotion, perception, and behavior / |
Xiaoyuan Tu. |
Springer, 1999. |
TP391.41/X35 |
| 1627 |
Computing and combinatorics : 5th annual international conference, COCOON'99, Tokyo, Japan, July 26-28, 1999 : proceedings / |
Takao Asano ... [et al.], (eds.). |
Springer, c1999. |
TP301.6-532/X29/1999 |
| 1625 |
Computational intelligence : theory and applications : international conference, 6th Fuzzy Days, Dortmund, Germany, May 25-28, 1999 : proceedings / |
Bernd Reusch (ed.). |
Springer, c1999. |
TP18-532/X103/1999 |
| 1620 |
Artificial intelligence in medicine : proceedings / |
Joint European Conference on Artificial Intelligence in Medicine and Medical Decision Making, AIMDM'99, Aalborg, Denmark, June 1999 ; Werner Horn ... [et al.] (eds). |
Springer, c1999. |
R-39/X1/1999 |
| 1614 |
Visual information and information systems : third international conference, VISUAL '99, Amsterdam, the Netherlands, June 2-4, 1999 : proceedings / |
Dionysius P. Huijsmans, Arnold W.M. Smeulders (eds.). |
Springer, c1999. |
TP391.4-532/X40/1999 |
| 1610 |
Integer programming and combinatorial optimization : 7th International IPCO Conference, Graz, Austria, June 9-11, 1999 : proceedings / |
Gérard Cornuéjols, Rainer E. Burkard, Gerhard J. Woeginger (eds.). |
Springer, c1999. |
O225-532/X3/1999 |
| 1601 |
Formal methods for real-time and probabilistic systems : 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999 : proceedings / |
Joost-Pieter Katoen (ed.) |
Springer, c1999 |
TP311-532/X48/1999 |
| 1589 |
Recent trends in algebraic development techniques : 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers / |
José Luiz Fiadeiro (ed.). |
Springer, c1999. |
TP311.52-53/X11/1998 |
| 1585 |
Simulated evolution and learning : Second Asia-Pacific Conference on Simulated Evolution and Learning, SEAL '98, Canberra, Australia, November 24-27, 1998 : selected papers / |
Bob McKay ... [et al.] (eds.). |
Springer, c1999. |
TP15-532/X5 |
| 1584 |
Computer science logic : 12th international workshop, CSL '98 : annual conference of the EACSL, Brno, Czech Republic, August, 1998 : proceedings / |
Georg Gottlob, Etienne Grandjean, Katrin Seyr (eds.) |
Springer, 1999. |
TP311.1-532/X6/1998 |
| 1581 |
Typed lambda calculi and applications : 4th international conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999 : proceedings / |
Jean-Yves Girard (ed.). |
Springer, c1999. |
O141.3-532/X3/1999 |
| 1568 |
Discrete geometry for computer imagery : 8th international conference, DGCI'99, Marne-la-Vallée, France, March 17-19, 1999 : proceedings / |
Gilles Bertrand, Michel Couprie, Laurent Perroton, (eds.). |
Springer, c1999. |
TP391.72-532/X3/1999 |
| 1558 |
Computers and games : First International Conference, CG'98, Tsukuba, Japan, November 11-12, 1998 : proceedings / |
H. Jaap van den Herik, Hiroyuki Iida (eds.). |
Springer, 1999. |
TP368.3-532/X2 |
| 1553 |
Active, real-time, and temporal database systems : second international workshop, ARTDB '97, Como, Italy, September 8-9, 1997 : proceedings / |
Sten F. Andler, J？rgen Hansson (eds.) |
Springer, c1998 |
TP311.132-532/X2 |
| 1550 |
Security protocols : 6th international workshop, Cambridge, UK, April 15-17, 1998 : proceedings / |
Bruce Christianson ... [et al.] (eds.). |
Springer, 1999. |
TP309-532/X29/1998 |
| 1533 |
Algorithms and computation : 9th international symposium, ISAAC'98, Taejon, Korea, December 14-16, 1998 : proceedings / |
Kyung-Yong Chwa, Oscar H. Ibarra (eds.). |
Springer-Verlag, 1998. |
TP301.6-532/X19/1998 |
| 1532 |
Discovery science : first international conference, DS'98, Fukuoka, Japan, December 14-16, 1998, proceedings / |
Setsuo Arikawa, Hiroshi Motoda (eds.). |
Springer, c1998. |
N02-532/X2/1998 |
| 1530 |
Foundations of software technology and theoretical computer science : 18th conference, Chennai, India, December 17-19, 1998 : proceedings / |
V. Arvind, R. Ramanujam (eds.). |
Springer, c1998. |
TP31-532/X12/1998 |
| 1518 |
Randomization and approximation techniques in computer science : second international workshop, RANDOM '98, Barcelona, Spain, October 8-10, 1998 : proceedings / |
Michael Luby, José Rolim, Maria Serna (eds.). |
Springer, c1998. |
TP301.6-532/X38/1998 |
| 1509 |
Quantum computing and quantum communications : first NASA international conference, QCQS '98, Palm Springs, California, USA, February 17-20, 1998 : selected papers / |
Colin P. Williams (ed.). |
Springer, c1999. |
TP387-532/X1 |
| 1491 |
Lectures on Petri nets : advances in Petri nets / |
Wolfgang Reisig, Grzegorz Rozenberg (eds.). |
Springer, c1998. |
TP301.6-532/X53 |
| 1490 |
Principles of declarative programming : 10th International Symposium, PLILP'98 : held jointly with the 6th [i.e. 7th] International Conference, ALP'98, Pisa, Italy, September 16-18, 1998 : proceedings / |
Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.). |
Springer, c1998. |
TP311.11/X45/1998 |
| 1482 |
Field-programmable logic and applications : from FPGAs to computing paradigm : 8th international workshop, FPL'98 : Tallinn, Estonia, August 31-September 3, 1998 : proceedings / |
Reiner W. Hartenstein, Andres Keevallik, (eds.). |
Springer, c1998. |
TP331-532/X2/1998 |
| 1477 |
Mobile agents : second international workshop, MA '98, Stuttgart, Germany, September 9-11, 1998 : proceedings / |
Kurt Rothermel, Fritz Hohl (eds.). |
Springer, c1998. |
TP31-532/X20 |
| 1467 |
Implementation of functional languages : 9th international workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997 : selected papers / |
Chris Clack, Kevin Hammond, Tony Davie (eds.). |
Springer, c1998. |
TP312-532/X14/1997 |
| 1464 |
Multimedia information analysis and retrieval : IAPR International Workshop MINAR'98, Hong Kong, China, August 1998 13-14, proceedings / |
Horace H.S. Ip, Arnold W.M. Smeulders, (eds.). |
Springer Verlag, c1998. |
TP37/X17/1998 |
| 1463 |
Logic program synthesis and transformation : 7th international workshop, LOPSTR'97, Leuven, Belgium, July 10-12, 1997 : proceedings / |
Norbert E. Fuchs (ed.) |
Springer, c1998. |
TP311.11-53/X18/1997 |
| 1460 |
Database and expert systems applications : 9th international conference, DEXA'98, Vienna, Austria, August 24-28, 1998 : proceedings / |
Gerald Quirchmayr, Erich Schweighofer, Trevor J.M. Bench-Capon, (eds.). |
Springer, c1998. |
TP311.13-53/X11/1998 |
| 1452 |
Intelligent tutoring systems : 4th International Conference, ITS '98, San Antonio, Texas, USA, August 16-19, 1998 : proceedings / |
Barry P. Goettl ... [et al.], (eds.). |
Springer, c1998. |
TP18-532/X50/1998 |
| 1450 |
Mathematical foundations of computer science 1998 : 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998 : proceedings / |
Lubo？ Brim, Jozef Gruska, Ji？í Zlatu？ka (ed |
Springer, c19 |
TP301-532/X1/1998 |
| 1449 |
Combinatorial pattern matching : 9th annual symposium, CPM 98, Piscataway, New Jersey, USA, July 20-22, 1998 : proceedings / |
Martin Farach-Colton (ed.). |
Springer-Verlag, c1998. |
TP301.6-532/X24/1998 |
| 1444 |
Approximation algorithms for combinatorial optimization : international workshop, APPROX '98, Aalborg, Denmark, July 18-19, 1998 : proceedings / |
Klaus Jansen, José Rolim (eds.). |
Springer, c1998. |
TP301.6-532/X30/1998 |
| 1442 |
Online algorithms : the state of the art / |
Amos Fiat, Gerhard J. Woeginger (eds.). |
Springer, c1998. |
TP311.1-532/X48 |
| 1422 |
Mathematics of program construction : 4th international conference, MPC '98, Marstrand, Sweden, June 15-17, 1998 : proceedings / |
Johan Jeuring, (ed.). |
Springer Verlag, c1998. |
TP311-532/X12/1998 |
| 1419 |
Mobile agents and security / |
Giovanni Vigna, (ed.). |
Springer, c1998. |
TP309.2/X9 |
| 1414 |
Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / |
Mogens Nielsen, Wolfgang Thomas (eds.). |
Springer, 1998. |
TP311.1-532/X6/1997 |
| 1412 |
Integer programming and combinatorial optimization : 6th International IPCO Conference, Houston, Texas, June 22-24, 1998 : proceedings / |
Robert E. Bixby, E. Andrew Boyd, Roger Z. Ríos-Mercado (eds.). |
Springer, c1998. |
O225-532/X3/1998 |
| 1406 |
Computer vision--ECCV '98 : 5th European Conference on Computer Vision, Freiburg, Germany, June 1998 : proceedings / |
Hans Burkhardt, Bernd Neumann, eds. |
Springer, c1998. |
TP391.4/X1/1998/V.1 |
|
|
|
|
|