Kasutaja kaastöö
Mine navigeerimisribale
Mine otsikasti
- 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)
- 9. oktoober 2014, kell 10:17 erin ajal 0 Fail:ITI0021 Praktikum 5 juhend.pdf Evelin laadis üles faili "Pilt:ITI0021 Praktikum 5 juhend.pdf" uue versiooni praegune
- 9. oktoober 2014, kell 10:02 erin ajal 0 U Fail:ITI0021 Praktikum 5 Klassid.pl praegune
- 9. oktoober 2014, kell 10:02 erin ajal 0 U Fail:ITI0021 Praktikum 5 juhend.pdf
- 9. oktoober 2014, kell 09:55 erin ajal +219 Loogiline programmeerimine (2014)
- 8. oktoober 2014, kell 07:05 erin ajal -3 Formal methods in model-based testing and verification
- 8. oktoober 2014, kell 07:05 erin ajal +11 Formal methods in model-based testing and verification
- 8. oktoober 2014, kell 07:04 erin ajal 0 U Fail:Vain BEC14 05 06.pdf praegune
- 8. oktoober 2014, kell 07:03 erin ajal +25 Formal methods in model-based testing and verification
- 2. oktoober 2014, kell 11:09 erin ajal 0 U Fail:ITI0021 Praktikum 4 Listid.pl praegune
- 2. oktoober 2014, kell 11:08 erin ajal 0 U Fail:ITI0021 Praktikum 4 juhend.pdf praegune
- 2. oktoober 2014, kell 11:05 erin ajal +184 Loogiline programmeerimine (2014)
- 24. september 2014, kell 12:44 erin ajal -8 Loogiline programmeerimine (2014)
- 24. september 2014, kell 12:41 erin ajal +8 Loogiline programmeerimine (2014)
- 22. september 2014, kell 16:27 erin ajal +1 Loogiline programmeerimine (2014)
- 22. september 2014, kell 16:26 erin ajal -1 Loogiline programmeerimine (2014) →Loengud
- 22. september 2014, kell 16:25 erin ajal 0 U Fail:ITI0021 lecture3 2014.pdf praegune
- 22. september 2014, kell 16:25 erin ajal 0 U Fail:ITI0021 lecture2 2 2014.pdf praegune
- 22. september 2014, kell 16:24 erin ajal 0 U Fail:ITI0021 lecture2 1 2014.pdf praegune
- 22. september 2014, kell 16:24 erin ajal +142 Loogiline programmeerimine (2014)