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

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

Applications of geometric algebra in computer science and engineering

0
索取号：TP301.6-532/E20042
作者：
出版社：Boston : Birkhauser, c2002.

Evolving rule-based models : a tool fordesign of flexible adaptive systems

0
索取号：TP301.6/E20041
作者：Angelov、 Plamen P.、
出版社：Heidelberg ; New York : Physica-Verlag, c2002.

Algorithms design techniques and analysis = 算法设计技巧与分析

0
索取号：TP301.6/E20033
作者：Alsuwaiyel、 M. H.、
出版社：Beijing : Pub. House of Electronics Industry, 2003.

Developing computer-based information systems

0
索取号：TP301/E701
作者：Rosove、 Perry E.、
出版社：Lond. New York : Wiley, 1967.

Computer system reliability

0
索取号：TP301/E907
作者：Longbottom、 Roy.、
出版社：Chichester, [Eng.] ; New York : Wiley, c1980.

Introduction to algorithms

0
索取号：TP301.6/E20031
作者：Cormen、 Thomas H.、
出版社：Cambridge, Mass. : MIT Press, c1990.

Introduction to the theory of computation = 计算理论导论

0
索取号：TP301.5/E20031
作者：Sipser、 Michael.、
出版社：北京 : CITIC Pub. House, c2002.

High performance cluster computing. v. 1, architectures and systems = 高性能集群计算. 第一卷, 结构与系统

0
索取号：TP301.6/E20032/1
作者：Buyya、 Rajkumar、 1970-、
出版社：北京 : 人民邮电出版社, 2002.ŁŁ

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.

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.