SOFSEM '2000: Theory and Practice of Informatics : Proceedings of the 27th Conference on Current Trends in Theory and Practice of Informatics - Hlaváč, Václav (Springer-Verlag, 2000)