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

Lecture Notes in Computer Science #355 Rewriting Techniques And Applications

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

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

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

Lecture Notes in Computer Science Ser.: Current Trends in Web Engineering, ICWE

Lecture Notes in Computer Science Ser.: Internet and Distributed Computing...

Lecture Notes in Computer Science Ser.: Mathematical Optimization Theory and...