Marian Vittek/en: Rozdiel medzi revíziami
| Riadok 21: | Riadok 21: | ||
* Constraint solving | * Constraint solving | ||
* Systémy na prepisovanie termov | * Systémy na prepisovanie termov | ||
| − | |||
=== Publications === | === Publications === | ||
| − | * | + | * [http://ii.fmph.uniba.sk/~vittek/publications.html] |
}} | }} | ||
Verzia zo dňa a času 15:57, 7. apríl 2010
Marián Vittek
|
|
Teaching
- Linux pre Používateľov
- Pokročilé C++
Research
- Programovacie jazyky
- Softvérové inžinierstvo
- Refaktorovanie programov
- Constraint solving
- Systémy na prepisovanie termov