| 卷 |
题名 |
责任者 |
出版信息 |
索书号 |
| 2277 |
Types for proofs and programs : International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000 : selected papers / |
Paul Callaghan ... [et al.](eds.). |
Springer-Verlag, 2002. |
O141-532/X5/2000 |
| 2267 |
Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001 joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001 ; selected papers / |
Maura Cerioli, Gianna Reggio (eds.). |
Springer, 2001. |
TP311.52-53/X11/2001 |
| 2235 |
Multiset processing : mathematical, computer science, and molecular computing points of view / |
Cristian S. Calude ... [et al.] (eds.) |
Springer, c2001. |
TP274-532/X53 |
| 2227 |
Applied algebra, algebraic algorithms and error-correcting codes : 14th international symposium, AAECC-14, Melbourne, Australia, November 26-30, 2001 : proceedings / |
Serdar Bozta鱯, Igor E. Shparlinski (eds.). |
Springer, 2001. |
O15-532/X3/2001 |
| 2122 |
Computational discrete mathematics : advanced lectures / |
Helmut Alt (ed.) |
Springer, 2001. |
O1/X27 |
| 2102 |
Computer aided verification : 13th International conference, CAV 2001, Paris, France, July 18-22, 2001 : proceedings / |
G鈋rard Berry, Hubert Comon, Alain Finkel (eds.) |
Springer, 2001. |
TP335-532/X3/2001 |
| 2076 |
Automata, languages and programming : 28th international colloquium, ICALP 2001, Crete, Greece, July 8-12, 2001 : proceedings / |
Fernando Orejas, Paul G. Spirakis, Jan van Leeuwen (eds.) |
Springer, c2001. |
TP311-532/X2/2001 |
| 2073 |
Computational science - ICCS 2001 : international conference, San Francisco, CA, USA, May 28-30, 2001 : proceedings / |
Vassil N. Alexandrov ... [et al.]. |
Springer, c2001. |
TP3-532/X24/2001/PT.1 |
| 2064 |
Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000 : selected papers / |
Jens Blanck, Vasco Brattka, Peter Hertling (eds.) |
Springer, c2001. |
O17-532/X3/2000 |
| 2055 |
Machines, computations, and universality : third international conference, MCU 2001, Chi竤inau, Moldova, May 23-27, 2001 : proceedings / |
Maurice Margenstern, Yurii Rogozhin (eds.) |
Springer, c2001. |
TP311.1-532/X23/2001 |
| 2042 |
Logic based program synthesis and transformation : 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers / |
Kung-Kiu Lau (ed.). |
Springer, 2001. |
TP311.11-53/X18/2000 |
| 1969 |
Algorithms and Computation : 11th international conference, ISAAC 2000, Taipei, Taiwan, December 18-20, 2000 ; proceedings |
D.T. Lee, Shang-Hua Teng (eds.). |
Springer , 2000. |
TP301.6-532/X19/2000 |
| 1893 |
Mathematical foundations of computer science 2000 : 25th international symposium, MFCS 2000, Bratislava, Sovakia, August 28 - September 1, 2000 : proceedings / |
Mogens Nielsen, Branislav Rovan (eds.). |
Springer, 2000. |
TP301-532/X1/2000 |
| 1873 |
Database and expert systems applications : 11th international conference, DEXA 2000, London, UK, September 4-8, 2000 : proceedings / |
Mohamed Ibrahim, Josef K鑥ng, Norman Revell (eds.). |
Springer, c2000. |
TP311.13-53/X11/2000 |
| 1862 |
Computer science logic : 14th International Workshop, CSL 2000, [9th] annual conference of the EACSL, Fischbachau, Germany, August 21-26, 2000 : proceedings / |
Peter G. Clote, Helmut Schwichtenberg (eds.). |
Springer, c2000. |
TP311.1-532/X6/2000 |
| 1852 |
The computational complexity of equivalence and isomorphism problems / |
Thomas Thierauf. |
Springer, 2000. |
O141.3-37/X1 |
| 1852 |
The computational complexity of equivalence and isomorphism problems / |
Thomas Thierauf. |
Springer, 2000. |
O141.3-37/X1 |
| 1770 |
STACS 2000 : 17th Annual Symposium on Theoretical Aspects of Computer Science, Lille, France, February 17-19, 2000 : proceedings / |
Horst Reichel, Sophie Tison (eds.). |
Springer, c2000. |
TP301-532/X9/2000 |
| 1767 |
Algorithms and complexity : 4th Italian conference, CIAC 2000, Rome, Italy, March 1-3, 2000 : proceedings / |
Giancarlo Bongiovanni, Giorgio Gambosi, Rossella Petreschi (eds.). |
Springer, c2000. |
TP301.6-532/X2/2000 |
| 1763 |
Discrete and computational geometry : Japanese conference, JCDCG'98, Tokyo, Japan, December 9-12, 1998 : revised papers / |
Jin Akiyama, Mikio Kano, Masatsugu Urabe (eds.). |
Springer, c2000. |
O157.3-532/X4/1998 |
| 1755 |
Perspectives of system informatics : Third International Andrei Ershov Memorial Conference, PSI '99, Akademgorodok, Novosibirsk, Russia, July 1999 : proceedings / |
Dines Bj？rner, Manfred Broy, Alexandre V. Zamulin (eds.) |
Springer, c2000 |
TP311-532/X34/1999 |
| 1754 |
Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 workshop : Aix-en-Provence, France, August 11-22, 1997 : revised lectures / |
Jouko V？？n？nen (ed |
Springer, c19 |
TP301.6-532/X52 |
| 1746 |
Cryptography and coding : 7th IMA conference, Cirencester, UK, December 20-22, 1999 : proceedings / |
Michael Walker (ed.). |
Springer, c1999. |
O157.4-532/X4 |
| 1745 |
High performance computing--HiPC'99 : 6th International Conference, Calcutta, India, December 17-20, 1999 : Proceedings / |
Prith Banerjee ... [et al.] (eds.). |
Springer, c1999. |
TP302.1-532/X8/1999 |
| 1741 |
Algorithms and computation : 10th International Symposium, ISAAC'99, Chennai, India, December 16-18, 1999 ; proceedings / |
Alok Aggarwal, C. Pandu Rangan (eds.). |
Springer, c1999. |
TP301.6-532/X19/1999 |
| 1738 |
Foundations of software technology and theoretical computer science : 19th conference, Chennai, India, December 13-15, 1999 : proceedings / |
C. Pandu Rangan, V. Raman, R. Ramanujam (eds.). |
Springer, c1999. |
TP31-532/X12/1999 |
| 1728 |
Conceptual modeling--ER'99 : 18th International Conference on Conceptual Modeling, Paris, France, November 15-18, 1999 : proceedings / |
Jacky Akoka ... [et al.], (eds.). |
Springer, c1999. |
TP311.13-53/X31/1999 |
| 1727 |
Advances in conceptual modeling : ER '99 Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling, Paris, France, November 15-18, 1999 : proceedings / |
Peter P. Chen ... [et al.] (eds.). |
Springer, c1999. |
TP311.13-53/X31(1)/1999 |
| 1726 |
Information and communication security : second International Conference, ICICS'99, Sydney, Australia, November 9-11, 1999 : proceedings / |
Vijay Varadharajan, Yi Mu, (eds.) |
Springer, c1999. |
TP309-532/X24 |
| 1723 |
UML '99 : the unified modeling language : beyond the standard : second Iinternational conference Fort Collins, CO, October 28-30, 1999 : proceedings / |
Robert France, Bernhard Rumpe (Eds.) |
Springer-Verlag, c1999. |
TP311.11/X126/1999 |
| 1722 |
Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings / |
Aart Middeldorp, Taisuke Sato (eds.). |
Springer, c1999. |
TP311.1-532/X20 |
| 1708 |
FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / |
Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.). |
Springer, c1999. |
TP311-532/X23/1999/V.1 |
|
|
|
|
|