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

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

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

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

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.: Graph Transformations by H Ehrig SC

Lecture Notes in Computer Science Ser.: Runtime Verification : 18th...