Functional Data Structures and Algorithms: A Proof Assistant Approach

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

Tobias Nipkow Functional Data Structures and Algorithms (Paperback)

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

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

Clear Learning Algorithms and Data Structures with Java 2nd Edition Book Program

Generic Data Structures and Algorithms in Go: An Applied Approach Using Concurre

Mastering Algorithms: A systematic approach to data structures and problem-solvi