The traveling salesman problem : a computational study

David L. Applegate ... [et al.].

Princeton : Princeton University Press, ©2006.

The random projection method

Santosh S. Vempala.

Providence, R.I. : American Mathematical Society, ©2004.

Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories

Andrzej Biela.

Katowice : Wydawn. Uniwersytetu Slaskiego, 2000.

Quantum computation and quantum information

Michael A. Nielsen and Isaac L. Chuang.

Cambridge : Cambridge University Press, 2000.

Pattern recognition and neural networks

B. D. Ripley.

Cambridge : Cambridge University Press, 1996.

Combinatorial algorithms : an update

Herbert S. Wilf.

Philadelphia, Pa. : Society for Industrial and Applied Mathematics, 1989.

Algebraic approaches to program semantics

Ernest G. Manes, Michael A. Arbib.

New York : Springer-Verlag, ©1986.

Foundations of logic programming

J. W. Lloyd.

Berlin : Springer-Verlag, ©1984.

Applied cryptology, cryptographic protocols, and computer security models

[by Richard A. DeMillo ... et al.].

Providence, R.I. : American Mathematical Society, ©1983.

Introduction to formal language theory

Michael A. Harrison.

Reading, Mass. : Addison-Wesley, ©1978.

The art of computer programming

Donald E. Knuth.

2nd ed.

Reading, Mass. : Addison-Wesley, ©1973-©1981.

Data structures : theory and practice

A. T. Berztiss.

New York : Academic Press, ©1971.

The art of computer programming

Donald E. Knuth.

Reading, Mass. : Addison-Wesley, 1968-