Select
Explore
keyword: Algorithms & data structures – 68 free books.
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
Tools and Algorithms for the Construction and Analysis of Systems
Jan Friso Groote and Kim Guldstrand Larsen, editors
Bio-Inspired Computational Algorithms and Their Applications
Shangce Gao (editor)
Fundamental Approaches to Software Engineering
Esther Guerra and Mariëlle Stoelinga, editors
International Symposium on Mathematics, Quantum Theory, and Cryptography
Tsuyoshi Takagi et al. (editors)
International Symposium on Mathematics, Quantum Theory, and Cryptography
Tsuyoshi Takagi et al.
Tools and Algorithms for the Construction and Analysis of Systems
Armin Biere and David Parker
