大拱桥--暨南大学学生门户 » 图书馆 » 理论、方法(分类号：TP301)(共305本)

分类依据：计算机原下入此 开关理论入TP17

Euro-Par'98 parallel processing : 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998 : proceedings

0
索取号：TP301.6-532/E993/4
作者：International EURO-PAR Conference (4th : 1998 : Southampton、England)、Pritchard、 David、 1955-、Reeve、 Jeff、 1956-、
出版社：Berlin ; New York : Springer, c1998.

Scalable parallel computing : technology, architecture, programming

0
索取号：TP301.6/E993
作者：Hwang、 Kai.、Xu、 Zhiwei.、
出版社：Boston : WCB/McGraw-Hill, c1998.

Relational methods in computer science

0
索取号：TP301/E993
作者：
出版社：Wien, [Austria] ; New York : Springer, c1997.

Elements of distributed algorithms : modeling and analysis with Petri nets

0
索取号：TP301.6/E991
作者：Reisig、 Wolfgang、 1950-、
出版社：Berlin ; New York : Springer, c1998.

Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, June 29 - July 2, 1997, Warsaw Poland

0
索取号：TP301-53/E991/12
作者：Symposium on Logic in Computer Science (12th : 1997 : Warsaw、 Poland)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、
出版社：Los Alamitos, Calif : IEEE Computer Society Press, c1997.

Euro-Par'97, parallel processing : third International Euro-Par Conference, Passau, Germany, August 26-29, 1997 : proceedings

0
索取号：TP301.6-532/E993/3
作者：
出版社：New York : Springer, 1997.

Logic of computation

0
索取号：TP301.6-532/E994
作者：
出版社：Berlin ; New York : Springer, c1997.

Combinatorial pattern matching : 8th annual symposium, CPM 97, Aarhus, Denmark, June 30 - July 2, 1997 : proceedings

0
索取号：TP301.6-532/E991/8
作者：Symposium on Combinatorial Pattern Matching (8th : 1997 : Aarhus、 Denmark)、Apostolico、 Alberto、 1948-、Hein、 Jotun.、
出版社：Berlin : Springer, c1997.

Universal algebra for computer scientists

0
索取号：TP301/E992
作者：
出版社：Berlin ; New York : Springer-Verlag, c1992.

Communication complexity and parallel computing

0
索取号：TP301.6/E996
作者：
出版社：Berlin ; New York : Springer, c1997.

Parallel computing '91 : proceedings of the International Conference on Parallel Computing '91, London, U.K., 3-6 September 1991

0
索取号：TP301.6-532/E996/1991
作者：International Conference on Parallel Computing (1991 : London、 England)、Evans、 D. J.、Joubert、 G. R. (Gerhard Robert)、Liddell、 Heather Mary.、
出版社：Amsterdam ; New York : North-Holland, 1992.

Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings

0
索取号：TP301-532/E991/4
作者：LFCS ʼ97 (4th : 1997 : Yaroslavĺ、 Russia (City))、Ad︠i︡an、 S. I.、Nerode、 Anil、 1932-、
出版社：Berlin : Springer, c1997.

Handbook of computer vision algorithms in image algebra

0
索取号：TP301.6/E994
作者：
出版社：Boca Raton : CRC Press, c1996.

ZUM '95, the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings

0
索取号：TP301.2-532/E991/9
作者：International Conference of Z Users (9th : 1995 : Limerick、 Limerick、 Ireland)、Bowen、 J. P. (Jonathan Peter)、 1956-、Hinchey、 Michael G. (Michael Gerard)、 1969-、
出版社：Berlin ; New York : Springer, c1995.

Algorithmic learning for knowledge-based systems : GOSLER final report

0
索取号：TP301.6/E995
作者：
出版社：Berlin ; New York : Springer-Verlag, c1995.

Algorithmic learning theory : 6th international workshop, ALT ̕ 95, Tokyo, Japan, October 1995 : proceedings

0
索取号：TP301.6-532/E20041/6
作者：ALT ̓ 95 (1995 : Tokyo、 Japan)、Jantke、 K. P. (Klaus P.)、Shinohara、 Takeshi.、Zeugmann、 Thomas.、
出版社：Berlin ; New York : Springer, c1995.