Advanced Parallel Processing Technologies: 5th International Workshop, Appt 2003

Zum '95: The Z Formal Specification Notation: 9th International Conference of Z

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International

Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International

Pattern Recognition and Machine Intelligence: Second International Conference,

Algorithm Theory Swat 2000 : 7th Scandinavian Workshop on Algorithm Theory Be...

Supervision and Its Vicissitudes by Brian V Martindale: New