| 卷 |
题名
|
责任者
|
出版信息
|
索书号
|
| 199 |
Fundamentals of computation theory : FCT '85, Cottbus, GDR, September 9-13, 1985 / |
edited by Lothar Budach. |
Springer-Verlag, c1985. |
TP274-532/X12/1985 |
| 199 |
Fundamentals of computation theory : FCT '85, Cottbus, GDR, September 9-13, 1985 / |
edited by Lothar Budach. |
Springer-Verlag, c1985. |
U398.207/W181/1985 |
| 193 |
Logics of programs : Brooklyn, June 17-19, 1985 : proceedings / |
edited by Rohit Parikh. |
Springer-Verlag, c1985. |
TP311.1-532/X49 |
| 190 |
Distributed systems : methods and tools for specification : an advanced course / |
M.W. Alford ... [et al.] ; edited by M. Paul and H.J. Siegert. |
Springer-Verlag, c1985. |
U398.2/W731 |
| 185 |
Mathematical foundations of software development / |
Colloquium on Trees in Algebra and Programming (CAAP '85) ; edited by Hartmut Ehrig ... [et al.] |
Springer-Verlag, c1985. |
P176.07/W90 |
| 182 |
STACS 85 : 2nd Annual Symposium on Theoretical Aspects of Computer Science, Saarbrücken, January 3-5, 1985 / |
edited by K. Mehlhorn. |
Springer-Verlag, c1985. |
TP301-532/X9/1985 |
| 172 |
Automata, languages, and programming : 11th colloquium, Antwerp, Belgium, July 16-20, 1984 / |
edited by Jan Paredaens. |
Springer-Verlag, 1984. |
P176/W139/1984 |
| 171 |
Logic and machines : decision problems and complexity : proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut f鑥r Mathematische Logik und Grundlagenforschung der Universit鑑t M鑥nster/Westfalen / |
edited by E. B鑟rger, G. Hasenjaeger and D. R鑟dding. |
Springer-Verlag, 1984. |
P112/W148 |
| 171 |
Logic and machines : decision problems and complexity : Proceedings of the Symposium "Rekursive Kombinatorik" held from May 23-28, 1983 at the Institut für Mathematische Logik und Frundlagenforschung der Universit？t Münster/Westfalen / |
edited by E. B？rger, G. Hasenjaeger, and D. R？dd |
Springer-Verlag, 1 |
O141.3-532/X5 |
| 170 |
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / |
edited by R.E. Shostak. |
Springer-Verlag, c1984. |
TP18-532/X25/1984 |
| 167 |
International Symposium on Programming : 6th colloquium, Toulouse, April 17-19, 1984 : proceedings / |
edited by M. Paul and B. Robinet. |
Springer-Verlag, 1984. |
P176.07/W42/1984 |
| 165 |
Large sparse numerical optimization / |
Thomas F. Coleman. |
Springer-Verlag, 1984. |
P164/W171 |
| 164 |
Logics of Programs Workshop : Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 / |
edited by Edmund Clarke and Dexter Kozen. |
Springer-Verlag, 1984. |
P176/W555 |
| 162 |
Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 : proceedings / |
edited by J.A. van Hulzen. |
Springer-Verlag, 1983. |
O15-532/X18 |
| 158 |
Foundations of computation theory : proceedings of the 1983 International FCT-Conference, Borgholm, Sweden, August 21-27, 1983 / |
edited by Marek Karpinski. |
Springer-Verlag, c1983. |
TP301.6-532/X51/1983 |
| 157 |
Direct methods for sparse matrices / |
Ole terby, Zahari Zlatev. |
Springer-Verlag, 1983. |
P137.1/W69 |
| 153 |
Graph-grammars and their application to computer science : 2nd international workshop, Haus Ohrbeck, Germany, October 4-8, 1982 / |
under the auspices of the European Association for Theoretical Computer Science ; edited by Hartmut Ehrig, Manfred Nagl and Grzegorz Rozenberg. |
Springer-Verlag, 1983. |
TP301.2-532/X8 |
| 151 |
Graph-theoretic concepts in computer science : 24th international workshop, WG '98, Smolenice Castle, Slovak Republic June 18-20, 1998 : proceedings / |
Juraj Hromkovi？, Ondrej Sykora, (eds.) |
Springer-Verlag, c1998 |
O157.5/X3/1998 |
| 145 |
Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983 / |
edited by A.B. Cremers and H.P. Kriegel. |
Springer-Verlag, c1982. |
TP301-532/X26/1983 |
| 144 |
Computer algebra : EUROCAM '82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982 / |
edited by Jacques Calmet. |
Springer-Verlag, 1982. |
U398.2/W624 |
| 138 |
6th Conference on Automated Deduction, New York, USA, June 7-9, 1982 / |
edited by D.W. Loveland. |
Springer-Verlag, 1982. |
O141-532/X17/1982 |
| 137 |
International Symposium on Programming : 5th colloquium, Turin, April 6-8, 1982 : proceedings / |
edited by M. Dezani-Ciancaglini and U. Montanari. |
Springer-Verlag, 1982. |
P176.07/W42/1982 |
| 136 |
Group-theoretic algorithms and graph isomorphism / |
Christoph M. Hoffmann. |
Springer-Verlag, 1982. |
O152-37/X2 |
| 125 |
Logic of programs : workshop, ETH Z鑥rich, May-July 1979 / |
edited by Erwin Engeler. |
Springer, 1981. |
P176/W509 |
| 125 |
Logic of programs : workshop, ETH Zürich, May-July 1979 / |
edited by Erwin Engeler. |
Springer, 1981. |
TP311-532/X50 |
| 122 |
Algorithms in modern mathematics and computer science : proceedings, Urgench, Uzbek SSR, September 16-22, 1979 / |
edited by A.P. Ershov and D.E. Knuth. |
Springer-Verlag, 1981. |
TP301.6-532/X50 |
| 121 |
Y12M solution of large and sparse systems of linear algebraic equations : documentation of subroutines / |
Zahari Zlatev, Jerzy Wasniewski, Kjeld Schaumburg. |
Springer-Verlag, 1981. |
O241.7/X2 |
| 121 |
Y12M solution of large and sparse systems of linear algebraic equations : documentation of subroutines / |
Zahari Zlatev, Jerzy Wasniewski, Kjeld Schaumburg. |
Springer-Verlag, 1981. |
O241.7/X2 |
| 120 |
Automatic differentiation : techniques and applications / |
Louis B. Rall. |
Springer-Verlag, 1981. |
O172.1-37/X1 |
| 119 |
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 |
| 118 |
Mathematical foundations of computer science 1981 : proceedings, 10th symposium, Strbsk鈋 Pleso, Czechoslovakia, August 31-September 4, 1981 / |
edited by J. Gruska and M. Chytil. |
Springer-Verlag, 1981. |
P174.07/W35/1981 |
| 118 |
Mathematical foundations of computer science 1981 : proceedings, 10th symposium, ？trbské Pleso, Czechoslovakia, August 31-September 4, 1981 / |
edited by J. Gruska and M. Chyti |
Springer-Verlag, c198 |
TP301-532/X1/1981 |
| 117 |
Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, Hungaria, August 24-29, 1981 / |
edited by Ferenc G鈋cseg. |
Springer-Verlag, 1981. |
U398.207/W181 |
| 117 |
Fundamentals of computation theory : proceedings of the 1981 International FCT-Conference, Szeged, August 24-28, 1981 / |
edited by Ferenc Gécseg. |
Springer-Verlag, 1981. |
TP301.6-532/X51/1981 |
| 113 |
Stochastic automata : stability, nondeterminism, and prediction / |
Ernst-Erich Doberkat. |
Springer-Verlag, 1981. |
TP301.1/X5 |
| 109 |
Digital image processing systems / |
edited by Leonard Bolc and Zenon Kulpa. |
Springer-Verlag, 1981. |
TP391.41-532/X21 |
| 108 |
Graph theory and algorithms : 17th symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980 : proceedings / |
edited by N. Saito and T. Nishizeki. |
Springer-Verlag, 1981. |
O157.5-532/X10 |
| 108 |
Graph theory and algorithms : 17th symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980 : proceedings / |
edited by N. Saito and T. Nishizeki. |
Springer-Verlag, 1981. |
P176/W471 |
| 108 |
Graph theory and algorithms : 17th symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980 : proceedings / |
edited by N. Saito and T. Nishizeki. |
Springer-Verlag, 1981. |
O157.5-532/X10 |
| 104 |
Theoretical computer science : 5th GI-conference, Karlsruhe, March 23-25, 1981 / |
edited by Peter Deussen. |
Springer-Verlag, 1981. |
P174/W173/1981 |
| 104 |
Theoretical computer science : 5th GI-conference, Karlsruhe, March 23-25, 1981 / |
edited by Peter Deussen. |
Springer-Verlag, 1981. |
TP301-532/X24/1981 |
| 103 |
Directions in human factors for interactive systems / |
Henry Ledgard, Andrew Singer, John Whiteside. |
Springer-Verlag, 1981. |
U398.2/W502 |
| 102 |
On the integration of algebraic functions / |
James Harold Davenport. |
Springer, 1981. |
P153.23/W2 |
| 102 |
On the integration of algebraic functions / |
James Harold Davenport. |
Springer, 1981. |
O174.53/X3 |
| 101 |
Boolean calculus of differences / |
André Thayse. |
Springer-Verlag, 1981. |
O153.2/X4 |
|
|
|
|
|