大拱桥--暨南大学学生门户 » 图书馆 » (分类号：TP3-5)(共141本)

Trees in algebra and programming [electronic resource] : 8th colloquium, L'Aquila, March 9-11, 1983 : proceedings

0
索取号：TP3-55/E9013
作者：CAAP '83 (8th : 1983 : L'Aquila、 Italy)、Ausiello、 G. (Giorgio)、 1941-、Protasi、 M. (Marco)、 1950-、
出版社：Berlin ; New York : Springer-Verlag, 1983

The Analysis of concurrent systems : Cambridge, September 12-16, 1983, proceedings

0
索取号：TP3-55/E904
作者：
出版社：Berlin ; New York : Springer-Verlag, c1985.

Foundations of software technology and theoretical computer science : fifth conference, New Delhi, India, December 16-18, 1985 : proceedings

0
索取号：TP3-55/E905
作者：
出版社：Berlin ; New York : Springer-Verlag, c1985.

Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983

0
索取号：TP3-55/E906
作者：Logics of Programs Workshop (1983 : Carnegie Mellon University)、Clarke、 Edmund.、Kozen、 Dexter、 1951-、
出版社：Berlin ; New York : Springer-Verlag, 1984.

Specification and design of software systems : Conference on Operating Systems Visegrad, Hungary, January 23-27, 1982, proceedings

0
索取号：TP3-53/E9031/1982
作者：Conference on Operating Systems (1982 : Visegrâad、 Hungary)、Knuth、 E. (Elîod)、 1943-、Neuhold、 Erich J.、
出版社：Berlin ; New York : Springer-Verlag, 1983.

Theoretical computer science : 6th GI-conference, Dortmund, January 5-7, 1983

0
索取号：TP3-53/E8015/6
作者：
出版社：Berlin ; New York : Springer-Verlag, 1982.

Microcomputer system design : an advanced course, Trinity College, Dublin, June 1981

0
索取号：TP3-55/E9012
作者：
出版社：Berlin ; New York : Springer-Verlag, 1982.

Mathematical foundations of computer science 1981 [electronic resource] : proceedings, 10th symposium, Strbské Pleso, Czechoslovakia, August 31-September 4, 1981

0
索取号：TP3-53/E8014/1981
作者：Symposium on Mathematical Foundations of Computer Science (1972- ) (10th : 1981 : Štrbské Pleso、 Czechoslovakia)、Gruska、 Jozef.、Chytil、 Michal.、
出版社：Berlin ; New York : Springer-Verlag, 1981.

The concurrency control problem for database systems

0
索取号：TP3-55/E908
作者：Casanova、 Marco Antonio.、
出版社：Berlin ; New York : Springer, 1981.

Digital image processing systems

0
索取号：TP3-55/E909
作者：
出版社：Berlin ; New York : Springer-Verlag, 1981.

Graph theory and algorithms : 17th symposium of Research Institute of Electrical Communication, Tohoku University, Sendai, Japan, October 24-25, 1980 : proceedings

0
索取号：TP3-55/E9010
作者：
出版社：Berlin ; New York : Springer-Verlag, 1981.

Distributed systems: architecture and implementation : an advanced course

0
索取号：TP3-55/E9011
作者：Lampson、 B. W.、 (Butler W.)、Technische Universität München. Institut für Informatik.、Advanced Course on Distributed Systems--Architecture and Implementation (1980 : Technische Universität München)、
出版社：Berlin : Springer, 1981.

Theoretical computer science : 5th GI-conference, Karlsruhe, March 23-25, 1981

0
索取号：TP3-53/E8015/5
作者：
出版社：Berlin ; New York : Springer-Verlag, 1981.

Mathematical foundations of computer science, 1980 : proceedings of the 9th symposium held in Rydzyna, Poland, September 1-5, 1980

0
索取号：TP3-53/E8014/1980
作者：Symposium on Mathematical Foundations of Computer Science (1972- ) (9th : 1980 : Rydzyna、 Poland)、Dembiński、 Piotr.、
出版社：Berlin ; New York : Springer-Verlag, 1980.

Mathematical studies of information processing : proceedings of the international conference, Kyoto, Japan, August 23-26, 1978

0
索取号：TP3-55/E802
作者：International Conference on Mathematical Studies of Information Processing (1978 : Kyoto、 Japan)、Blum、 E. K. (Edward K.)、 1923-、Paul、 M. (Medford)、Takasu、 Satoru、 1931-、
出版社：Berlin ; New York : Springer-Verlag, 1979.

Computing methods in applied sciences and engineering : International symposium, Versailles, December 17-21, 1973

0
索取号：TP3-55/E801
作者：International Symposium on Computing Methods in Applied Sciences and Engineering (1st : 1973 : Versailles)、Glowinski、 R.、 ed.、Lions、 Jacques Louis、 ed.、Iria Laboria.、
出版社：Berlin ; New York : Springer-Verlag, 1974.