Pattern Recognition And Machine Intelligence: Second Interna...

Pattern Recognition and Machine Intelligence : Second International Conferenc...

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

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

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

Pattern Recognition and Machine Intelligence : Second International Conferenc...

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

Algorithm Theory - Swat 2000: 7th Scandinavian Workshop on Algorithm Theory: New