SOFSEM 2000: Theory and Practice of Informatics 27th Conference on Current Trends in Theory and Practice of Informatics Milovy, Czech Republic, November 25 - December 2, 2000 Proceedings - Hlavac, Vaclav; Hlavac, Vaclav; Jeffery, Keith G.; Jeffery, Keith G.; Wiedermann, Jiri; Wiedermann, Jiri (Springer Berlin Heidelberg : Imprint: Springer, 2000)