Links
Věda
Science Citation Index Expanded
Generátor vědeckých lánků - doporuuji :-)!
Embedded & Real-time portals
Embedded systems colloquium - Kolokvium vestavěných systémů
Literatura, knihovny
Knihovny
Knihovny ČVUT - informaní zdroje (e-asopisy)
DIALOG - brána k vybraným informaním zdrojům
EDD - Elektronické dodávání dokumentů uživatelům z ČVUT
CiteSeer - scientific literature digital library
Matematika
Obecná
Wikipedia - free-content encyclopedia
MathWorld - comprehensive and interactive mathematics encyclopedia
The Electronic Library of Mathematics
Grafy
Reinhard Diestel: Graph Theory, Second Edition, Electronic Edition
JUNG — the Java Universal Network/Graph Framework a software library that provides a common and extendible language for the modeling, analysis, and visualization of data that can be represented as a graph or network.
Krajinou grafových algoritmů Skripta k přednáškám na MFF; Autor: Martin Mareš
Matlab
MATLAB Central - matlab file exchange
Matlog: Logistics Engineering Matlab Toolbox
SAT Boolean Satisfiabilty
Wikipedia - Boolean satisfiability problem
SATLIB - The Satisfiability Library
Software Algorithms and Tools for constraint solving
Složitost
Optimalizace
LP a ILP
Linear Programming Frequently Asked Questions
Lineární programování - Diplomová práce TU Liberec
NEOS - Server for optimization (online solvers)
Success Stories in Integrated Optimization
Integer Programming kurz na Lehigh University.
Scheduling
Complexity results for scheduling problems (Prof. Brucker)
Anglicko-eský slovník používané terminologie
Verifikace
Linux, programování, open source atd.
Open source
- SourceForge - skladiště open source projektů. Vývojářům dává k dispozici spoustu užitených nástrojů jako CVS, mailové konference atd.
- FreshMeat - katalog open source software. Uživatelé se mohou zaregistrovat aby jim chodily upzornění na nové verze atd.
Programování
- Dictionary of Algorithms and Data Structures
- LAPACK - Linear Algebra PACKage
- GSL - GNU Scientific Library
- Sněhurka - výpoetní cluster MFF UK.
Přednášky a kursy
- MIT OpenCourseWare - a free and open educational resource (OER) for educators, students, and self-learners around the world.
Jazyky
Anglitina
- The Guide to Grammar and Writing - anglická gramatika.
- Dict.org - vyhledávání v anglických výkladových slovnících.
- Synonyms Thesaurus - synonyma, antonyma, výkladový slovník.
- Česko-anglická terminologie - univerzita/výuka
Čeština
- Pravidla.cz - Pravidla eského pravopisu.
- Jazyková poradna ÚJČ AV ČR: FAQ.
LATEX
- BibTEX style - BibTEX style examples using a variety of public-domain .bst files
- Jabref - program na správu BibTexové databáze
Jak napsat dobry clanek
http://www.cs.brandeis.edu//~liuba/resources-students.html
Ostatní
- JoinPDF - lepi PDF souborů pro Win, Linux atd.