Kasutaja kaastöö
Mine navigeerimisribale
Mine otsikasti
- 11. veebruar 2015, kell 13:00 erin ajal 0 U Fail:ITI0130 Coffee.xml praegune
- 11. veebruar 2015, kell 12:59 erin ajal 0 U Fail:ITI0130 Lab1 Coffee machine 2015.pdf praegune
- 11. veebruar 2015, kell 12:59 erin ajal +233 Software Synthesis and Verification
- 11. veebruar 2015, kell 12:02 erin ajal -2 Software Synthesis and Verification
- 4. veebruar 2015, kell 15:35 erin ajal +80 Software Synthesis and Verification
- 4. veebruar 2015, kell 13:35 erin ajal 0 Software Synthesis and Verification
- 4. veebruar 2015, kell 13:35 erin ajal -3 Software Synthesis and Verification
- 4. veebruar 2015, kell 13:35 erin ajal -1 Software Synthesis and Verification
- 4. veebruar 2015, kell 13:35 erin ajal +5 Software Synthesis and Verification
- 4. veebruar 2015, kell 13:35 erin ajal +1 Software Synthesis and Verification
- 4. veebruar 2015, kell 13:16 erin ajal 0 Software Synthesis and Verification
- 4. veebruar 2015, kell 13:14 erin ajal -1 Software Synthesis and Verification →Lecture notes
- 4. veebruar 2015, kell 13:09 erin ajal +8 Software Synthesis and Verification
- 4. veebruar 2015, kell 13:09 erin ajal -1 Software Synthesis and Verification
- 4. veebruar 2015, kell 13:08 erin ajal +5 Software Synthesis and Verification
- 4. veebruar 2015, kell 13:08 erin ajal -1 P Software Synthesis and Verification
- 4. veebruar 2015, kell 13:07 erin ajal +6 Software Synthesis and Verification
- 4. veebruar 2015, kell 13:06 erin ajal 0 U Fail:ITI0130 Light.q praegune
- 4. veebruar 2015, kell 13:03 erin ajal 0 U Fail:ITI0130 Light.xml praegune
- 4. veebruar 2015, kell 13:00 erin ajal 0 U Fail:ITI0130 uppaal eng 2013.pdf praegune
- 4. veebruar 2015, kell 12:59 erin ajal -128 Software Synthesis and Verification
- 4. veebruar 2015, kell 12:56 erin ajal +219 Software Synthesis and Verification
- 4. veebruar 2015, kell 12:42 erin ajal -5910 Software Synthesis and Verification
- 4. veebruar 2015, kell 12:31 erin ajal +6809 U Software Synthesis and Verification Uus lehekülg: ''''Ainekood''': ITI0130 <br> '''Link''': http://courses.cs.ttu.ee/pages/ITI0021<br> '''Õppejõud''': prof. Jüri Vain<br> '''Kontakt''': juri.vain ätt ttu.ee, ICT-418, Vastuv...'
- 4. veebruar 2015, kell 12:29 erin ajal +28 U ITI0130 Ümbersuunamine lehele Formal Methods praegune
- 4. veebruar 2015, kell 12:24 erin ajal +47 Esileht
- 5. jaanuar 2015, kell 09:36 erin ajal +187 Loogiline programmeerimine (2014)
- 8. detsember 2014, kell 07:25 erin ajal 0 Loogiline programmeerimine (2014) →Hindamiskriteeriumid
- 8. detsember 2014, kell 07:24 erin ajal -1 Loogiline programmeerimine (2014) →Hindamiskriteeriumid
- 13. november 2014, kell 12:04 erin ajal 0 U Fail:ITI0021 Praktikum 10 juhend.pdf praegune
- 13. november 2014, kell 12:04 erin ajal +126 Loogiline programmeerimine (2014)
- 6. november 2014, kell 12:38 erin ajal 0 Fail:ITI0021 Praktikum 9 LA solverN.pl Evelin laadis üles faili "Pilt:ITI0021 Praktikum 9 LA solverN.pl" uue versiooni praegune
- 6. november 2014, kell 12:15 erin ajal 0 U Fail:ITI0021 Praktikum 9 LA solverN.pl
- 6. november 2014, kell 12:14 erin ajal 0 U Fail:ITI0021 Praktikum 9 juhend.pdf praegune
- 6. november 2014, kell 12:14 erin ajal +218 Loogiline programmeerimine (2014)
- 30. oktoober 2014, kell 13:05 erin ajal 0 Fail:ITI0021 Praktikum 8 kabe.pl Evelin laadis üles faili "Pilt:ITI0021 Praktikum 8 kabe.pl" uue versiooni praegune
- 30. oktoober 2014, kell 12:08 erin ajal 0 U Fail:ITI0021 Praktikum 8 kabe.pl
- 30. oktoober 2014, kell 12:08 erin ajal 0 U Fail:ITI0021 Praktikum 8 juhend.pdf praegune
- 30. oktoober 2014, kell 12:08 erin ajal +198 Loogiline programmeerimine (2014)
- 28. oktoober 2014, kell 12:03 erin ajal +78 Loogiline programmeerimine (2014)
- 23. oktoober 2014, kell 11:08 erin ajal 0 U Fail:ITI0021 Loeng 8.pdf praegune
- 23. oktoober 2014, kell 11:08 erin ajal +93 Loogiline programmeerimine (2014)
- 23. oktoober 2014, kell 11:06 erin ajal 0 U Fail:ITI0021 Praktikum 7.pl praegune
- 23. oktoober 2014, kell 11:06 erin ajal 0 U Fail:ITI0021 Praktikum 7 juhend.pdf praegune
- 23. oktoober 2014, kell 11:05 erin ajal +174 Loogiline programmeerimine (2014)
- 16. oktoober 2014, kell 11:03 erin ajal 0 U Fail:ITI0021 Loeng 7.pdf praegune
- 16. oktoober 2014, kell 11:03 erin ajal +102 Loogiline programmeerimine (2014)
- 16. oktoober 2014, kell 10:42 erin ajal 0 U Fail:ITI0021 Praktikum 6.pl praegune
- 16. oktoober 2014, kell 10:41 erin ajal 0 U Fail:ITI0021 Praktikum 6 juhend.pdf praegune
- 16. oktoober 2014, kell 10:34 erin ajal +207 Loogiline programmeerimine (2014)