Theory and practice of logic programming.

Available for UP System via Cambridge Core.

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

Publisher description
Table of contents

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

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

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

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

Java an introduction to computing od Adams, Joel

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

Table of Contents

Multi-objective optimization using evolutionary algorithms od Deb, Kalyanmoy

Table of Contents
Publisher description

Discrete mathematics od Johnsonbaugh, Richard