Theory and practice of logic programming.

Available for UP System via Cambridge Core.

RSA Security's official guide to cryptography by Burnett, Steve

Publisher description
Table of contents

A practical introduction to data structures and algorithm analysis. by Shaffer, Clifford A.

Data structures with STL by Murray, William H. 1943-

Object-oriented programming with Java by Holmes, Barry (Barry J.)

C++ plus data structures by Dale, Nell B.

Java an introduction to computing by Adams, Joel

Data structures and algorithms in Java by Goodrich, Michael T.

Table of Contents

Multi-objective optimization using evolutionary algorithms by Deb, Kalyanmoy

Table of Contents
Publisher description

Discrete mathematics by Johnsonbaugh, Richard