Lecture Notes in Computer Science Ser.: Mathematical Software - ICMS 2020 :...

Lecture Notes Ser.: Selected Papers on Computer Science by Donald E. Knuth...

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

Using Sophisticated Models in Resolution Theorem Proving David M.

Lecture Notes in Computer Science Ser.: Big-Data-Analytics in Astronomy,...

Lecture Notes in Computer Science Ser.: Drawing Graphs : Methods and Models ...

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

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