Kasutaja kaastöö
Mine navigeerimisribale
Mine otsikasti
- 10. november 2020, kell 19:50 erin ajal 0 Loogiline programmeerimine (2020) →Loengute slaidid
- 10. november 2020, kell 19:48 erin ajal +7 Loogiline programmeerimine (2020) →Loengute slaidid
- 10. november 2020, kell 19:47 erin ajal +4 Loogiline programmeerimine (2020) →Loengute slaidid
- 10. november 2020, kell 19:46 erin ajal +34 Loogiline programmeerimine (2020) →Loengute slaidid
- 10. november 2020, kell 19:42 erin ajal +39 Loogiline programmeerimine (2020) →Loengute slaidid
- 10. november 2020, kell 19:40 erin ajal +12 Loogiline programmeerimine (2020) →Loengute slaidid
- 10. november 2020, kell 19:39 erin ajal 0 U Fail:ITI0211 Loeng 9 2020CLP.pdf praegune
- 10. november 2020, kell 19:39 erin ajal +2 Loogiline programmeerimine (2020) →Loengute slaidid
- 3. november 2020, kell 12:36 erin ajal 0 U Fail:ITI0211 Loeng 8 2020 DCG.pdf praegune
- 3. november 2020, kell 12:36 erin ajal +4 Loogiline programmeerimine (2020) →Loengute slaidid
- 27. oktoober 2020, kell 13:29 erin ajal 0 U Fail:ITI0211 Loeng 7 2020 algebra prg .pdf praegune
- 27. oktoober 2020, kell 13:29 erin ajal +12 Loogiline programmeerimine (2020) →Loengute slaidid
- 25. oktoober 2020, kell 17:57 erin ajal +51 Esileht →Magistrantidele suunatud kursused
- 20. oktoober 2020, kell 16:57 erin ajal +13 Loogiline programmeerimine (2020) →Loengute slaidid
- 20. oktoober 2020, kell 16:56 erin ajal 0 U Fail:ITI0211 Loeng 6 2020.pdf praegune
- 20. oktoober 2020, kell 16:56 erin ajal -9 Loogiline programmeerimine (2020) →Loengute slaidid
- 20. oktoober 2020, kell 16:55 erin ajal -27 Loogiline programmeerimine (2020) →Loengute slaidid
- 13. oktoober 2020, kell 07:28 erin ajal 0 U Fail:ITI0211 Loogiline programmeerimine Harjutus 1.pdf praegune
- 13. oktoober 2020, kell 07:28 erin ajal +11 Loogiline programmeerimine (2020) →Loengute slaidid
- 15. september 2020, kell 07:44 erin ajal 0 U Fail:ITI0211 Loeng 3 2020 List operations.pdf praegune
- 15. september 2020, kell 07:43 erin ajal +16 Loogiline programmeerimine (2020) →Loengute slaidid
- 15. september 2020, kell 06:18 erin ajal 0 U Fail:ITI0021 Loeng 2 2020 Prolog.pdf praegune
- 15. september 2020, kell 06:18 erin ajal +8 Loogiline programmeerimine (2020) →Loengute slaidid
- 15. september 2020, kell 06:16 erin ajal -9 Loogiline programmeerimine (2020) →Loengute slaidid
- 15. september 2020, kell 06:16 erin ajal -19 Loogiline programmeerimine (2020) →Loengud
- 15. september 2020, kell 06:15 erin ajal +8 Loogiline programmeerimine (2020) →Loengud
- 15. september 2020, kell 06:14 erin ajal 0 U Fail:ITI0021 Loeng 3 2020.pdf praegune
- 15. september 2020, kell 06:13 erin ajal 0 Loogiline programmeerimine (2020) →Loengud
- 2. september 2020, kell 09:44 erin ajal 0 U Fail:ITI0211 Loeng 1 2020.pdf praegune
- 2. september 2020, kell 09:43 erin ajal -1 Loogiline programmeerimine (2020) →Loengud
- 2. september 2020, kell 09:40 erin ajal 0 Loogiline programmeerimine (2020) →Sügis 2020
- 31. august 2020, kell 08:32 erin ajal -1 Loogiline programmeerimine (2020) →Sügis 2020
- 31. august 2020, kell 08:32 erin ajal +14 Loogiline programmeerimine (2020) →Sügis 2020
- 31. august 2020, kell 08:29 erin ajal 0 Loogiline programmeerimine (2020) →Loengud
- 31. august 2020, kell 08:27 erin ajal +15 Loogiline programmeerimine (2020) →Loengud
- 31. august 2020, kell 08:23 erin ajal +102 Loogiline programmeerimine (2020) →Loengud
- 31. august 2020, kell 08:20 erin ajal 0 Loogiline programmeerimine (2020) →Loengud
- 31. august 2020, kell 08:18 erin ajal +2 Loogiline programmeerimine (2020) →Sügis 2019
- 7. jaanuar 2020, kell 15:26 erin ajal 0 Loogiline programmeerimine (2020) →Kodutöö 2018
- 12. detsember 2019, kell 13:56 erin ajal +57 ITI8610 →Module II: : Assured Software Analytics praegune
- 12. detsember 2019, kell 13:53 erin ajal 0 U Fail:HomeAssignmnet of Module II.pdf praegune
- 12. detsember 2019, kell 13:53 erin ajal +9 ITI8610 →Module II
- 28. november 2019, kell 08:10 erin ajal +10 ITI8610 →Module II: : Assured Software Analytics
- 28. november 2019, kell 08:08 erin ajal +25 ITI8610 →Module II: : Assured Software Analytics
- 28. november 2019, kell 07:59 erin ajal +17 ITI8610 →Module II: : Assured Software Analytics
- 28. november 2019, kell 07:58 erin ajal +16 ITI8610 →Module II: : Assured Software Analytics
- 28. november 2019, kell 07:57 erin ajal +67 ITI8610 →Module II: : Assured Software Analytics
- 28. november 2019, kell 07:53 erin ajal +22 ITI8610 →Module II: : Assured Software Analytics
- 28. november 2019, kell 07:52 erin ajal +29 ITI8610 →Module II: : Assured Software Analytics
- 20. november 2019, kell 15:34 erin ajal +2 ITI8610 →Module II: : Assured Software Analytics
- 20. november 2019, kell 15:33 erin ajal +109 ITI8610 →Module II: : Assured Software Analytics
- 18. november 2019, kell 15:19 erin ajal +3 P Loogiline programmeerimine (2020) →Loengud
- 18. november 2019, kell 15:18 erin ajal +67 Loogiline programmeerimine (2020) →Loengud
- 22. oktoober 2019, kell 17:47 erin ajal +10 ITI8610 →Time and place
- 22. oktoober 2019, kell 17:45 erin ajal +8 ITI8610 →Time and place
- 22. oktoober 2019, kell 17:45 erin ajal -3 ITI8610 →Time and place
- 8. oktoober 2019, kell 13:35 erin ajal 0 U Fail:Kordamisküsimused Testiks 1 2019.pdf praegune
- 8. oktoober 2019, kell 13:26 erin ajal +47 Loogiline programmeerimine (2020) →Loengud
- 20. september 2019, kell 07:50 erin ajal 0 ITI8610 →Project Teams
- 20. september 2019, kell 07:50 erin ajal +65 ITI8610 →Project Teams
- 20. september 2019, kell 07:47 erin ajal +66 ITI8610 →Project Teams
- 17. september 2019, kell 08:57 erin ajal 0 U Fail:ITI0211 Loeng 3 2019 LP.pdf praegune
- 17. september 2019, kell 08:56 erin ajal +4 Loogiline programmeerimine (2020) →Loengud
- 12. september 2019, kell 11:52 erin ajal +212 ITI8610 →Project Teams
- 11. september 2019, kell 09:27 erin ajal +1 ITI8610 →Practice Assignments (same topic can be chosen by several teams)
- 11. september 2019, kell 09:27 erin ajal +45 ITI8610 →Practice Assignments
- 11. september 2019, kell 09:26 erin ajal +6 ITI8610 →Project Teams
- 11. september 2019, kell 09:26 erin ajal +101 ITI8610 →Project Teams
- 10. september 2019, kell 18:09 erin ajal +67 ITI8610 →Project Teams
- 10. september 2019, kell 12:40 erin ajal +25 ITI8610 →Project Teams
- 10. september 2019, kell 12:39 erin ajal +8 ITI8610 →Project Teams
- 10. september 2019, kell 12:38 erin ajal -2 ITI8610 →Project Teams
- 10. september 2019, kell 12:38 erin ajal +1 ITI8610 →Practice Assignments
- 10. september 2019, kell 12:37 erin ajal +692 ITI8610 →Practice Assignments
- 9. september 2019, kell 14:56 erin ajal 0 U Fail:ITI0211 Loeng 1 2019.pdf praegune
- 9. september 2019, kell 14:53 erin ajal 0 Loogiline programmeerimine (2020) →Loengud
- 9. september 2019, kell 14:52 erin ajal 0 Esileht →Bakalaureuseõppe kursused
- 4. september 2019, kell 12:22 erin ajal 0 ITI8610 →News 2018
- 2. juuni 2019, kell 09:10 erin ajal +1 Software Synthesis and Verification →Time and place
- 2. juuni 2019, kell 09:09 erin ajal +93 Software Synthesis and Verification →Time and place
- 2. juuni 2019, kell 09:08 erin ajal -4 Software Synthesis and Verification →Time and place
- 2. juuni 2019, kell 09:07 erin ajal +6 Software Synthesis and Verification →Time and place
- 21. mai 2019, kell 09:57 erin ajal 0 U Fail:Test 2 2019 lahendus.pdf praegune
- 21. mai 2019, kell 09:57 erin ajal -1 Software Synthesis and Verification →Lecture plan
- 20. mai 2019, kell 10:37 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 20. mai 2019, kell 10:36 erin ajal +8 Software Synthesis and Verification →Lecture plan
- 20. mai 2019, kell 10:35 erin ajal +22 Software Synthesis and Verification →Lecture plan
- 20. mai 2019, kell 10:34 erin ajal +43 Software Synthesis and Verification →Lecture plan
- 18. mai 2019, kell 06:27 erin ajal +7 Software Synthesis and Verification →Lecture plan
- 18. mai 2019, kell 06:26 erin ajal 0 U Fail:Test 2 2019 lahendus1.pdf praegune
- 18. mai 2019, kell 06:25 erin ajal +82 Software Synthesis and Verification →Lecture plan
- 5. aprill 2019, kell 10:42 erin ajal +10 Software Synthesis and Verification →Labs
- 20. märts 2019, kell 08:51 erin ajal +61 Software Synthesis and Verification →Lecture plan
- 3. märts 2019, kell 18:31 erin ajal +12 Software Synthesis and Verification →Lecture plan
- 3. märts 2019, kell 18:30 erin ajal +8 Software Synthesis and Verification →Time and place
- 3. märts 2019, kell 18:27 erin ajal +15 Software Synthesis and Verification →Lecture plan
- 3. märts 2019, kell 18:25 erin ajal +2 Software Synthesis and Verification →Lecture plan
- 3. märts 2019, kell 18:24 erin ajal +2 Software Synthesis and Verification →Lecture plan
- 3. märts 2019, kell 18:23 erin ajal -24 Software Synthesis and Verification →Lecture plan
- 3. märts 2019, kell 18:22 erin ajal +11 Software Synthesis and Verification →Lecture plan
- 3. märts 2019, kell 18:21 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 3. märts 2019, kell 18:20 erin ajal +104 Software Synthesis and Verification →Lecture plan
- 3. märts 2019, kell 18:16 erin ajal +204 Software Synthesis and Verification →Lecture plan
- 3. märts 2019, kell 18:11 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 3. märts 2019, kell 18:09 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 16. veebruar 2019, kell 16:23 erin ajal -25 MSc seminar I 2019 Spring →ITX8301 Magistriseminar I / MSc Seminar I praegune
- 16. veebruar 2019, kell 16:21 erin ajal 0 U Fail:Seminar 3 Searching sources.pdf praegune
- 16. veebruar 2019, kell 16:21 erin ajal +83 MSc seminar I 2019 Spring →ITX8301 Magistriseminar I / MSc Seminar I
- 11. veebruar 2019, kell 08:56 erin ajal +6 MSc seminar I 2019 Spring →ITX8301 Magistriseminar I / MSc Seminar I
- 11. veebruar 2019, kell 08:55 erin ajal -21 MSc seminar I 2019 Spring →ITX8301 Magistriseminar I / MSc Seminar I
- 3. veebruar 2019, kell 15:46 erin ajal +293 MSc seminar I 2019 Spring
- 3. veebruar 2019, kell 15:37 erin ajal 0 U Fail:Thesis structure.pdf praegune
- 3. veebruar 2019, kell 15:36 erin ajal +27 MSc seminar I 2019 Spring →ITX8301 Magistriseminar I / MSc Seminar I
- 3. veebruar 2019, kell 15:32 erin ajal +65 MSc seminar I 2019 Spring →ITX8301 Magistriseminar I / MSc Seminar I
- 3. veebruar 2019, kell 12:05 erin ajal -1 Software Synthesis and Verification →Time and place
- 3. veebruar 2019, kell 12:02 erin ajal +11 Software Synthesis and Verification
- 28. jaanuar 2019, kell 11:45 erin ajal -19 MSc seminar I 2019 Spring →ITX8301 Magistriseminar I / MSc Seminar I
- 28. jaanuar 2019, kell 11:44 erin ajal +31 MSc seminar I 2019 Spring →ITX8301 Magistriseminar I / MSc Seminar I
- 6. detsember 2018, kell 09:19 erin ajal 0 U Fail:Energy control.pdf praegune
- 6. detsember 2018, kell 09:19 erin ajal +79 ITI8610 →Module II
- 6. detsember 2018, kell 09:15 erin ajal -12 ITI8610 →Module II
- 6. detsember 2018, kell 09:13 erin ajal 0 U Fail:Climate control.pdf praegune
- 6. detsember 2018, kell 09:12 erin ajal +134 ITI8610 →Module II
- 6. detsember 2018, kell 09:05 erin ajal 0 U Fail:Project assignment.pdf praegune
- 6. detsember 2018, kell 09:05 erin ajal -8 ITI8610 →Module II
- 22. november 2018, kell 11:02 erin ajal +108 Loogiline programmeerimine (2018) →Loengud
- 22. november 2018, kell 11:01 erin ajal +109 Loogiline programmeerimine (2018) →Loengud
- 21. november 2018, kell 12:52 erin ajal +4 ITI8610
- 12. november 2018, kell 14:27 erin ajal 0 U Fail:ITI0021 Loeng 9 2018 .pdf praegune
- 12. november 2018, kell 14:22 erin ajal +76 Loogiline programmeerimine (2018) →Loengud
- 12. november 2018, kell 14:21 erin ajal +99 Loogiline programmeerimine (2018) →Loengud
- 8. november 2018, kell 11:26 erin ajal 0 U Fail:E.pdf praegune
- 8. november 2018, kell 11:26 erin ajal +5 ITI8610 →Module II: : Assured Software Analytics
- 8. november 2018, kell 11:24 erin ajal +4 ITI8610 →Grading
- 8. november 2018, kell 11:24 erin ajal 0 ITI8610 →Grading
- 8. november 2018, kell 11:23 erin ajal +4 ITI8610 →News 2018
- 8. november 2018, kell 11:22 erin ajal 0 ITI8610 →Time and place
- 8. november 2018, kell 11:21 erin ajal -15 ITI8610 →News 2018
- 8. november 2018, kell 11:20 erin ajal 0 ITI8610 →News 2017
- 8. november 2018, kell 11:20 erin ajal -62 ITI8610 →Time and place
- 8. november 2018, kell 11:20 erin ajal -29 ITI8610 →Module I
- 8. november 2018, kell 11:19 erin ajal 0 ITI8610 →Module II: : Assured Software Analytics
- 8. november 2018, kell 11:18 erin ajal -6 ITI8610 →Module III: : Assured Software Analytics
- 8. november 2018, kell 11:18 erin ajal +43 ITI8610 →Module II: Security Assurance
- 8. november 2018, kell 11:18 erin ajal -77 ITI8610 →Module I: Assurance processes, risk management & security assurance
- 8. november 2018, kell 11:17 erin ajal +17 ITI8610 →Module I: Assurance processes & risk management
- 8. november 2018, kell 11:16 erin ajal 0 U Fail:HomeAssignmnet of ModuleII.pdf praegune
- 8. november 2018, kell 11:15 erin ajal +12 ITI8610 →Module II
- 8. november 2018, kell 11:14 erin ajal -1 ITI8610 →Module III
- 8. november 2018, kell 11:14 erin ajal -1 ITI8610 →Module II: Security Assurance
- 24. oktoober 2018, kell 06:40 erin ajal -10 Loogiline programmeerimine (2018) →Loengud
- 24. oktoober 2018, kell 06:39 erin ajal 0 U Fail:ITI0021 Loeng 7 2018.pdf praegune
- 24. oktoober 2018, kell 06:38 erin ajal +96 Loogiline programmeerimine (2018) →Loengud
- 4. oktoober 2018, kell 12:35 erin ajal +2 Loogiline programmeerimine (2018) →Loengud
- 4. oktoober 2018, kell 12:34 erin ajal +23 Loogiline programmeerimine (2018) →Loengud
- 4. oktoober 2018, kell 12:33 erin ajal +54 Loogiline programmeerimine (2018) →Loengud
- 4. oktoober 2018, kell 12:32 erin ajal +13 Loogiline programmeerimine (2018) →Loengud
- 4. oktoober 2018, kell 12:30 erin ajal +74 Loogiline programmeerimine (2018) →Loengud
- 3. oktoober 2018, kell 06:42 erin ajal 0 U Fail:ITI0021 Loeng 5 2018 .pdf praegune
- 3. oktoober 2018, kell 06:42 erin ajal +1 Loogiline programmeerimine (2018) →Loengud
- 3. oktoober 2018, kell 06:42 erin ajal -1 Loogiline programmeerimine (2018) →Loengud
- 3. oktoober 2018, kell 06:41 erin ajal +1 Loogiline programmeerimine (2018) →Loengud
- 30. september 2018, kell 16:00 erin ajal -1 Loogiline programmeerimine (2018) →Praktikumid
- 30. september 2018, kell 16:00 erin ajal 0 U Fail:ITI0021 Loeng 5 2018.pdf praegune
- 30. september 2018, kell 15:59 erin ajal +119 Loogiline programmeerimine (2018) →Loengud
- 26. september 2018, kell 09:06 erin ajal +10 Loogiline programmeerimine (2018) →Loengud
- 26. september 2018, kell 09:06 erin ajal 0 U Fail:ITI0021 Loeng 4 2018.pdf praegune
- 26. september 2018, kell 09:05 erin ajal +90 Loogiline programmeerimine (2018) →Loengud
- 25. september 2018, kell 17:26 erin ajal 0 Loogiline programmeerimine (2018) →Loengud
- 25. september 2018, kell 17:25 erin ajal 0 U Fail:ITI0021 Loeng 3 2018.pdf praegune
- 25. september 2018, kell 17:25 erin ajal +90 Loogiline programmeerimine (2018) →Loengud
- 24. september 2018, kell 05:33 erin ajal +4 Loogiline programmeerimine (2018) →Sügis 2018
- 24. september 2018, kell 05:32 erin ajal +73 Loogiline programmeerimine (2018) →Sügis 2018
- 19. september 2018, kell 08:47 erin ajal +100 Loogiline programmeerimine (2018) →Videoloengud
- 19. september 2018, kell 08:46 erin ajal -84 Loogiline programmeerimine (2018) →Loengud
- 19. september 2018, kell 08:46 erin ajal +22 Loogiline programmeerimine (2018) →Loengud
- 19. september 2018, kell 08:42 erin ajal -108 Loogiline programmeerimine (2018) →Loengud
- 18. september 2018, kell 07:22 erin ajal -5 Loogiline programmeerimine (2018) →Loengud
- 18. september 2018, kell 07:21 erin ajal +1 Loogiline programmeerimine (2018) →Loengud
- 18. september 2018, kell 07:21 erin ajal +19 Loogiline programmeerimine (2018) →Loengud
- 18. september 2018, kell 07:20 erin ajal +199 Loogiline programmeerimine (2018) →Loengud
- 18. september 2018, kell 07:12 erin ajal +20 Loogiline programmeerimine (2018) →Sügis 2018
- 11. september 2018, kell 15:06 erin ajal 0 U Fail:ITI0021 Loeng 2 2018.pdf praegune
- 11. september 2018, kell 15:05 erin ajal +85 Loogiline programmeerimine (2018) →Loengud
- 9. september 2018, kell 08:19 erin ajal -7 Loogiline programmeerimine (2018) →Sügis 2018
- 9. september 2018, kell 08:18 erin ajal +38 Loogiline programmeerimine (2018) →Sügis 2018
- 9. september 2018, kell 08:17 erin ajal +73 Loogiline programmeerimine (2018) →Sügis 2018
- 9. september 2018, kell 08:15 erin ajal 0 Loogiline programmeerimine (2018) →Sügis 2018
- 9. september 2018, kell 08:14 erin ajal 0 U Fail:ITI0021 Loeng 1 2018.pdf praegune
- 9. september 2018, kell 08:13 erin ajal +25 Loogiline programmeerimine (2018) →Loengud
- 9. september 2018, kell 08:11 erin ajal -24 Loogiline programmeerimine (2018) →Loengud
- 3. september 2018, kell 19:02 erin ajal +66 Loogiline programmeerimine (2018) →Lisamaterjalid
- 3. september 2018, kell 19:01 erin ajal +83 Loogiline programmeerimine (2018) →Lisamaterjalid
- 3. september 2018, kell 18:44 erin ajal +2 Loogiline programmeerimine (2018) →Lisamaterjalid
- 3. september 2018, kell 18:44 erin ajal +72 Loogiline programmeerimine (2018) →Lisamaterjalid
- 3. september 2018, kell 18:32 erin ajal -52 Loogiline programmeerimine (2018) →Hindamiskriteeriumid
- 3. september 2018, kell 18:31 erin ajal 0 U Fail:Hindamiskriteeriumid2018Sest.pdf praegune
- 3. september 2018, kell 18:31 erin ajal 0 Loogiline programmeerimine (2018) →Hindamiskriteeriumid
- 23. mai 2018, kell 14:52 erin ajal +3 Software Synthesis and Verification →Time and place
- 16. mai 2018, kell 16:51 erin ajal +6 Software Synthesis and Verification →Lecture plan
- 3. mai 2018, kell 06:45 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 3. mai 2018, kell 06:44 erin ajal +122 Software Synthesis and Verification →Lecture plan
- 11. aprill 2018, kell 15:38 erin ajal 0 U Fail:ITI8531 Genzen 1st order calculus.pdf praegune
- 11. aprill 2018, kell 15:38 erin ajal +126 Software Synthesis and Verification →Lecture plan
- 11. aprill 2018, kell 15:34 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 11. aprill 2018, kell 15:30 erin ajal 0 U Fail:ITI8531 Lecture 8 18 total correctness.pdf praegune
- 11. aprill 2018, kell 15:30 erin ajal +15 Software Synthesis and Verification →Lecture plan
- 11. aprill 2018, kell 15:28 erin ajal 0 U Fail:ITI8531 Lecture 7 18 proving (2).pdf praegune
- 11. aprill 2018, kell 15:28 erin ajal -87 Software Synthesis and Verification →Lecture plan
- 11. aprill 2018, kell 15:20 erin ajal -3 Software Synthesis and Verification →Lecture plan
- 11. aprill 2018, kell 15:18 erin ajal 0 U Fail:ITI8531 Lecture 6.2 18 verification.pdf praegune
- 11. aprill 2018, kell 15:18 erin ajal 0 U Fail:ITI8531 Lecture 6.1 18 Specifications.pdf praegune
- 11. aprill 2018, kell 15:18 erin ajal +15 Software Synthesis and Verification →Lecture plan
- 11. aprill 2018, kell 14:37 erin ajal 0 U Fail:ITI8531 Lecture 5 18 TA and TCTL.pdf praegune
- 11. aprill 2018, kell 14:37 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 11. aprill 2018, kell 14:34 erin ajal 0 U Fail:ITI8531 Lecture 4 18 modelchecking.pdf praegune
- 11. aprill 2018, kell 14:34 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 22. veebruar 2018, kell 18:19 erin ajal 0 U Fail:ITI8531 Lecture 3 18 CTL.pdf praegune
- 22. veebruar 2018, kell 18:19 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 18. veebruar 2018, kell 18:21 erin ajal 0 U Fail:ITI8531 Lecture 2 18 transition systems.pdf praegune
- 18. veebruar 2018, kell 18:21 erin ajal +19 Software Synthesis and Verification →Lecture plan
- 18. veebruar 2018, kell 18:20 erin ajal 0 U Fail:ITI8531 Lecture 1 18 Intro.pdf praegune
- 18. veebruar 2018, kell 18:20 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 18. veebruar 2018, kell 18:08 erin ajal -1 Software Synthesis and Verification
- 18. veebruar 2018, kell 18:07 erin ajal -36 Software Synthesis and Verification
- 18. veebruar 2018, kell 17:29 erin ajal +13 Courses
- 13. jaanuar 2018, kell 16:58 erin ajal +2 Esileht →TTÜ arvutiteaduse instituut - Kursused
- 12. jaanuar 2018, kell 14:12 erin ajal +10 Loogiline programmeerimine (2017) →NB! Kontrolltööde järeltööd s.h. koondtest 16. jaanuaril.
- 10. jaanuar 2018, kell 07:58 erin ajal -2 ITI8610 →Module III
- 10. jaanuar 2018, kell 07:57 erin ajal +15 ITI8610 →News 2017
- 10. jaanuar 2018, kell 07:56 erin ajal +57 ITI8610 →News 2017
- 10. jaanuar 2018, kell 07:53 erin ajal +2 ITI8610 →Time and place
- 10. jaanuar 2018, kell 07:52 erin ajal +2 ITI8610 →Time and place
- 10. jaanuar 2018, kell 07:52 erin ajal +10 ITI8610 →Time and place
- 10. jaanuar 2018, kell 07:51 erin ajal -1 ITI8610 →Resources
- 5. jaanuar 2018, kell 11:32 erin ajal +15 Loogiline programmeerimine (2017) →NB! Kontrolltööde järeltööd 16. jaanuaril.
- 2. jaanuar 2018, kell 13:26 erin ajal +51 Loogiline programmeerimine (2017) →Sügis 2017
- 2. jaanuar 2018, kell 13:25 erin ajal -2 Loogiline programmeerimine (2017) →NB! Praktikumide järelkaitsmine toimub 9. jaanuaril kell 10.00
- 2. jaanuar 2018, kell 13:25 erin ajal +3 Loogiline programmeerimine (2017) →NB! Praktikumide järelkaitsmine toimub 9. jaanuaril kell 10.00
- 2. jaanuar 2018, kell 13:25 erin ajal 0 Loogiline programmeerimine (2017) →Sügis 2017
- 22. detsember 2017, kell 08:38 erin ajal 0 U Fail:Module III 5th lecture.pdf praegune
- 22. detsember 2017, kell 08:37 erin ajal +83 ITI8610 →Module III: : Assured Software Analytics
- 12. detsember 2017, kell 20:09 erin ajal 0 U Fail:Module III 4th lecture.pdf praegune
- 12. detsember 2017, kell 20:09 erin ajal +91 ITI8610 →Module III: : Assured Software Analytics
- 12. detsember 2017, kell 20:07 erin ajal 0 U Fail:Module III 3rd lecture.pdf praegune
- 12. detsember 2017, kell 20:07 erin ajal +82 ITI8610 →Module III: : Assured Software Analytics
- 12. detsember 2017, kell 20:06 erin ajal 0 U Fail:Module III 2nd lecture JML Specification Cases.pdf praegune
- 12. detsember 2017, kell 20:06 erin ajal +6 ITI8610 →Module III: : Assured Software Analytics
- 12. detsember 2017, kell 20:05 erin ajal +108 ITI8610 →Module III: : Assured Software Analytics
- 11. detsember 2017, kell 19:18 erin ajal +9 Loogiline programmeerimine (2017) →Loengud
- 11. detsember 2017, kell 19:16 erin ajal +132 Loogiline programmeerimine (2017) →Hindamiskriteeriumid
- 22. november 2017, kell 15:02 erin ajal 0 U Fail:Module III Labs.pdf praegune
- 22. november 2017, kell 14:59 erin ajal +6 ITI8610 →Module III
- 22. november 2017, kell 14:59 erin ajal +63 ITI8610 →Module III
- 22. november 2017, kell 14:56 erin ajal 0 U Fail:Module III Lecture 1.pdf praegune
- 22. november 2017, kell 14:55 erin ajal +119 ITI8610 →Lecture plan
- 22. november 2017, kell 14:45 erin ajal 0 ITI8610 →News 2015
- 22. november 2017, kell 14:45 erin ajal +28 ITI8610 →Time and place
- 21. november 2017, kell 10:01 erin ajal -2 Loogiline programmeerimine (2017) →Praktikumid
- 21. november 2017, kell 10:00 erin ajal 0 Loogiline programmeerimine (2017) →Praktikumid
- 21. november 2017, kell 09:59 erin ajal 0 Loogiline programmeerimine (2017) →Praktikumid
- 21. november 2017, kell 07:03 erin ajal 0 Loogiline programmeerimine (2017) →Lisamaterjalid
- 21. november 2017, kell 07:01 erin ajal -41 Loogiline programmeerimine (2017) →Lisamaterjalid
- 21. november 2017, kell 06:56 erin ajal 0 U Fail:Näidis1.jpg praegune
- 21. november 2017, kell 06:55 erin ajal +42 Loogiline programmeerimine (2017) →Lisamaterjalid
- 21. november 2017, kell 06:52 erin ajal 0 U Fail:Näidis.jpg praegune
- 21. november 2017, kell 06:51 erin ajal +20 Loogiline programmeerimine (2017) →Lisamaterjalid
- 21. november 2017, kell 06:47 erin ajal +94 Loogiline programmeerimine (2017) →Lisamaterjalid
- 20. november 2017, kell 20:30 erin ajal 0 U Fail:ITI0021 Loeng 9 2017.pdf praegune
- 20. november 2017, kell 20:29 erin ajal -3 Loogiline programmeerimine (2017) →Loengud
- 26. oktoober 2017, kell 09:07 erin ajal +11 Loogiline programmeerimine (2017) →Loengud
- 26. oktoober 2017, kell 09:06 erin ajal -1 Loogiline programmeerimine (2017) →Loengud
- 26. oktoober 2017, kell 09:05 erin ajal +3 Loogiline programmeerimine (2017) →Loengud
- 26. oktoober 2017, kell 09:04 erin ajal +5 Loogiline programmeerimine (2017) →Loengud
- 26. oktoober 2017, kell 09:02 erin ajal +111 Loogiline programmeerimine (2017) →Loengud
- 26. oktoober 2017, kell 08:58 erin ajal +7 Loogiline programmeerimine (2017) →NB! Seoses konverentsiga TTÜs on muudetud 24.10.17 loenguruumi. Loeng toimub auditooriumis NRG226!
- 23. oktoober 2017, kell 16:10 erin ajal -7 Loogiline programmeerimine (2017) →NB! Seoses konverentsiga TTÜs on muudetud 24.10.17 loenguruumi. Loeng toimub auditooriumis NRG226!
- 23. oktoober 2017, kell 16:06 erin ajal +2 Loogiline programmeerimine (2017) →Sügis 2017
- 23. oktoober 2017, kell 16:05 erin ajal +53 Loogiline programmeerimine (2017) →NB! Seoses konverentsiga TTÜs on muudetud 24.10.17 loenguruumi. Loeng toimub auditooriumis NRG226!
- 23. oktoober 2017, kell 16:03 erin ajal -10 Loogiline programmeerimine (2017) →Pealkiri
- 23. oktoober 2017, kell 16:02 erin ajal +117 Loogiline programmeerimine (2017) →Sügis 2017
- 27. september 2017, kell 07:16 erin ajal -3 Loogiline programmeerimine (2017) →Loengud
- 27. september 2017, kell 07:16 erin ajal +55 Loogiline programmeerimine (2017) →Loengud
- 27. september 2017, kell 07:13 erin ajal +1 Loogiline programmeerimine (2017) →Loengud
- 5. september 2017, kell 06:25 erin ajal 0 U Fail:ITI0021 Loeng 1 2017.pdf praegune
- 5. september 2017, kell 06:25 erin ajal 0 Loogiline programmeerimine (2017) →Loengud
- 5. september 2017, kell 06:22 erin ajal 0 U Fail:Hindamiskriteeriumid2017Sest.pdf praegune
- 4. september 2017, kell 14:28 erin ajal +22 Loogiline programmeerimine (2017) →Hindamiskriteeriumid
- 4. september 2017, kell 14:25 erin ajal -42 Loogiline programmeerimine (2017) →Loengud
- 4. september 2017, kell 14:24 erin ajal -29 Loogiline programmeerimine (2017) →Loengud
- 4. september 2017, kell 14:23 erin ajal -3 Loogiline programmeerimine (2017) →Loengud
- 4. september 2017, kell 14:20 erin ajal +1 Loogiline programmeerimine (2017) →Loengud
- 4. september 2017, kell 14:13 erin ajal 0 Loogiline programmeerimine (2017) →Kodutöö 2016
- 4. september 2017, kell 14:11 erin ajal +8 Loogiline programmeerimine (2017) →Hindamiskriteeriumid
- 4. september 2017, kell 14:11 erin ajal +3 Loogiline programmeerimine (2017) →Hindamiskriteeriumid
- 4. september 2017, kell 14:09 erin ajal +69 Loogiline programmeerimine (2017) →Hindamiskriteeriumid
- 4. september 2017, kell 14:03 erin ajal -30 Loogiline programmeerimine (2017) →Sügis 2017
- 4. september 2017, kell 14:01 erin ajal 0 Loogiline programmeerimine (2017) →Sügis 2016
- 4. september 2017, kell 14:01 erin ajal -397 Loogiline programmeerimine (2017) →Sügis 2016
- 20. juuni 2017, kell 19:43 erin ajal +30 Loogiline programmeerimine (2017) →Loengud
- 20. juuni 2017, kell 19:39 erin ajal +45 Loogiline programmeerimine (2017) →Praktikumid
- 31. mai 2017, kell 17:46 erin ajal 0 U Fail:Harjutused 3.pdf praegune
- 31. mai 2017, kell 17:45 erin ajal +78 Software Synthesis and Verification →Exercises
- 31. mai 2017, kell 13:13 erin ajal 0 Software Synthesis and Verification →Time and place
- 31. mai 2017, kell 07:25 erin ajal +17 Software Synthesis and Verification →Time and place
- 31. mai 2017, kell 07:23 erin ajal +5 Software Synthesis and Verification →Time and place
- 31. mai 2017, kell 07:23 erin ajal +3 Software Synthesis and Verification →Time and place
- 26. mai 2017, kell 14:29 erin ajal +87 Software Synthesis and Verification →Time and place
- 25. mai 2017, kell 06:45 erin ajal +1 Software Synthesis and Verification →Lecture plan
- 11. mai 2017, kell 13:22 erin ajal 0 U Fail:FASDS.pdf praegune
- 11. mai 2017, kell 13:21 erin ajal +54 Software Synthesis and Verification →Labs
- 11. mai 2017, kell 06:58 erin ajal -2 Software Synthesis and Verification →Lecture plan
- 11. mai 2017, kell 06:58 erin ajal -131 Software Synthesis and Verification →Time and place
- 11. mai 2017, kell 06:57 erin ajal 0 U Fail:ITI8531 Lecture 9 2017 parallel programs.pdf praegune
- 11. mai 2017, kell 06:56 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 11. mai 2017, kell 06:56 erin ajal +20 Software Synthesis and Verification →Lecture plan
- 11. mai 2017, kell 06:54 erin ajal -317 Software Synthesis and Verification →Lecture plan
- 11. mai 2017, kell 06:47 erin ajal -4 Software Synthesis and Verification →Time and place
- 11. mai 2017, kell 06:46 erin ajal +5 Software Synthesis and Verification →Time and place
- 15. märts 2017, kell 16:00 erin ajal -99 Software Synthesis and Verification →News 2017
- 15. märts 2017, kell 15:59 erin ajal +128 Software Synthesis and Verification →News 2017
- 15. märts 2017, kell 15:51 erin ajal +19 Software Synthesis and Verification →Lecture plan
- 15. märts 2017, kell 15:50 erin ajal 0 Software Synthesis and Verification →News 2017
- 15. märts 2017, kell 15:50 erin ajal +79 Software Synthesis and Verification →News 2017
- 9. märts 2017, kell 07:59 erin ajal 0 U Fail:Test 1 2017for practicing.pdf praegune
- 9. märts 2017, kell 07:59 erin ajal +15 Software Synthesis and Verification →Exercises
- 9. märts 2017, kell 07:58 erin ajal +24 Software Synthesis and Verification →Lecture plan
- 9. märts 2017, kell 07:51 erin ajal +24 Software Synthesis and Verification →Lecture plan
- 1. märts 2017, kell 19:16 erin ajal 0 U Fail:ITI8531 Lecture 5 17 TA and TCTL.pdf praegune
- 1. märts 2017, kell 19:15 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 23. veebruar 2017, kell 07:53 erin ajal 0 U Fail:ITI8531 Lecture 4 17 modelchecking.pdf praegune
- 23. veebruar 2017, kell 07:52 erin ajal +14 Software Synthesis and Verification →Lecture plan
- 16. veebruar 2017, kell 07:54 erin ajal 0 U Fail:ITI8531 Lecture 3 17 CTL.pdf praegune
- 16. veebruar 2017, kell 07:53 erin ajal +4 Software Synthesis and Verification →Lecture plan
- 9. veebruar 2017, kell 07:41 erin ajal 0 U Fail:ITI8531 Lecture 2 17.pdf praegune
- 9. veebruar 2017, kell 07:41 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 8. veebruar 2017, kell 11:51 erin ajal 0 Software Synthesis and Verification →Time and place
- 8. veebruar 2017, kell 11:48 erin ajal 0 Software Synthesis and Verification →Time and place
- 8. veebruar 2017, kell 11:48 erin ajal 0 Software Synthesis and Verification →News 2016
- 1. jaanuar 2017, kell 20:33 erin ajal +37 Loogiline programmeerimine (2017) →Loengud
- 1. jaanuar 2017, kell 20:31 erin ajal 0 Loogiline programmeerimine (2017) →Loengud
- 1. jaanuar 2017, kell 20:30 erin ajal +79 Loogiline programmeerimine (2017) →Loengud
- 13. detsember 2016, kell 07:47 erin ajal -6 Loogiline programmeerimine (2017) →Kodutöö 2016
- 13. detsember 2016, kell 07:46 erin ajal 0 Loogiline programmeerimine (2017) →Kodutöö 2015
- 29. november 2016, kell 18:13 erin ajal +23 Loogiline programmeerimine (2017) →Loengud
- 29. november 2016, kell 18:11 erin ajal +102 Loogiline programmeerimine (2017) →Loengud
- 29. november 2016, kell 18:10 erin ajal -148 Loogiline programmeerimine (2017) →Loengud
- 29. november 2016, kell 18:08 erin ajal +10 Loogiline programmeerimine (2017) →Loengud
- 29. november 2016, kell 18:06 erin ajal +3 Loogiline programmeerimine (2017) →Loengud
- 15. november 2016, kell 16:05 erin ajal 0 U Fail:ITI0021 Loeng 8 2016.pdf praegune
- 15. november 2016, kell 16:04 erin ajal -2 Loogiline programmeerimine (2017) →Loengud
- 27. oktoober 2016, kell 19:58 erin ajal -1 Loogiline programmeerimine (2017) →Loengud
- 27. oktoober 2016, kell 19:58 erin ajal 0 U Fail:ITI0021 Loeng 7 2016.pdf praegune
- 27. oktoober 2016, kell 19:57 erin ajal +131 Loogiline programmeerimine (2017) →Loengud
- 19. oktoober 2016, kell 12:51 erin ajal +14 Loogiline programmeerimine (2017) →Loengud
- 19. oktoober 2016, kell 12:31 erin ajal 0 Loogiline programmeerimine (2017) →Loengud
- 19. oktoober 2016, kell 12:30 erin ajal 0 U Fail:ITI0021 Loeng 6 2016.pdf praegune
- 19. oktoober 2016, kell 12:29 erin ajal -54 Loogiline programmeerimine (2017) →Loengud
- 19. oktoober 2016, kell 12:29 erin ajal -85 Loogiline programmeerimine (2017) →Loengud
- 5. oktoober 2016, kell 15:41 erin ajal +54 Loogiline programmeerimine (2017) →Loengud
- 5. oktoober 2016, kell 15:39 erin ajal +3 Loogiline programmeerimine (2017) →Loengud
- 20. september 2016, kell 18:59 erin ajal +1 Loogiline programmeerimine (2017) →Loengud
- 20. september 2016, kell 18:58 erin ajal 0 U Fail:ITI0021 Loeng 2 2016.pdf praegune
- 20. september 2016, kell 18:58 erin ajal +13 Loogiline programmeerimine (2017) →Loengud
- 20. september 2016, kell 18:56 erin ajal 0 U Fail:ITI0021 Loeng 1 2016.pdf praegune
- 20. september 2016, kell 18:55 erin ajal 0 Loogiline programmeerimine (2017) →Loengud
- 9. september 2016, kell 11:19 erin ajal 0 Loogiline programmeerimine (2017) →Loengud
- 9. september 2016, kell 11:18 erin ajal 0 Loogiline programmeerimine (2017) →Loengud
- 7. september 2016, kell 14:24 erin ajal +2 Loogiline programmeerimine (2015) →Loengud
- 7. september 2016, kell 14:19 erin ajal 0 Loogiline programmeerimine (2015) →Loengud
- 7. september 2016, kell 13:36 erin ajal +7 Loogiline programmeerimine (2015) →Sügis 2016
- 7. september 2016, kell 13:35 erin ajal +47 Loogiline programmeerimine (2015) →Sügis 2016
- 7. september 2016, kell 13:30 erin ajal -31 Loogiline programmeerimine (2015) →Sügis 2015
- 9. juuni 2016, kell 07:09 erin ajal -29 Software Synthesis and Verification →Time and place
- 9. juuni 2016, kell 07:09 erin ajal +12 Software Synthesis and Verification →Time and place
- 9. juuni 2016, kell 07:08 erin ajal +3 Software Synthesis and Verification
- 9. juuni 2016, kell 07:08 erin ajal +103 Software Synthesis and Verification
- 9. juuni 2016, kell 07:04 erin ajal -101 Software Synthesis and Verification →News 2016
- 26. mai 2016, kell 07:57 erin ajal 0 U Fail:Test3 exercises solutions.pdf praegune
- 26. mai 2016, kell 07:57 erin ajal -6 Software Synthesis and Verification →Exercises
- 25. mai 2016, kell 15:41 erin ajal +7 Software Synthesis and Verification →Exercises
- 25. mai 2016, kell 15:41 erin ajal 0 U Fail:Exercises 3 2016 with solutions.pdf praegune
- 25. mai 2016, kell 15:40 erin ajal +12 Software Synthesis and Verification →Exercises
- 24. mai 2016, kell 09:22 erin ajal 0 U Fail:Test3 exercises.pdf.pdf praegune
- 24. mai 2016, kell 09:21 erin ajal +183 Software Synthesis and Verification →Exercises
- 24. mai 2016, kell 09:14 erin ajal +13 Software Synthesis and Verification →Lecture plan
- 5. mai 2016, kell 08:25 erin ajal +96 Software Synthesis and Verification →Resources
- 5. mai 2016, kell 08:22 erin ajal +13 Software Synthesis and Verification →Lecture plan
- 30. märts 2016, kell 17:46 erin ajal 0 U Fail:ITI8531 Lecture 6 16 rules.pdf praegune
- 30. märts 2016, kell 17:34 erin ajal +5 Software Synthesis and Verification →Lecture plan
- 24. märts 2016, kell 08:30 erin ajal 0 U Fail:ITI8531 Lecture 5 16 Specifications.pdf praegune
- 24. märts 2016, kell 08:28 erin ajal +14 Software Synthesis and Verification →Lecture plan
- 10. märts 2016, kell 14:44 erin ajal 0 U Fail:ITI8531 Exercises 1 2016.pdf praegune
- 10. märts 2016, kell 14:44 erin ajal +68 Software Synthesis and Verification →Lecture plan
- 10. märts 2016, kell 13:51 erin ajal 0 U Fail:ITI8531 Lecture 5 16 TA and TCTL.pdf praegune
- 10. märts 2016, kell 13:50 erin ajal +11 Software Synthesis and Verification →Lecture plan
- 25. veebruar 2016, kell 09:47 erin ajal 0 Esileht →Magistrantidele suunatud kursused
- 25. veebruar 2016, kell 09:46 erin ajal +46 U ITI8531 Ümbersuunamine lehele Software Synthesis and Verification praegune
- 25. veebruar 2016, kell 09:44 erin ajal +46 U Formal Methods Vain teisaldas lehekülje Formal Methods pealkirja Software Synthesis and Verification alla praegune
- 25. veebruar 2016, kell 09:44 erin ajal 0 P Software Synthesis and Verification Vain teisaldas lehekülje Formal Methods pealkirja Software Synthesis and Verification alla
- 24. veebruar 2016, kell 19:03 erin ajal 0 U Fail:ITI8531 lecture 4 16.pdf praegune
- 24. veebruar 2016, kell 19:02 erin ajal -3 Software Synthesis and Verification →Lecture plan
- 18. veebruar 2016, kell 09:35 erin ajal 0 U Fail:ITI8531 Lecture 3 16.pdf praegune
- 18. veebruar 2016, kell 09:35 erin ajal 0 U Fail:ITI8531 Lecture 2 16.pdf praegune
- 18. veebruar 2016, kell 09:34 erin ajal -4 Software Synthesis and Verification →Lecture plan
- 18. veebruar 2016, kell 08:05 erin ajal 0 U Fail:ITI0130 lecture2 2012.pdf praegune
- 18. veebruar 2016, kell 08:05 erin ajal 0 Software Synthesis and Verification →Lecture plan
- 11. veebruar 2016, kell 07:25 erin ajal 0 U Fail:ITI8531 Lecture 1 16 intro.pdf praegune
- 11. veebruar 2016, kell 07:24 erin ajal -13 Software Synthesis and Verification →Lecture plan
- 11. veebruar 2016, kell 07:21 erin ajal -9 Software Synthesis and Verification
- 11. veebruar 2016, kell 07:16 erin ajal +13 Esileht →TTÜ arvutiteaduse instituut - Kursused
- 5. jaanuar 2016, kell 07:52 erin ajal +5 Loogiline programmeerimine (2015) →Hindamiskriteeriumid
- 5. jaanuar 2016, kell 07:51 erin ajal +46 Loogiline programmeerimine (2015) →Hindamiskriteeriumid
- 2. jaanuar 2016, kell 11:45 erin ajal +4 Loogiline programmeerimine (2015) →Sügis 2015
- 2. jaanuar 2016, kell 11:29 erin ajal +6 Loogiline programmeerimine (2015) →Sügis 2015
- 30. detsember 2015, kell 15:11 erin ajal +2 Loogiline programmeerimine (2015) →Sügis 2015
- 22. detsember 2015, kell 10:16 erin ajal 0 U Fail:Arbiiterutf64.zip praegune
- 22. detsember 2015, kell 10:16 erin ajal 0 U Fail:Arbiiterutf32.zip praegune
- 22. detsember 2015, kell 10:16 erin ajal +6 Loogiline programmeerimine (2015) →Kodutöö 2015
- 17. detsember 2015, kell 12:21 erin ajal 0 U Fail:Arbiiter64.zip praegune
- 17. detsember 2015, kell 12:21 erin ajal 0 U Fail:Arbiiter32.zip praegune
- 17. detsember 2015, kell 12:20 erin ajal +64 Loogiline programmeerimine (2015) →Kodutöö 2015
- 16. detsember 2015, kell 09:24 erin ajal +15 Loogiline programmeerimine (2015) →Sügis 2015
- 16. detsember 2015, kell 09:23 erin ajal +107 Loogiline programmeerimine (2015) →Sügis 2015
- 16. detsember 2015, kell 09:21 erin ajal +144 Loogiline programmeerimine (2015) →Sügis 2015
- 14. detsember 2015, kell 08:05 erin ajal +83 Loogiline programmeerimine (2015) →Kodutöö 2015
- 14. detsember 2015, kell 07:59 erin ajal -16 Loogiline programmeerimine (2015) →Kodutöö 2015
- 14. detsember 2015, kell 07:56 erin ajal +9 Loogiline programmeerimine (2015) →Kodutöö 2015
- 14. detsember 2015, kell 07:55 erin ajal -62 Loogiline programmeerimine (2015) →Kodutöö 2015
- 14. detsember 2015, kell 07:54 erin ajal 0 U Fail:Arbiiterutf8.zip praegune
- 14. detsember 2015, kell 07:54 erin ajal +11 Loogiline programmeerimine (2015) →Kodutöö 2015
- 14. detsember 2015, kell 07:53 erin ajal -58 Loogiline programmeerimine (2015) →Kodutöö 2015
- 10. detsember 2015, kell 07:00 erin ajal 0 U Fail:Arbiiter65.zip praegune
- 10. detsember 2015, kell 06:59 erin ajal 0 Loogiline programmeerimine (2015) →Kodutöö 2015
- 10. detsember 2015, kell 06:57 erin ajal 0 Loogiline programmeerimine (2015) →Kodutöö 2015
- 10. detsember 2015, kell 06:57 erin ajal +169 Loogiline programmeerimine (2015) →Kodutöö 2015
- 8. detsember 2015, kell 11:07 erin ajal -13 Loogiline programmeerimine (2015) →Praktikumid
- 8. detsember 2015, kell 11:07 erin ajal 0 Loogiline programmeerimine (2015) →Praktikumid
- 8. detsember 2015, kell 11:06 erin ajal 0 Loogiline programmeerimine (2015) →Praktikumid
- 8. detsember 2015, kell 11:05 erin ajal +9 Loogiline programmeerimine (2015) →Praktikumid
- 8. detsember 2015, kell 11:02 erin ajal +274 Loogiline programmeerimine (2015) →Praktikumid
- 8. detsember 2015, kell 10:58 erin ajal -2 Loogiline programmeerimine (2015) →Loengud
- 8. detsember 2015, kell 10:58 erin ajal +52 Loogiline programmeerimine (2015) →Loengud
- 8. detsember 2015, kell 10:56 erin ajal +58 Loogiline programmeerimine (2015) →Loengud
- 1. detsember 2015, kell 18:06 erin ajal +4 Loogiline programmeerimine (2015) →Kodutöö 2015
- 1. detsember 2015, kell 18:05 erin ajal 0 U Fail:Kodutöö kabe2015.pdf praegune
- 1. detsember 2015, kell 18:04 erin ajal -1 Loogiline programmeerimine (2015) →Kodutöö 2015
- 1. detsember 2015, kell 18:02 erin ajal 0 Fail:Kodutöö kabe 2015.pdf Vain laadis üles faili "Pilt:Kodutöö kabe 2015.pdf" uue versiooni praegune
- 1. detsember 2015, kell 18:01 erin ajal -5 Loogiline programmeerimine (2015) →Kodutöö 2015
- 1. detsember 2015, kell 12:29 erin ajal 0 Loogiline programmeerimine (2015) →Loengud
- 1. detsember 2015, kell 12:24 erin ajal +63 Loogiline programmeerimine (2015) →Loengud
- 29. november 2015, kell 15:14 erin ajal +1 Loogiline programmeerimine (2015) →Kodutöö 2015
- 27. november 2015, kell 11:41 erin ajal 0 U Fail:Kodutöö kabe 2015.pdf
- 27. november 2015, kell 11:41 erin ajal 0 Loogiline programmeerimine (2015) →Kodutöö 2015
- 19. november 2015, kell 11:32 erin ajal 0 U Fail:Praktikum 12 juhend 2015.pdf
- 19. november 2015, kell 11:32 erin ajal +135 Loogiline programmeerimine (2015) →Praktikumid
- 19. november 2015, kell 10:11 erin ajal -1 Loogiline programmeerimine (2015) →Loengud
- 19. november 2015, kell 10:10 erin ajal 0 U Fail:ITI0021 Loeng 12 l2015.pdf praegune
- 19. november 2015, kell 10:09 erin ajal +83 Loogiline programmeerimine (2015) →Loengud
- 11. november 2015, kell 14:11 erin ajal 0 U Fail:ITI0021 Loeng 11 2015.pdf praegune
- 11. november 2015, kell 14:11 erin ajal +100 Loogiline programmeerimine (2015) →Loengud
- 5. november 2015, kell 07:43 erin ajal 0 U Fail:ITI0021 Lecture 10 2015.pdf praegune
- 5. november 2015, kell 07:43 erin ajal +96 Loogiline programmeerimine (2015) →Loengud
- 22. oktoober 2015, kell 08:23 erin ajal 0 U Fail:ITI0021 Praktikum 8 juhend 2015.pdf praegune
- 22. oktoober 2015, kell 08:23 erin ajal +136 Loogiline programmeerimine (2015) →Praktikumid
- 22. oktoober 2015, kell 08:18 erin ajal +105 Loogiline programmeerimine (2015) →Loengud
- 22. oktoober 2015, kell 06:45 erin ajal +144 Loogiline programmeerimine (2015) →Loengud
- 22. oktoober 2015, kell 06:42 erin ajal 0 U Fail:ITI0021 Lecture 6 2015.pdf praegune
- 22. oktoober 2015, kell 06:42 erin ajal +7 Loogiline programmeerimine (2015) →Loengud
- 15. oktoober 2015, kell 11:29 erin ajal 0 U Fail:ITI0021 praktikumi 7 juhend 2015.pdf
- 15. oktoober 2015, kell 11:28 erin ajal +1 Loogiline programmeerimine (2015) →Praktikumid
- 15. oktoober 2015, kell 11:28 erin ajal 0 U Fail:ITI 0021 praktikum 7 näited.pl praegune
- 15. oktoober 2015, kell 11:26 erin ajal -1 Loogiline programmeerimine (2015) →Praktikumid
- 15. oktoober 2015, kell 11:23 erin ajal 0 U Fail:ITI 0021 praktikumi 7 näited.pl praegune
- 15. oktoober 2015, kell 11:23 erin ajal 0 U Fail:ITI0021 praktikum 7 juhend 2015.pdf praegune
- 15. oktoober 2015, kell 11:22 erin ajal +201 Loogiline programmeerimine (2015) →Praktikumid
- 15. oktoober 2015, kell 06:41 erin ajal 0 U Fail:ITI0021 Loeng 5 2015.pdf praegune
- 15. oktoober 2015, kell 06:40 erin ajal +84 Loogiline programmeerimine (2015) →Loengud
- 7. oktoober 2015, kell 06:52 erin ajal +6 Loogiline programmeerimine (2015) →Loengud
- 7. oktoober 2015, kell 06:50 erin ajal +203 Loogiline programmeerimine (2015) →Loengud
- 7. oktoober 2015, kell 06:44 erin ajal +9 Loogiline programmeerimine (2015) →Loengud
- 7. oktoober 2015, kell 06:43 erin ajal -264 Loogiline programmeerimine (2015) →Loengud
- 1. oktoober 2015, kell 12:33 erin ajal -2 Loogiline programmeerimine (2015) →Loengud
- 1. oktoober 2015, kell 12:16 erin ajal +13 Loogiline programmeerimine (2015) →Loengud
- 1. oktoober 2015, kell 12:15 erin ajal +15 Loogiline programmeerimine (2015) →Loengud
- 1. oktoober 2015, kell 12:14 erin ajal +61 Loogiline programmeerimine (2015) →Loengud
- 1. oktoober 2015, kell 12:12 erin ajal +12 Loogiline programmeerimine (2015) →Loengud
- 1. oktoober 2015, kell 06:52 erin ajal 0 U Fail:ITI0021 Loeng 4 2015.pdf praegune
- 1. oktoober 2015, kell 06:51 erin ajal +63 Loogiline programmeerimine (2015) →Loengud
- 24. september 2015, kell 05:55 erin ajal 0 U Fail:ITI0021 Loeng 3 2015.pdf praegune
- 24. september 2015, kell 05:55 erin ajal +79 Loogiline programmeerimine (2015) →Loengud
- 21. september 2015, kell 09:25 erin ajal 0 Loogiline programmeerimine (2015) →Loengud
- 21. september 2015, kell 09:24 erin ajal +109 Loogiline programmeerimine (2015) →Loengud
- 21. september 2015, kell 09:22 erin ajal 0 U Fail:ITI0021 Loeng 2 1 2015.pdf praegune
- 21. september 2015, kell 09:21 erin ajal +2 Loogiline programmeerimine (2015) →Loengud
- 21. september 2015, kell 09:20 erin ajal +65 Loogiline programmeerimine (2015) →Loengud
- 21. september 2015, kell 09:17 erin ajal 0 U Fail:ITI0021 Loeng 2 2 2015.pdf praegune
- 3. september 2015, kell 08:15 erin ajal -1 Loogiline programmeerimine (2014) →Loengud
- 3. september 2015, kell 08:14 erin ajal 0 U Fail:ITI0021 Loeng 1 2015.pdf praegune
- 3. september 2015, kell 08:11 erin ajal 0 U Fail:Loeng 1 2015.pdf praegune