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

Lecture Notes in Computer Science Ser.: Formal Methods Teaching : 6th Formal...

Lecture Notes in Computer Science Ser.: Pervasive Computing : 6th International

Lecture Notes in Computer Science Ser.: Design, User Experience and Usability

Lecture Notes in Computer Science Ser.: Graph Transformations by H Ehrig SC

International Symposium on Programming Lecture notes in computer science ; Vol.

Lecture Notes in Computer Science Ser.: Computational Science and Its...

International Symposium on Theoretical Programming. Lecture Notes in Computer Sc