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

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

Lecture Notes in Computer Science Ser.: Designing for a Digital and...

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

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

Lecture Notes in Computer Science Ser.: Transactions on Computational Science...

Lecture Notes in Computer Science Ser.: Numerical Computations: Theory and...

Lecture Notes in Computer Science Ser.: Image and Signal Processing: 9th Interna