Lot of 5 Different Lecture Notes in Computer Science -

Theorem Provers in Circuit Design: Theory, Practice and Experience: Second: New

Lecture Notes in Computer Science: Evolutionary Computing : AISB Workshop,...

Lecture Notes in Computer Science Ser.: Music in the AI Era : 15th International

Lecture Notes in Computer Science Ser.: Automated Deduction in Geometry

Lecture Notes in Computer Science Ser.: Availability, Reliability, and Security

Lecture Notes in Computer Science Ser.: Using Sophisticated Models in Resolution

Lecture Notes in Computer Science ALGORITHMS IN MODERN MATHEMATICS AND COMPUTER