The Design of an Extendible Graph Editor. Lecture Notes in Computer Science, Ban

A Formal Model of Visualization in Computer Graphics Systems (Lecture Notes in

Formal Techniques for Distributed Systems - 9783642307928

Distributed Context-Aware Systems (SpringerBriefs in Computer Science) by

Pictorial Information Systems (Lecture Notes in Computer Science)

Simple program schemes and formal languages. Lecture notes in computer science ;

Formal Techniques for Distributed Systems - 9783642214608

Formal Techniques for Distributed Systems - 9783642385919