Theory and practice of logic programming.

Available for UP System via Cambridge Core.

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

Publisher description
Table of contents

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

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

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

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

Java an introduction to computing di Adams, Joel

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

Table of Contents

Multi-objective optimization using evolutionary algorithms di Deb, Kalyanmoy

Table of Contents
Publisher description

Discrete mathematics di Johnsonbaugh, Richard