Formal Techniques for Distributed Systems Lecture Notes in Computer Science, Ban

Foundations of inductive logic programming. Lecture notes in computer science ;

Lecture notes on bucket algorithms. Progress in computer science ; No. 6 Devroye

Automata, languages and programming; Lecture notes in computer science ; 226 Kot

Matrix Eigensystem Routines - EISPACK Guide. Lecture Notes in Computer Science,

Lecture Notes in Control and Information Sciences - 59: System Modelling and...

Hybrid Neural Systems: 1778 (Lecture Notes in Computer Science,

Journal on Data Semantics X Journal Subline; Lecture Notes in Computer Science 4