| 卷 |
题名
|
责任者
|
出版信息
|
索书号
|
| 100 |
Graphtheoretic concepts in computer science : proceedings of the international workshop WG 80, Bad Honnef, June 15-18, 1980 / |
edited by Hartmut Noltemeier. |
Springer-Verlag, 1981. |
O157.5/X3/1980 |
| 99 |
Algebraic semantics / |
Irène Guessarian. |
Springer-Verlag, 1981. |
TP301.2/X12 |
| 90 |
Eurocode '90 : international symposium on coding theory and applications, Udine, Italy, November 5-9, 1990 : proceedings / |
G. Cohen, P. Charpin, eds. |
Springer-Verlag, c1991. |
O157.4-532/X1 |
| 90 |
Using sophisticated models in resolution theorem proving / |
David M. Sandford. |
Springer-Verlag, 1980. |
O141/X91 |
| 88 |
Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 / |
edited by P. Dembinski. |
Springer-Verlag, 1980. |
P174.07/W35/1980 |
| 88 |
Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980 / |
edited by P. Dembinski. |
Springer-Verlag, c1980. |
TP301-532/X1/1980 |
| 87 |
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 / |
edited by W. Bibel and R. Kowalski. |
Springer-Verlag, 1980. |
O141-532/X17/1980 |
| 87 |
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980 / |
edited by W. Bibel and R. Kowalski. |
Springer-Verlag, 1980. |
U398.207/W157/1980 |
| 83 |
International Symposium on Programming : proceedings of the fourth Colloque international sur la programmation, Paris, 22-24 April 1980 / |
edited by B. Robinet. |
Springer-Verlag, 1980. |
P176.07/W42 |
| 81 |
Data base techniques for pictorial applications, Florence, June 20-22, 1979 / |
edited by A. Blaser. |
Springer-Verlag, 1980. |
P174/W226 |
| 80 |
Pictorial information systems / |
edited by S. K. Chang and K. S. Fu. |
Springer-Verlag, c1980. |
P174/W227 |
| 79 |
Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 / |
edited by Jeffrey M. Tobias. |
Springer-Verlag, 1980. |
P176.07/W43 |
| 78 |
Edinburgh LCF : a mechanised logic of computation / |
Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. |
Springer-Verlag, 1979. |
P174/W228 |
| 77 |
Architecture of distributed computer systems / |
Gregor v. Bochmann. |
Springer-Verlag, 1979. |
P174/W223 |
| 76 |
Codes for boundary-value problems in ordinary differential equations : proceedings of a working conference, May 14-17, 1978 / |
edited by B. Childs ... [et al.]. |
Springer-Verlag, 1979. |
P154/W88 |
| 76 |
Codes for boundary-value problems in ordinary differential equations : proceedings of a working conference, May 14-17, 1978 / |
edited by B. Childs ... [et al.]. |
Springer-Verlag, 1979. |
O241.81-532/X2 |
| 75 |
Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 / |
edited by E. K. Blum, M. Paul and S. Takasu. |
Springer-Verlag, 1979. |
TP311.11-532/X15/1978 |
| 75 |
Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978 / |
edited by E. K. Blum, M. Paul, and S. Takasu. |
Springer-Verlag, 1979. |
U398.207/W150 |
| 74 |
Mathematical foundations of computer science, 1979 : proceedings, 8th Symposium, Olomouc, Czechoslovakia, September 3-7, 1979 / |
edited by J. Be？vá? |
Springer-Verlag, 197 |
TP301-532/X1/1979 |
| 73 |
Graph-grammars and their application to computer science and biology : international workshop, Bad Honnef, October 30-November 3, 1978 / |
edited by Volker Claus, Hartmut Ehrig, and Grzegorz Rozenberg. |
Springer-Verlag, 1979. |
P176/W352 |
| 72 |
Symbolic and algebraic computation : EUROSAM '79, an international symposium on symbolic and algebraic manipulation, Marseille, France, June 1979 / |
edited by Edward W. Ng. |
Springer-Verlag, 1979. |
P176/W353 |
| 72 |
Symbolic and algebraic computation : EUROSAM '79, an International Symposium on Symbolic and Algebraic Manipulation, Marseille, France, June 1979 / |
edited by Edward W. Ng. |
Springer-Verlag, 1979. |
O15-37/X10/1979 |
| 71 |
Automata, languages and programming : sixth colloquium, Graz, Austria, July 16-20, 1979 / |
edited by Hermann A. Maurer. |
Springer-Verlag, 1979. |
P176/W139/1979 |
| 69 |
Program construction : international summer school / |
F. L. Bauer ... [et al.] ; edited by F. L. Bauer and M. Broy. |
Springer-Verlag, 1979. |
P176/W338 |
| 68 |
First-order dynamic logic / |
David Harel. |
Springer-Verlag, c1979. |
TP311.1/X93 |
| 67 |
Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979 / |
edited by K. Weihrauch. |
Springer-Verlag, 1979. |
P174/W173/1979 |
| 67 |
Theoretical computer science : 4th GI conference, Aachen, March 26-28, 1979 / |
edited by K. Weihrauch. |
Springer-Verlag, c1979. |
TP301-532/X24/1979 |
| 67 |
Operating systems : an advanced course / |
M. J. Flynn ... [et al.] ; edited by R. Bayer, R. M. Graham, and G. Seegm鑥ller. |
Springer-Verlag, 1978. |
P174/W175 |
| 64 |
Mathematical foundations of computer science 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 / |
edited by J. Winkowski. |
Springer-Verlag, c1978. |
TP301-532/X1/1978 |
| 64 |
Mathematical foundations of computer science, 1978 : proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978 / |
edited by J. Winkowski. |
Springer-Verlag, c1978. |
P174.07/W35/1978 |
| 63 |
Natural language communication with computers / |
edited by Leonard Bolc. |
Springer-Verlag, c1978. |
TP316.5/X2 |
| 61 |
The Vienna development method : the Meta-language / |
edited by D. Bj瞨ner and C. B. Jones. |
Springer-Verlag, 1978. |
P176/W253 |
| 48 |
Theoretical computer science : 3rd GI conference, Darmstadt, March 28-30, 1977 / |
edited by H. Tzschach, H. Waldschmidt and H. K.-G. Walter on behalf of the GI. |
Springer-Verlag, c1977. |
TP301-532/X24/1977 |
| 38 |
An Optimized translation process and its application to ALGOL 68 / |
P. Branquart ... [et al.] |
Springer-Verlag, 1976. |
P176/W168 |
| 37 |
λ-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975 / |
IAC-CNR, Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio nazionale delle ricerche ; edited by C. B？hm |
Springer-Verlag, c1975 |
O141.3/X35 |
| 33 |
Automata theory and formal languages : 2nd GI conference, Kaiserslautern, May 20-23, 1975 / |
edited by H. Brakhage on behalf of GI. |
Springer-Verlag, c1975. |
TP301-532/X25 |
| 30 |
Software engineering : an advanced course / |
F. L. Bauer ... [et al.] ; edited by F. L. Bauer. |
Springer-Verlag, c1977. |
U398.2/W132/1977 |
| 29 |
Interval mathematics : proceedings of the international symposium, Karlsruhe, West Germany, May 20-24, 1975 / |
edited by K. Nickel. |
Springer-Verlag, 1975. |
O242.29/X1 |
| 28 |
Mathematical foundations of computer science : 3rd symposium at Jadwisin near Warsaw, June 17-22, 1974 / |
edited by A. Blikle. |
Springer-Verlag, c1975. |
TP301-532/X1/1974 |
| 27 |
Optimization techniques : IFIP Technical Conference, Novosibirsk, July 1-7, 1974 / |
edited by G. I. Marchuk. |
Springer-Verlag, 1975. |
O224-532/X6/1974 |
| 22 |
Formal aspects of cognitive processes : interdisciplinary conference, Ann Arbor, March 1972 / |
edited by Thomas Storer and David Winter. |
Springer-Verlag, c1975. |
B842.1-532/X3 |
| 11 |
Computing methods in applied sciences and engineering : International symposium, Versailles, December 17-21, 1973 / |
edited by R. Glowinski and J. L. Lions. |
Springer-Verlag, 1974. |
O17-532/X8 |
| 10.11 |
Computing methods in applied science and engineering : international symposium, Versailles, December 17-21, 1973 / |
Iria Laboria, Institut national de recherche d'informatique et d'automatique ; edited by R. Glowinski and J.L. Lions. |
Springer-Verlag, 1974. |
P171/W53 |
| 9 |
Internationale Fachtagung--Informationszentren in Wirtschaft und Verwaltung : K鑟ln, 17./18. September 1973 / |
Herausgegeben im Auftrag der GI und dem BIFOA von P. Schmitz. |
Springer, 1974. |
P164.207/W7 |
| 4 |
5th Conference on Optimization Techniques / |
Edited by R. Conti and A. Ruberti. |
Springer-Verlag, 1973. |
U399.507/W33 |
| 3 |
Mathematical foundations of computer science 1975 : 4th symposium, Mariánské Lázně, September 1-5, 1975 / |
edited by J. Be？vá? |
Springer-Verlag, 197 |
TP301-532/X1/1975 |
| 3 |
5th Conference on Optimization Techniques / |
edited by R. Conti and A. Ruberti ; sponsored by the IFIP Technical Committee on Optimization (TC-7) and the Italian National Research Council. |
Springer-Verlag, 1973. |
O224-532/X6/V.1 |
|
|
|
|
|