Tõnu Tamme
| on seotud projektidega | |||
|---|---|---|---|
| nr | tunnusnumber | teema, asutus, amet | kestus |
| 1. | ETF5279 | Formaalsel semantikal baseeruv programmide analüüs ja teisendamine (Tartu Ülikool, lektor) | 2002 - 2004 |
| 2. | ETF4917 | Programmide matemaatiline konstrueerimine II (Tartu Ülikool, lektor) | 2001 - 2003 |
| 3. | SF0180520s98 | Arvutiteaduse mudelid ja meetodid infotehnoloogias (Tartu Ülikool, lektor) | 1998 - 2002 |