Difference between revisions of "Marian Vittek/en"
| Line 21: | Line 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] |
}} | }} | ||
Revision as of 15:57, 7 April 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