大拱桥--暨南大学学生门户 » 图书馆 » 一般性问题(分类号：TP30)(共1197本)

Digital logic design

0
索取号：TP302/E908.4
作者：Holdsworth、 B. (Brian)、
出版社：Oxford : Newnes, c2002.

Computer algorithms : introduction to design and analysis = 计算机算法 : 设计与分析导论

0
索取号：TP302/E805.3-2
作者：Baase、 Sara.、Van Gelder、 Allen.、
出版社：北京 : 高等敎育出版社, 2001.

14th Symposium on Logic in Computer Science : proceedings : July 2-5, 1999, Trento, Italy

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

Computer science logic : 13th international workshop, CSL '99 : 8th annual conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings

0
索取号：TP302.2-532/E20011/1999
作者：Workshop on Computer Science Logic (13th : 1999 : Madrid、 Spain)、Flum、 Jörg.、Rodríguez Artalejo、 M. (Mario)、European Association for Computer Science Logic. Conference (8th : 1999 : Madrid、 Spain)、
出版社：Berlin ; New York : Springer, c1999.

Logic in computer science : modelling and reasoning about systems

0
索取号：TP301/E991
作者：Huth、 Michael、 1962-、Ryan、 Mark、 1962-、
出版社：New York : Cambridge University Press, 1999.

Logic in computer science [electronic resource] : proceedings : Thirteenth Annual IEEE Symposium on Logic in Computer Science : June 21-24, 1998, Indianapolis, Indiana

0
索取号：TP301-53/E991/13
作者：Symposium on Logic in Computer Science (13th : 1998 : Indianapolis、 Ind.)、IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing.、Indiana University、 Bloomington.、IEEE Xplore (Online service)、
出版社：Los Alamitos, California : IEEE Computer Society Press, c1998.

Theory of formal languages with applications

0
索取号：TP301.2/E20011
作者：Simovici、 Dan A.、Tenney、 Richard L.、
出版社：Singapore ; New Jersey : World Scientific, 1999.

Specification and verification of systolic arrays

0
索取号：TP301.6/E20013
作者：Ling、 Nam.、Bayoumi、 Magdy A.、
出版社：Singapore ; River Edge, NJ : World Scientific, c1999.

Parallel computation : 4th International ACPC Conference including special tracks on parallel numbers (ParSum'99) and parallel computing in image processing, video processing, and multimedia, Salzburg, Austria, February 16-18, 1999 : proceedings

0
索取号：TP301.6-532/E992/4
作者：International ACPC Conference (4th : 1999 : Salzburg、 Austria)、VajteřСic、 MaríАn.、Zinterhof、 Peter.、Uhl、 Andreas、 1968-、
出版社：New York : Springer, 1999.

Logical derivation of computer programs

0
索取号：TP301.6/E20012
作者：Windeknecht、 Thomas G.、Thomas G. Windeknecht、
出版社：Exeter, England : Intellect, c1999.

Parallel computing : fundamentals, applications, and new directions

0
索取号：TP301.6-532/E995/1997
作者：ParCo97 (1997 : Bonn、 Germany)、D'Hollander、 E.、
出版社：Amsterdam ; New York : Elsevier Science, c1998.

Computer system architecture

0
索取号：TP303/E801.3
作者：Mano、 M. Morris、 1927-、
出版社：Beijing Tsinghua University Press 1998.

Systems analysis & design methods

0
索取号：TP302/E20071-2
作者：Whitten、 Jeffrey L.、Bentley、 Lonnie D.、Ho、 Thomas I. M.、 1948-、
出版社：St. Louis : Times Mirror/Mosby College Pub., 1986.

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.

Design issues in CSCW

0
索取号：TP302.1/E993
作者：
出版社：London ; New York : Beijing: Springer-Verlag, World Publishing Co. , c1994.

Parallel and distributed information sytems

0
索取号：TP302.1/E992
作者：
出版社：Boston : Kluwer Academic Publishers, c1998.