Hana Rudova's Bookmarks


Contents

- Literature

- Conferences and workshops
- Journals
- Publishers
- Organizations
- Bibliographies
- Online research papers
- Libraries
- FAQs, RFC

- People
- Constraint programming
- Timetabling, scheduling
- Grid computing
- Logic programming
- Constraint and logic programming languages and systems
- Local software documentation
- Typesetting
- Artificial intelligence
- Unsorted research links

- Masaryk University
- Purdue University
- PhD Study
- Grants
- Technical resources

- Search
- Travel
- Weather
- Dictionaries
- Magazines

- Finance
- House
- Shops
- Baby shops
- Lego
- Cars
- Others


Literature

Conferences and workshops

Conference Diary - Journal of Scheduling
IFCoLog Events
AI Calendar GMD SET
Conference Search - IEEE
Fuzzy and AI Conferences
CP Conferences
IJCAI Conferences
The PATAT Series of Conferences
INAP Conferences
International Conference on Applications of Prolog
European Summer School in Logic, Language and Information
Database Systems & Logic Programming
Uncertainty in Artificial Intelligence Conferences: Electronic Proceedings
SAC
Grid Conferences
GRID Conferences
Gridové konference

Publishers

WWW Virtual Library: Publishers
Publishers Catalogue
Publishers' Catalogues Search
Amazon Bookstore
Addison Wesley Longman
Cambridge University Press
Elsevier Science
IOS Press homepage
John Wiley & Sons
Kluwer
McGraw-Hill
MIT Press On-Line Catalogues
O'Reilly
Morgan Kaufmann Publishers Catalog
Oxford University Press
Osborne/McGraw-Hill
Prentice Hall
Springer Computer Sciences - Heidelberg
Springer Computer Science - New York

Journals

Computer Science Journals
FI MU Report Series + List of Journals
Constraints Archive -- Journals
ACM: Journals and Magazines
EMIS ELibEMS: Mathematical Journals
Citation Indexes
Computer Science: Journals
JSTOR
Journal Storage
ACM Computing Surveys
ACM Transactions on Computational Logic
ACM Transactions on Programming Languages and Systems
AI Communications
AI Magazine
Algorithmica
Applied Artificial Intelligence
Artificial Intelligence
Constraints Journal
Communications of the ACM
Compulog Magazine
CWI Quaterly
Electronic Transactions on AI
Engineering Applications of Artificial Intelligence
ERCIM News
Fuzzy Sets and Systems
IEEE Intelligent Systems
IJCIA
International Journal of Computational Intelligence and Applications
Informatica
Interactive Transactions of OR/MS (ITORMS)
Interactive Transactions of OR/MS
International Journal of Computer Research
Journal of ACM
Journal of Artificial Intelligence Research
Journal of Experimental & Theoretical Artificial Intelligence
Journal of Experimental and Theoretical Artificial Intelligence
Journal of Functional and Logic Programming
Journal of Graph Algorithms and Applications
electronic journal
Journal of Logic and Computation
Journal of Logic Programming
Journal of Applied Systems Studies
Journal of Scheduling
Journal of Symbolic Computation
Kybernetika
Logic Journal of the IGPL
MathWare & Soft Computing
New Generation Computing
Newsletter of the Association of Logic Programming
Pokroky matematiky, fyziky a astronomie
Science of Computer Programming
Soft Computing
The Computer Journal
Theoretical Computer Science
Theory and Practice of Logic Programming
Theory of Computing Systems
Zpravodaj UVT MU

Organizations

Selected organizations with WWW servers
AI Societies and Organizations Directory
University-Index
ACM
AMS
American Mathematical Society: Mathematics Research and Scholarship
IEEE
IEEE Computer Society
AAAI
ALP
The Association of Logic Programming
AUAI
Association for Uncertainty in AI
ECCAI
European CSL
FoLLI
European Association for Logic, Language and Information
IASTED
The International Association of Science and Technology for Development
IFCoLog
International Federation for Computational Logic
IFSA
EUSFLAT
European Educational Forum
CSKI
EURO/WATT
Working group on Automated Timetabling
ERCIM WG on Constraints
CRCIM
WSES
World Scientific/Engineering Association
ÚTIA
FEE VUT

Bibliographies

The Collection of Computer Science Bibliographies
The Hypertext Bibliography Project
LIDOS
Literature Information and Documentation System. 40.000 entries in BibTeX database: Artificial Intelligence. Persistent Bibliographic Information Records: intelligent user interfaces.
CompuTec
Computer Science Bibliography and Journals - FIZ Karlsruhe
Math Bibliography - FIZ Karlsruhe
EURO/WATT Timetabling Bibliography
LNCS search
ACM Digital Library
Welcome to Wiley InterScience
Current Contents Connect
Timetabling Bibliography
in BibTeX
Conferece Proceedings - MPII
Bibliography on Probabilistic Reasoning, CP
Bibliography - Abstract Interpretation for LP
BibTeX databases - DFKI

On-line research papers

Informacni zdroje MU
Bibliografické zdroje, plnotextové zdroje dostupne na MU
CitesSeer
scientific literature digital library. Index of Postscript and PDF research articles on the Web
Networked Computer Science Technical Reports Library
Computing Research Repository (CoRR)
Scirus
Resources of scientific information
Springer LNCS/LNAI
Lecture Notes in Computer Science
ACM Digital Library
Welcome to Wiley InterScience
ScienceDirect
Cora Research Paper Search
MU-ETRDL
ERCIM Technical Reference Digital Library
UW CS&E Technical Reports Library
RI CMU: Publication search
ERCIM Workshops's Papers
Proceedings of the Workshop on CP Applications 1996
Proceedings of the Workshop on Constraints, Databases, and LP 1995
CP95 Workshop on Over-Constrained Systems
Papers of PPCP Workshop 94
CP-AI-OR99 Proceedings
UAI Conferences: Electronic Proceedings
dialog.cvut.cz - Přístup do databázového centra Dialog
CP-AI-OR'02 School on Optimization: on-line notes
SourceOECD:

Libraries

Knihovna FI
Moravska zemska knihovna
WebLIB
Library sources on Internet
TinWeb
Library - Max-Planck-Institut für Informatik
National Library of the Czech Republic
Automatizace knihoven UVT MU
MFF UK Praha - knihovna
D-Lib Magazine
1998 ACM Computing Classification System
Mathematical Subject Classification
Bodleian Library
Polytematický strukturovaný hesláø

FAQs, RFC

Internet FAQ Archives
List of AI-related FAQs
Constraints FAQ
Peggy Eaton
Constraints FAQ
Michael Jampel
Operations Research and Mathematical Optimization - FAQ Lists
comp.lang.prolog FAQ
Old comp.lang.prolog FAQ
structured older version
Optimization (LP,NLP) FAQ
AI FAQ
FAQs Root Directory
VUT Brno FAQs
Soar Frequently Asked Questions List
RFC
Internet Requests for Comments
RFC at FI
FAQ about SED

People

Groups

Constraints people database
People Working In Planning and Scheduling
CCC People
Welcome to Hypatia
Constraint Processing at the DFKI
Participants to CP'98
JICSLP'96 Program Committee
CCL II: People and Teams
Program Committe CP97
Mats Carlsson's Bookmarks
People at Masaryk University

A-D

Slim Abdennadher
Akira Aiba
Nicos Angelopoulos
Krzysztof R. Apt
Philippe Baptiste
Pedro Manuel Barahona
Roman Barták
Roberto Bayardo
Valentina Bayer
Alan Borning
Chris Beck
Frederic Benhamou
Stefano Bistarelli
Alexander Bockmayr
Gerhard Brewka
Alex Brodsky
Bruno Buchberger
Hynek Bures
Edmund Burke
Björn Carlsson
Mats Carlsson
Michael Carter
Yves Caseau
Philippe Codognet
Evelyne Contejean
Gert de Cooman
Julius Csonto
Saumya K. Debray
Rina Dechter
Alessandra Di Pierro
Juergen Dix
Jürgen Dorn
Tim Duncan
Dvorak Jiri

E-K

Sandro Etalle
Francois Fages
Boi V. Faltings
Mark S. Fox
Eugene C. Freuder
Thom Frühwirth
Vinícius Jacques Garcia
Yan Georget
Ian Gent
Roberto Giacobazzi
David Gilbert
or http://www.soi.city.ac.uk/~drg/
Matthew L. Ginsberg
Simon de Givry
Hans-Joachim Goltz
Kannan Govindarajan
Bernard Grabot
Seif Haridi
Martin Henz
Alain Hertz
Christian Holzbaur
John Hooker
Harald Meyer auf`m Hofe
Petr Holub
photograps: fotky
Hoon Hong
Hiroshi Hosobe
Walter Hower
Joxan Jaffar
Anant Singh Jain
Michael Jampel
Peter A. Jarvis
Peter Jeavons
Aravind K. Joshi
David Joslin
Narendra Jussien
Henry Kautz
Michael Kifer
Jeffrey H. Kingston
timetable construction
Donald Knuth
Rainer Kolisch
Manolis Koubarakis

L-R

François Laburthe
Javier Larrosa
Jimmy Lee
Michel Lemaître
Anne Liret
James Lu
Marian Mach
Alan Mackworth
Michael Maher
Elena Marchiori
Michael Marte
Trevor Martin
Matyska Ludek
David McAllester
Amnon Meisels
Francisco Menezes
Eric Monfroy
Ugo Montanari
Leora Morgenstern
Lee Naish
Alexander Nareyek
Charles Nicholas
Ulf Nilsson
Elias Oliveira
Petr Olsak
Greger Ottosson
Gilles Pesant
Andreas Podelski
Patrick Prosser
Klaus Quibeldey-Cirkel
Francesca Rossi
Mirek Ruda
Hana Rudova
Zsófia Ruttkay

S-Z

Manuel Hermenegildo Salinas
Djamila Sam-Haroud
Norman Sadeh-Koniecpol
Vijay Anand Saraswat
Andrea Schaerf
Thomas Schiex
Helmut Simonis
Wolfgang Slany
Barbara Smith
Stephen Smith
Jan Slovak
Gert Smolka
Leon Sterling
Peter Stuckey
V.S. Subrahmanian
Péter Szeredi
Milos Seda
Edward Tsang
Peter van Beek
Bradley T. Vander Zanden
Pascal Van Hentenryck
Jean Francois Regin
Peter Van Roy
Rick J. Wallace
Gérard Verfaillie
David S. Warren
Janyce Wiebe
Derick Wood
Anthony Wren
Qiang (Chung) Yang
Roland Yap
Makoto Yokoo
Lotfi Zadeh
Neng-Fa Zhou

Constraint programming

Archives, guides

CP Online
CCC Constraints Archive - Eaton
City University Constraints Archive - Jampel
Guide to Constraint Programming
SoftCSP - de Givry
Book and Course in CP - Fruewirth&Abdennadher
Constraint Programming and Reasoning - Fruhwirth
Constraint Satisfaction with Preferences - Rudova
contains description of the main approaches to deal with preferences in constraint problems
Search Algorithms for CSPs
Master Thesis with overview of search algorithms
Henz
CSPLib - Gent&Walsh
Archive of CLP Puzzles
Introduction to Constraints
A compendium of NP optimization problems
Global Optimization
Archive of Graph Coloring Problems
Programming Constraint Services

Research groups

ERCIM Working Group on Constraints
ConsNet Home Page
APES
Algorithms Problems Empirical Studies
CCL II
Construction of Computational Logics II
4C - Freuder
Cork Constraint Computation Centre, University College Cork
Constraint Computation Center
UW Constraint-Based Languages and Systems - Borning
The Group on CS and CP - Montari&Rossi
APES Research Group Home Page
Intelligent Systems Laboratory - Lee
CERT Constraint Optimization - Lemaître&Verfaillie
CERT Constraint Optimization - Lemaître&Verfaillie
Publications IRIT - Prade&Dubois&Fargier
SACM - Wren&Smith
Langages logiques et contraintes - Fages
CSP Group University of Essex - Tsang
Declarative Languages Group - Sterling&Stuckey
Programming Systems Lab - Smolka
IC-Parc - M.Wallace
CLP - Bartak
CSP at RHUL - Cohen
CSP at Oxford - Jeavons
Univerzita v Lisabonu - Barahona
Alma: Imperative CP - Apt
ILOG Optimization Papers
SINTEF Norway - Bouzoubaa
CLIP Lab - Hermenegildo
Ecole des Mines de Nantes - Boizumault&Jussien&Lhomme
Constraints WG at LMU - Frühwirth
AI Laboratory - Faltings
Language Research Group - Jayaraman
CLP FTP archive - Mayoh
Phase transitions in constraint satisfaction search - Hogg
CLP Research Vienna - Holzbaur
GMD-FIRST Declarative Systems
Model-based Computing, XEROX
Scheduling, CCP
Palo Alto Research Center, XEROX
Delisoft - Hyvönen
Interval Solver
AI York - Frisch
CLP Group - Bartak
LIA - OR & Optimization
Interactive CSP

Projects

The Library PSBLIB
Problem sets of (resource constrained) scheduling problems with optimal and heuristic solutions
DiSCiPl Project
Debugging Systems for CP
LOCO Project
COnstraint LOgic programming Project

N-Queens, Constraint Satisfaction, Local Search

Timetabling, scheduling

WATT
Working group on Automated Timetabling
PlanSIG UK
The UK Planning and Scheduling Special Interest Group
PLANET
European Network of Excellence in AI Planning
Inter-disciplinary Scheduling Network UK
Complexity results for scheduling problems
Michael Trick's Guide to Sports Scheduling
PSPLIB
Project Scheduling Problem Library
VRP Web - Vehicle Routing Problem
International Timetabling Competition
Library of algorithms for CSP, CSP in planning - Van Beek
A `C' library of routines for solving binary constraint satisfaction problems. CPlan: A constraint programming approach to planning
Mike Carter's exam timetabling problems
Operations Scheduling - Pinedo's book
Solving dynamic RCPSP
Data instances from Abdallah Elkhyari
ASAP - Nottingham
Constraint-Directed Scheduling
Scheduling and Constraint Management - Smith&Wren
Constraint-Based University Course Timetabling - Abdennadher
Planning with Resources - Nareyek
overview of planning systems that are able to handle resources
Knowledge Based Scheduling
Mail archive by thread
Batch Knowledge Centre
information for the batch process industry
Gerstner Laboratory for Intelligent Decision Making and Control
Rozvrhovani, PhD thesis - Majer
Commercial timetabling products - Google
Commercial timetabling products - dmoz.org
British Educational Communications and Technology Agency: Timetabling
Ad Astra Information Systems
Room Scheduling and Reporting Software for Higher Education
aSc TimeTables
School Timetabling software
ComQuip
On-line course, classroom and events scheduler for higher education
CELCAT Timetabler software
ConSolve
constraint based optimization components
Dash Optimization
Event Management Software
Room scheduling and event management software for managing classes, meetings and events
FriarTuck
SW for Scheduling Events
ILOG Optimization Products
LOGIS
supply chain management at Czech Republic
Mimosa
School Timetable Software. Congress Scheduling Software
Remote Agent Experiment
Scientia
distributed timetabling, scheduling, planning and resource management
SICS Intelligent Systems Laboratory
Decision Support for Planning and Scheduling
Timetabler
Timetabling and scheduling software for school and college timetables.

Grid computing

Grid Conferences, Symposia, Workshops and Journals
Resource Management Projects
GrADS - University of Chicago
CRIT2 - Blazewicz
Grid Scheduling - ASAP
Classified Advertisements
GridSim

Logic programming

Oxford LP Library - Bowen
CMU Prolog Repository - Kantrowitz
Association of Logic Programming
Logic Programming - Imperial College
PC AI - Prolog Programming Language
Library of non-monotonic LP Systems and Test Cases
Adventure in Prolog - Amzi
Prolog Tutorial - Fisher
Interactive Prolog Guide - Bartak
"The Art of Prolog" Exercises
SWI Prolog info
Manual, ...
Logic, Programming and Prolog
Ulf Nilsson and Jan Maluszynski.. Previously published by John Wiley & Sons Ltd.
comp.lang.prolog FAQ
Prolog's Links
Compilers, Prolog ISO Standard, ...
Object-Oriented Prolog
Disjunctive Logic Programming - Dix
Mats Carlsson's Bookmarks
Logic Problems Page

Constraint and logic programming languages and systems

Systems -- Constraint systems
Optimization tools
with source code
Arity/Prolog
Amzi Prolog
B-Prolog
Brain Aid Prolog
parallel prolog system for Transputer systems
BinProlog
Caml
Strongly-typed functional programming language from the ML family.. Caml Light and Objective Caml - two implementations
Cassowary
incremental constraint solving toolkit for systems of linear equalities and inequalities with preferences
CHIP - Cosytec
CHR Solvers
Constraint Handling Rules
CLAIRE
high-level functional and object-oriented language with advanced rule processing capabilities
CLIPS
CCP Constraint Programming
CLP(BNR) and ALS Prolog
clp(FD,S)
Semiring-based Constraint Logic Programming language over Finite Domains
CLPGUI
dlv
Disjunctive Datalog System
ECLiPSe - IC-Parc
ELAN
environment for specifying and rototyping deduction systems in a language based on rules controlled by strategies
FaCiLe
constraint programming library over integer finite domain written in OCaml
gbeta
interpreter for object-oriented language BETA
GNU Prolog - Diaz
free Prolog compiler with constraint solving over finite domains
IF/Prolog
ILOG
JavaProlog
ISO standard for Prolog, compiled constraint programming language
JCK
Java Constraint Kit
JCL
Java Constraint Library: development of portable applicationsand applets using the constraints mechanisms
Jini Prolog
Remote Prolog engine services to Jini-enabled components in the network
JSolver - AOTL
Java development tool that adds integer constraint programming capabilities to Java
Kernel Prolog
Java based Horn Clause Solver with Fluents
Logtalk
An extension for Object Oriented Programming in Prolog
LPA Prolog
Mercury
logic/functional programming language
Mozart, Oz
open distributed computing and constraint-based inference
Natural Constraint Language
Boolean logic, integer constraints and set reasoning - for solving combinatorial problems
Omega Project
Omega Library, Omega Calculator, and Petit. The library and calculator allow the manipulation of affine. constraints on integer variables; Petit is used to demonstrate author's. techniques for performing array dependence and dataflow analysis via. constraint manipulation.
Open Prolog
p2html
convertor from Prolog source files to html
Prolog IV - Colmerauer
SICStus Prolog
SICStus v3 manual - CL
StarFLIP++
Strawberry Prolog
A reusable iterative optimization library for combinatorial problems with fuzzy constraints
SWI-Prolog
SWI Prolog info
Manual, ...
ToonTalk
Concurrent Logic Programming for Kids
Toy
Constraint Functional Logic Language
Trinc-Prolog
Twelf
logical framework, including type reconstruction, constraint logic programming language, meta-theorem prover
UniCalc
universal solver for arbitrary algebraic systems of equations and inequalities
Visual Prolog
XPRESS - Dash Optimization
mathematical modeling and optimization tools
YAP Prolog

Local software documentation

SICStus
ECLiPSe
ILOG documentation
Solver
Scheduler
clp(FD,S) User's Manual
Oracle

Typesetting

CSTUG
Czech and Slovak TeX Users Group homepage
TUG
TeX Users Group Home Page
TeX Catalogue - CTAN
LaTeX Tricks
TeXbook naruby
PDFTeX
PPower4
P^4, Pdf Presentation Post Processor
LaTeX2HTML
Info about LaTeX (PDF)
The Not So Short Introduction to LaTeX 2e
(La)TeX Navigator
Materials about TeX (in Czech)
LaTeX2e - Heinrich
LaTeXe help - Etalle
LaTeX manual (in Czech)
Graphics and colour with LaTeX
ZETA
open environment for the development of specification documents based on Z. type-setting, type checking and execution of pure Z by concurrent constraint resolution. integrates the TeX engine and provides Z-LaTeX style
Electronic Document Preparation - Sojka
Mac TeX/LaTeX Web Site
Blue Sky Research
TeX for the macintosh
The SGML Web Page
Èeská skupina uživatelù SGML
HTML 4.01 Specification
HTML 3.2 Reference Specification
tak. tady. si neco
HTMLDOC Home Page
HEVEA: LaTeX to HTML translator
PHP
Hypertext Preprocessor
Society of Newspaper Design
The Colophon Book Store - books, bookmaking, typography, bookbinding, papermaking, printing, literature, bibliography, libraries & calligraphy
Workshop on Principles of Digital Document Processing 98
Workshop on Principles of Document Processing 96
Electronic Publishing 98
Type Books: For the Well Read Typographer

Artificial intelligence

WWW Virtual Library: AI
CMU AI Repository - Kantrowitz
AI Jump List
PC AI - Artificial Intelligence
Artificial Intelligence Internet Resources
Mentifex AI
Noonian's Lab - AI,CI
UAI maillist archive by thread
Generation 5: Artificial Intelligence Repository
MINOPT Software
A Modeling Language and Algorithmic Framework for Linear, Mixed-Integer,. Nonlinear, Dynamic, and Mixed-Integer Nonlinear Optimization
HERMES - A Heterogeneous Reasoning and Mediator System
Educational Tools: Dempster-Shafer Theory
SATLIB - The Satisfiability Library
Propositional satisfiability testing
Evaluation of Intelligent Systems
Associative Network for Machine Learning
B-Course
Interactive tutorial on Bayesian modeling oriented on dependence modeling
Adaptive automation resources
Neural networks books online
Bayesian Network Repository
BISC - Zadeh
Fuzzy Logic and Neurofuzzy resources
MSOE Fuzzy Logic Laboratory
Fuzzy Logic Laboratorium Linz - Hagenberg
Fuzzy Logic/Fuzzy Control/Neural Networks Tools
IRAFM - University of Ostrava
Fuzzy Control course on Internet
Fuzzy literature index - ZAPTRON Systems
The Genetic Algorithms Archive
AI Center

Unsorted research links

Mathematics Encyclopedia
PRIME -- Platonic Realms Interactive Mathematics Encyclopedia
The Stony Brook Algorithm Repository
Collection of algorithm implementations for over seventy of the most fundamental problems in combinatorial algorithms
Programming with Sets
Amulet: development of graphical user interfaces
Garnet: development of graphical user interfaces
blackbox
a SAT technology planning system
SymbolicNet
Operations Research - Brucker
Preprints, Complexity Results for Scheduling Problems, Software
Operations Research Page - Trick
Stas Busygin's NP-Completeness Page
Optimization - Mejzlik
SAL: Optimization Tools
A compendium of NP optimization problems
NEOS Guide: Optimization Software
Computability and Complexity
online course
SATLIB
The Satisfiability Library: collection of benchmark problems, solvers, and tools
TSPLIB
library of sample instances for the TSP
On-line Dictionary of Computing
Programming languages
Scientific Applications on Linux
Common Lisp the Language, 2nd Edition
Scheme code for language implementation
World of Petri Nets
Handbook of Applied Cryptography
Organizace a zpracovani dat - Pokorny
Databazove jazyky - Pokorny
Predmety: Informatika na MFF UK
Feature Descriptions and Constraint-Based Grammars
Parallel Workloads Archive
Meety
Find suitable dates for a meeting
Odborné semináøe ÚIVT
Dictionary of Algorithms and Data Structures
Global Optimization


Masaryk University

Faculty of Informatics
Supercomper Center Brno
Supercomputing Centre Brno
Old pages
Institute of Computer Science
Faculty of Science MU
IS MU
Intranet MU
Veda, vyzkum, zahranici
People at Masaryk University
Kolokvium
Informaticky seminar
Studijni oddeleni FI
ZKUSTO Projekt Houmpejdz
AFS a Kerberos
Heimdal Travelkits
Tiskárny v síti FI MU
Spolek informatiku
FI Photo Archive
Studijní a zkušební řád MU
METACentrum

Purdue University

Purdue University
SMAS
ISS
Office of International Students and Scholars
PUCC
Schedule
Library
People
Exponent
Rec Sports @ Purdue!
Bands
PEFCU
Purdue Employees Federal Credit Union
IRS
Income Tax Forms, Instructions, Publications, Regulations, and other stuff
US postal service
The United States Postal Service

PhD study

PhD skills
How to write an introduction
The Ph.D Experience
Related Research Resources
Collected Advice on Research and Writing
How to Be a Good Graduate Student

Grants

Ministerstvo skolstvi CR
GoAbroad.com
Study Abroad, Volunteer, Teach
Dum zahranicnich sluzeb
Grant Agency CR - Welcome
Fond rozvoje Vysokych skol CR
Femirc
Casopis Rady vysokych skol
ERCIM Fellowship Programme
CORDIS - Fifth Framework Programme
NATO Science Programme
Fulbrightuv program
NSF: Program Announcement
Vyberove rizeni 1998
Stipendia - MU
Bundesministerium für Wissenschaft
Rakousko - Österreich - Austria
Eu Center
Research projects - MUNI web site
GACR

Technical resources

Virtual Room
Videoconferencing System (VRVVS)
INFNet
daVinci
The Graph Visualization System
pgp.cz
Server veøejných klíèù PGP
Unix Resources
Czech Linux Homepage
MySQL
VNC
Virtual Network Computing from AT&T Laboratories Cambridge
HP Electronic Support Center
comp.simulation software archive
Tcl/Tk Project At Sun Microsystems Laboratories
Directory of /pub/tcl
Jano's Vim Macro Page
ASClock Home
C++ Annotations Version 4.4.0m
The Liverpool (UK) HP-UX Software Archive
Author information
MIT distribution site for PGP
Dublin Core Metadata Template


Search

Yahoo!
Google
AltaVista
Lycos
Infoseek
WebCrawler
WhoWhere
People Search
Deja News
Shareware.com
shareware on the Internet
HotBot
List
WWW Virtual Library
Seznam
U zdroje
Atlas
Index
Hotlist
Sherlock
Na vrcholu
ALLA ftp search
Netfind
Telefonni seznam
Zlate stranky
Ceska posta
PSC, ceniky sluzeb
Mailbook

Travel

Transport

Train and bus schedules CR
DPMB Brno
Jizdni rad
Jizdni rad BUS - ATLAS
Jizdni rad BUS
ABUS - Bus Transport Information System
Prague - Transport
Amtrak
Greyhound Lines, Inc.
CheapTicket.com
Flight tickets
Flight tickets
European Railways and Timetables
CTU Railway Page
Czech Airlines
British Airways
Flight Search
Washington Metro
IAD: Dulles International Airport
Czech Railways
Data and Information Services
CID International,a.s.
Nottingham: Public Transport & Maps

Maps

Mapa mesta Brna
Praha Interactive
Mapy CR
Mapy CR na ATLASu
Mapa okoli Brna
Virtual Tourist World Map
EarthaMaps
MapQuest
Online Maps, travel guide, hotels, ...
TerraServer

Travel Agencies

CK Alpy
CK Condor
CK Retour - Sumava
CK InterTrans

Czech Republic

Brno
KAM v Brne
Kulturní a informaèní centrum mìsta Brna
Kohoutovice
Snezne
Hradec Králové
Jaromer - Josefov
Velichovky
www.akcenaveveri.cz - seznam akcí konaných na hradě Veveří agenturou AC&LC Manager Music
Hotel Voronez
Hotel International Brno
Okolí Brněnské přehrady
Správa jeskyní Moravského krasu
Lysice
Hotel Skalní mlýn
Spolecnost pro Moravsky kras
Zámek Lysice - Průvodce po Česku
Fajnšmekr - server pro labužníky
Ski Praded - Ovcarna
České hory
Moderní Brno
Letiste Brno Turany
Harrachov - Certova hora

Other regions

Indiana

Indiana
The Official Website of the State of Indiana
Indiana State Events
Indianapolis Convention & Visitors Assoc.
Sites and city guide to Indianapolis
Eiteljorg Museum
Indianapolis Museum of Art

Lafayette

Lafayette
West Lafayette
Greater Lafayette
Journal Lafayette
Chateau-musee Lafayette
Lafayette Museum of Art
City Bus

Austria

TIScover
Salzburger Land
Upper Austria
Flachau
Lacknerhof
Hoge Tauern
Wipptal

UK
Travel Guide
Brighton & Hove
Paris
Cyprus
Orlando
Alexandria
Czech.cz | Welcome
Czech Republic - the Official Travel Site of Czech Tourism

travel.com
Choice Hotel
KaM UK - koleje
Cestak.com – | Cestovní výkazy on-line

Weather

Yahoo! Weather
CNN - Weather
weather.com
Novinky: Počasí
Èeský hydrometeorologický ústav
Internet Geographic Magazine
Interactive Weather Information Network
Ski Club - snow conditions

Dictionaries

English - Czech Dictionary
English dictionary with pronunciation
Hypertext Webster Gateway at UCSD
Moravia Translations
German - Czech Dictionary
LangSoft Multilingual Dictionary
Anglicko Èeský Slovník
Dictionaries
Dictionary.com
Project Gutenberg Thesaurus Index
Lexical FreeNet
thesaurus
The Probert Encyclopaedia
Thesaurus
English on the Internet
AltaVista - Babel Fish Translation
Web MetaTrans

Magazines

Mlada fronta
Neviditelný pes
BBC - Czech
Britské listy
Svet Namodro
Halo Brno
DownTown
Academica
Lupa
Capitol Internet Publisher
pvt.net - News on 'Net
News from Slovakia
PET
Casopisy na stavba.cz
Cosmopolitan
Gentlemanuv denik
Centrum.cz Lidovky


Finance

Ceska narodni banka
Currency Converter
Peníze.cz
Mesec
server o osobních financích
finance.cz
Burza cenných papírù Praha
Ceska sporitelna
Raiffeisenbank
Ceska posta
PSC, ceniky sluzeb

House

Gazel
Studio zdraveho spaní - JMP
Svet vody
TEiKO
Novaservis
Chlumcanske keramicke zavody a.s.
Keramika Horni Briza a.s.
TIBA
Server o stavbe
Server nemovitostí
HARTMAN - CZECH
Nábytek Fišer s.r.o.
Kovo Krab - Výroba zahradního nábytku
Torona nábytek
Studio zdravého spaní - JMP
Faktor-light - svetla
Benedika - úklid
Fotolab sberna

Cars

Skoda Auto
Daewoo
Opel
Volkswagen
ROS, a.s.
Centrum.cz Motožurnál
Automix.cz

Shops

NovyMobil.cz
Mobile-review.com Review GSM phone Samsung E720/E730
PennyBlack
123mobil.cz
Cybex.cz
MobilMania.cz
Mobilky.cz

Baby Shops

Svet hracek
Internetove hrackarstvi Prales
Nakupni dum: Vlackodrahy
Rakosnicek.cz
Detsky raj
Detsky dum
Babywelt.cz

Lego

Legacek
LegoRaj - Lego, vlackodrahy
L e g o l a n d
Lego Duplo
Lego Products
LEGO, Merkur stavebnice SCANDIMEX
Peeron™ LEGO© Set Inventories
LUGNET

Others

ArtForum
gallery: Born, Saudek, Srncova, Zoubek, ...
Internet Smileys
Sayings Collection Index
Standard Time around the World
The Lord of the Rings
IGallery - Interacta a.s.
Fine Art Wallpapers
Rough Guides
travel, music, internet
Women and Computer Science
Women.com Network
Miroslav Ruda's Bookmarks
www.fudge.cz
Vtipy, obrazky, ...
Ljochova stranka pro trubky
Trubkoweb kverulant
HQH System
potapeni, obaly na fotoaparaty
Zeny a veda.cz
Barunka sandwiches
Doktorka.cz
Fantasy Shop.cz


This page was last updated on February 25, 2006. Suggestions are still welcome.
Hana Rudova(hanka@fi.muni.cz)