Functional Data Structures and Algorithms: A Proof Assistant Approach

Algorithms: Technology, Culture, Politics by Matzner, Tobias [Paperback]

Functional Data Structures and Algorithms: A Proof Assistant Approach by Tobias

A Common-Sense Guide to Data Structures and Algorithms in Pyt... - 9798888650356

Data Structures and Algorithms Using Java

Algorithm Illustrated Book 33 Algorithms and 7 Data Structures Explained with Pi

Kubensky A.A. Structures and algorithms of data processing. Object-oriented app

Data Structures and Algorithm Analysis in C (2nd Edition)