Kasutaja kaastöö
Mine navigeerimisribale
Mine otsikasti
- 11. veebruar 2015, kell 13:00 erin ajal 0 U Fail:ITI0130 Coffee.q praegune
- 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)
- 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)
- 18. september 2014, kell 14:45 erin ajal 0 U Fail:ITI0021 Praktikum 3 Marsruutide leidmine.pl praegune
- 18. september 2014, kell 14:45 erin ajal 0 U Fail:ITI0021 Praktikum 3 juhend.pdf praegune
- 18. september 2014, kell 14:45 erin ajal +231 Loogiline programmeerimine (2014)
- 11. september 2014, kell 15:03 erin ajal 0 U Fail:ITI0021 Praktikum 2.pl praegune
- 11. september 2014, kell 14:52 erin ajal 0 U Fail:ITI0021 Praktikum 2 juhend.pdf praegune
- 11. september 2014, kell 14:52 erin ajal +178 Loogiline programmeerimine (2014)
- 4. september 2014, kell 14:13 erin ajal +29 Loogiline programmeerimine (2014)
- 4. september 2014, kell 14:12 erin ajal 0 U Fail:ITI0021 Praktikum 1 juhend.pdf praegune
- 4. september 2014, kell 14:11 erin ajal 0 Loogiline programmeerimine (2014)
- 4. september 2014, kell 14:11 erin ajal 0 Fail:ITI0021 Praktikum 1.pdf Evelin laadis üles faili "Pilt:ITI0021 Praktikum 1.pdf" uue versiooni praegune
- 4. september 2014, kell 14:10 erin ajal 0 U Fail:ITI0021 Praktikum 1.pdf
- 4. september 2014, kell 14:10 erin ajal +76 Loogiline programmeerimine (2014)
- 4. september 2014, kell 14:06 erin ajal +163 Loogiline programmeerimine (2014)
- 3. september 2014, kell 14:28 erin ajal +1 Loogiline programmeerimine (2014)
- 3. september 2014, kell 14:28 erin ajal 0 U Fail:ITI0021 lecture1 2014.pdf praegune
- 3. september 2014, kell 14:26 erin ajal +13 Loogiline programmeerimine (2014) →Loengud
- 3. september 2014, kell 14:25 erin ajal +23 Loogiline programmeerimine (2014)
- 3. september 2014, kell 14:23 erin ajal +40 U ITI0021 Ümbersuunamine lehele Loogiline programmeerimine praegune
- 3. september 2014, kell 14:23 erin ajal 0 Esileht →Bakalaureuseõppe kursused
- 3. september 2014, kell 14:23 erin ajal 0 Esileht →Bakalaureuseõppe kursused
- 3. september 2014, kell 14:22 erin ajal -1 Machine learning →Lecture 1: Introduction, decision trees
- 3. september 2014, kell 14:19 erin ajal +8 Loogiline programmeerimine (2014) →Loengud
- 3. september 2014, kell 14:18 erin ajal 0 Loogiline programmeerimine (2014)
- 3. september 2014, kell 14:14 erin ajal 0 Loogiline programmeerimine (2014)
- 3. september 2014, kell 14:14 erin ajal +1 Loogiline programmeerimine (2014)
- 3. september 2014, kell 14:13 erin ajal +1 Loogiline programmeerimine (2014)
- 3. september 2014, kell 14:12 erin ajal -1 Loogiline programmeerimine (2014)
- 3. september 2014, kell 14:11 erin ajal +64 Loogiline programmeerimine (2014)
- 3. september 2014, kell 14:08 erin ajal +11 Loogiline programmeerimine (2014) →Loengud
- 3. september 2014, kell 14:03 erin ajal +28 Loogiline programmeerimine (2014)
- 3. september 2014, kell 14:02 erin ajal -1 Loogiline programmeerimine (2014) →Hindamiskriteeriumid
- 3. september 2014, kell 14:02 erin ajal -1 Loogiline programmeerimine (2014) →Hindamiskriteeriumid
- 3. september 2014, kell 14:01 erin ajal +2 Loogiline programmeerimine (2014) →Hindamiskriteeriumid
- 3. september 2014, kell 14:01 erin ajal -8 Loogiline programmeerimine (2014) →Hindamiskriteeriumid
- 3. september 2014, kell 14:00 erin ajal +23 Loogiline programmeerimine (2014) →Teated 2014
- 3. september 2014, kell 13:59 erin ajal +24 Loogiline programmeerimine (2014) →Teated 2014
- 3. september 2014, kell 13:53 erin ajal -140 Loogiline programmeerimine (2014)
- 3. september 2014, kell 13:49 erin ajal +255 Loogiline programmeerimine (2014)
- 3. september 2014, kell 13:42 erin ajal +54 Loogiline programmeerimine (2014) →Teated 2013