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

Reliability evaluation of some fault-tolerant computer architectures

0
索取号：TP3-55/E907
作者：Osaki、 Shunji.、Nishio、 Toshihiko、 1954-、
出版社：Berlin : Springer-Verlag, 1980.

Operating systems : an advanced course

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

STACS 89 : 6th Annual Symposium on Theoretical Aspects of Computer Science, Paderborn, FRG, February 16-18, 1989, proceedings

0
索取号：TP3-55/E903
作者：Symposium on Theoretical Aspects of Computer Science (6th : 1989 : Paderborn、 Germany)、Monien、 B.、Cori、 Robert.、European Association for Theoretical Computer Science.、Gesellschaft für Informatik.、Association française pour la cybernétique économique et technique.、
出版社：Berlin ; New York : Springer-Verlag, 1989.

电脑迷 : 2006合订版

0
索取号：TP3-55/20071
作者：电脑迷杂志社、
出版社：成都 : 西南交通大学出版社, 2006

Data base techniques for pictorial applications, Florence, June 20-22, 1979

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

Program construction : international summer school

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

Information systems methodology : proceedings, 2nd conference of the European Cooperation in Informatics, Venice, October 10-12, 1978

0
索取号：TP3-55/E805
作者：European Cooperation in Informatics (Organization).、Bracchi、 G. (Giampio)、 1944-、Lockemann、 P. C.、
出版社：Berlin ; New York : Springer-Verlag, 1978.

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.

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

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

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.