Rewriting logic and its applications: 8th international workshop ; revised selected pap… by WRLA, Paphos, ETAPS, Paphos fromLecture Notes in Computer Science 0 Type: Book
Parallel computing technologies: 10th international conference ; proceedings by PaCT, Nowosibirsk fromLecture Notes in Computer Science 0 Type: Book
Fun with algorithms: 5th international conference ; proceedings by FUN, Ischia, Ort fromLecture Notes in Computer Science 0 Type: Book
