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

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

Lecture Notes in Computer Science Ser.: Tools and Algorithms for the Constructi…

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

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

Lecture Notes in Computer Science Ser.: Foundations of Inductive Logic Programmi

Lecture Notes in Computer Science Ser.: Twenty Years of Theoretical and...

Lecture Notes in Computer Science Ser.: Information Security : Proceedings of...