Title: All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic, Author: Manuel Clavel
Title: Loose Leaf for C++ Programming: An Object-Oriented Approach / Edition 1, Author: Behrouz A. Forouzan
Title: Loose Leaf for Fortran for Scientists & Engineers / Edition 4, Author: Stephen J. Chapman
Title: The Art of Artificial Evolution: A Handbook on Evolutionary Art and Music / Edition 1, Author: Juan J. Romero