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

Data Structures and Algorithms in Python by Roberto Tamassia, Michael T.... – Br

Data Structures and Algorithms in Python - Goodrich, Michael T.

Data Structures and Algorithms in Java: A Project-Based Approach by Dan S. Myers

Data Structures and Algorithms in C++ by Michael T. Goodrich (2011)

Data Structures and Algorithms in Java by Michael T. Goodrich; Roberto Tamassia

Functional Data Structures and Algorithms by Tobias Nipkow - 9798400731570

Algorithms and Data Structures in Action by Marcello La Rocca (English) Paperbac