Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester,

Lecture Notes in Computer Science Ser.: Systems

Lecture Notes in Computer Science Ser.: Arithmetic of Finite Fields : 6th...

Lecture Notes in Computer Science Ser.: Internet of Vehicles : 6th International

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

Lecture Notes in Electrical Engineering Ser.: Advances in Computer Science...

Lecture Notes in Computer Science Ser.: Advances in Cryptology - ASIACRYPT...

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