Soeken - Formal Specification Level Concepts Methods and Algorithm - X555z

Goodrich - Algorithm Engineering - New paperback or softback - X555z

Texts in Computer Science Ser.: Algorithm Design Manual by Steven S. Skiena...

Formal Specification Level: Concepts, Methods, and Algorithms

Gupta - Formal Methods and Models for System Design A System Level P - X555z

Su - Next Generation Vehicular Networks Modeling Algorithm and Appli - X555z

Davendra - Self-Organizing Migrating Algorithm Methodology and Imple - X555z

Yang - Cuckoo Search and Firefly Algorithm Theory and Applications - - X555z