Dawe's necessary links

Searching Engines

• AltaVista
• Seznam
• El. info-zdroje MU

Formal Methods

• YAHODA - database of tools (Authenticated)
• The WWW Virtual Library: Formal Methods
• The WWW Virtual Library: Concurrent Systems
• SAC 2002
• COORD 2002
• TACAS 2002

Traffic

• Brno MHD (jízdní řády)
• ČSAD (jízdní řády)

Dictionaries

• Merriam-Webster
• Cambridge
• Czech <--> English
• Oxford Reference
• NLP English Corpus (auth)

Culture

• Where to go in Brno
• What's on in Ster Century

Virtual Reality

• CGVR group