Error detection and recovery in robotics. Lecture notes in computer science ; Vo

Lecture Notes in Computer Science - 150: Enduser Systems and Their Human...

Transactions on Computational Science I Lecture Notes in Computer Science 4750 T

Formal Methods for Components and Objects 4th International Sympo

Lecture Notes in Computer Science - 122: Algorithms in Modern Mathematics...

Lecture Notes in Computer Science - 1780: Software Process Technology

Logic Programming: Formal Methods and Practical Applications Studies in Computer

Formal Methods for Components and Objects Second International Sy