Kasutaja Vain üleslaaditud failid
Mine navigeerimisribale
Mine otsikasti
Sellel erileheküljel näidatakse kõiki üles laaditud faile.
| Kuupäev | Nimi | Pisipilt | Suurus | Kirjeldus | Versioonid |
|---|---|---|---|---|---|
| 11. aprill 2018, kell 15:28 | ITI8531 Lecture 7 18 proving (2).pdf (fail) |  |
554 KB | 1 | |
| 11. aprill 2018, kell 15:18 | ITI8531 Lecture 6.2 18 verification.pdf (fail) | |
240 KB | 1 | |
| 11. aprill 2018, kell 15:18 | ITI8531 Lecture 6.1 18 Specifications.pdf (fail) | |
491 KB | 1 | |
| 11. aprill 2018, kell 14:37 | ITI8531 Lecture 5 18 TA and TCTL.pdf (fail) | |
824 KB | 1 | |
| 11. aprill 2018, kell 14:34 | ITI8531 Lecture 4 18 modelchecking.pdf (fail) | |
364 KB | 1 | |
| 22. veebruar 2018, kell 18:19 | ITI8531 Lecture 3 18 CTL.pdf (fail) | |
407 KB | 1 | |
| 18. veebruar 2018, kell 18:21 | ITI8531 Lecture 2 18 transition systems.pdf (fail) | |
353 KB | 1 | |
| 18. veebruar 2018, kell 18:20 | ITI8531 Lecture 1 18 Intro.pdf (fail) | |
583 KB | 1 | |
| 22. detsember 2017, kell 08:38 | Module III 5th lecture.pdf (fail) | |
892 KB | 1 | |
| 12. detsember 2017, kell 20:09 | Module III 4th lecture.pdf (fail) | |
589 KB | 1 | |
| 12. detsember 2017, kell 20:07 | Module III 3rd lecture.pdf (fail) | |
985 KB | 1 | |
| 12. detsember 2017, kell 20:06 | Module III 2nd lecture JML Specification Cases.pdf (fail) | |
158 KB | 1 | |
| 22. november 2017, kell 15:02 | Module III Labs.pdf (fail) | |
66 KB | 1 | |
| 22. november 2017, kell 14:56 | Module III Lecture 1.pdf (fail) | |
323 KB | 1 | |
| 21. november 2017, kell 06:56 | Näidis1.jpg (fail) |  |
101 KB | 1 | |
| 21. november 2017, kell 06:52 | Näidis.jpg (fail) |  |
34 KB | 1 | |
| 20. november 2017, kell 20:30 | ITI0021 Loeng 9 2017.pdf (fail) | |
490 KB | 1 | |
| 5. september 2017, kell 06:25 | ITI0021 Loeng 1 2017.pdf (fail) | |
316 KB | 1 | |
| 5. september 2017, kell 06:22 | Hindamiskriteeriumid2017Sest.pdf (fail) | |
40 KB | 1 | |
| 31. mai 2017, kell 17:46 | Harjutused 3.pdf (fail) | |
142 KB | 1 | |
| 11. mai 2017, kell 13:22 | FASDS.pdf (fail) | |
3,88 MB | 1 | |
| 11. mai 2017, kell 06:57 | ITI8531 Lecture 9 2017 parallel programs.pdf (fail) | |
409 KB | 1 | |
| 9. märts 2017, kell 07:59 | Test 1 2017for practicing.pdf (fail) | |
50 KB | 1 | |
| 1. märts 2017, kell 19:16 | ITI8531 Lecture 5 17 TA and TCTL.pdf (fail) | |
828 KB | 1 | |
| 23. veebruar 2017, kell 07:53 | ITI8531 Lecture 4 17 modelchecking.pdf (fail) | |
354 KB | 1 | |
| 16. veebruar 2017, kell 07:54 | ITI8531 Lecture 3 17 CTL.pdf (fail) | |
403 KB | 1 | |
| 9. veebruar 2017, kell 07:41 | ITI8531 Lecture 2 17.pdf (fail) | |
276 KB | 1 | |
| 15. november 2016, kell 16:05 | ITI0021 Loeng 8 2016.pdf (fail) | |
276 KB | 1 | |
| 27. oktoober 2016, kell 19:58 | ITI0021 Loeng 7 2016.pdf (fail) | |
947 KB | 1 | |
| 19. oktoober 2016, kell 12:30 | ITI0021 Loeng 6 2016.pdf (fail) | |
774 KB | 1 | |
| 20. september 2016, kell 18:58 | ITI0021 Loeng 2 2016.pdf (fail) | |
192 KB | 1 | |
| 20. september 2016, kell 18:56 | ITI0021 Loeng 1 2016.pdf (fail) | |
194 KB | 1 | |
| 26. mai 2016, kell 07:57 | Test3 exercises solutions.pdf (fail) | |
171 KB | 1 | |
| 25. mai 2016, kell 15:41 | Exercises 3 2016 with solutions.pdf (fail) | |
153 KB | 1 | |
| 24. mai 2016, kell 09:22 | Test3 exercises.pdf.pdf (fail) | |
24 KB | 1 | |
| 30. märts 2016, kell 17:46 | ITI8531 Lecture 6 16 rules.pdf (fail) | |
219 KB | 1 | |
| 24. märts 2016, kell 08:30 | ITI8531 Lecture 5 16 Specifications.pdf (fail) | |
494 KB | 1 | |
| 10. märts 2016, kell 14:44 | ITI8531 Exercises 1 2016.pdf (fail) | |
126 KB | 1 | |
| 10. märts 2016, kell 13:51 | ITI8531 Lecture 5 16 TA and TCTL.pdf (fail) | |
1,6 MB | 1 | |
| 24. veebruar 2016, kell 19:03 | ITI8531 lecture 4 16.pdf (fail) | |
351 KB | 1 | |
| 18. veebruar 2016, kell 09:35 | ITI8531 Lecture 3 16.pdf (fail) | |
292 KB | 1 | |
| 18. veebruar 2016, kell 09:35 | ITI8531 Lecture 2 16.pdf (fail) | |
290 KB | 1 | |
| 18. veebruar 2016, kell 08:05 | ITI0130 lecture2 2012.pdf (fail) | |
290 KB | 1 | |
| 11. veebruar 2016, kell 07:25 | ITI8531 Lecture 1 16 intro.pdf (fail) | |
482 KB | 1 | |
| 22. detsember 2015, kell 10:16 | Arbiiterutf64.zip (fail) |  |
4 KB | 1 | |
| 22. detsember 2015, kell 10:16 | Arbiiterutf32.zip (fail) | |
4 KB | 1 | |
| 17. detsember 2015, kell 12:21 | Arbiiter64.zip (fail) | |
4 KB | 1 | |
| 17. detsember 2015, kell 12:21 | Arbiiter32.zip (fail) | |
4 KB | 1 | |
| 14. detsember 2015, kell 07:54 | Arbiiterutf8.zip (fail) | |
4 KB | 1 | |
| 10. detsember 2015, kell 07:00 | Arbiiter65.zip (fail) | |
4 KB | 1 |
