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

Lot of 5 Different Lecture Notes in Computer Science -

Lecture Notes In Computer Science Public Key Cryptography Paperback Book

Lecture Notes in Computer Science Ser.: HCI in Games : Second International...

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

Lecture Notes in Computer Science ALGORITHMS IN MODERN MATHEMATICS AND COMPUTER

Lecture Notes in Computer Science Ser.: Language and Automata Theory and...

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