Kasutaja kaastöö
Mine navigeerimisribale
Mine otsikasti
- 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
- 1. september 2015, kell 06:53 erin ajal -32 Courses
- 1. september 2015, kell 06:52 erin ajal +66 Courses
- 1. september 2015, kell 06:49 erin ajal +33 Courses
- 31. august 2015, kell 10:02 erin ajal -6 ITI8610 →Lecture plan
- 31. august 2015, kell 10:00 erin ajal 0 Fail:ITI 8610 lecture 1.pdf Vain laadis üles faili "Pilt:ITI 8610 lecture 1.pdf" uue versiooni praegune
- 31. august 2015, kell 09:52 erin ajal 0 U Fail:ITI 8610 lecture 1 intro.pdf praegune
- 31. august 2015, kell 09:52 erin ajal +16 ITI8610
- 31. august 2015, kell 09:48 erin ajal 0 ITI8610
- 31. august 2015, kell 08:54 erin ajal +1 ITI8610 →Labs
- 31. august 2015, kell 08:54 erin ajal +104 ITI8610
- 31. august 2015, kell 08:31 erin ajal +53 ITI8610 →Lecture plan
- 31. august 2015, kell 08:28 erin ajal +15 ITI8610
- 31. august 2015, kell 08:23 erin ajal 0 ITI8610 →Time and place
- 31. august 2015, kell 08:22 erin ajal -85 ITI8610
- 31. august 2015, kell 08:20 erin ajal -2 ITI8610
- 31. august 2015, kell 08:20 erin ajal +11 ITI8610 →Lecture plan
- 31. august 2015, kell 08:13 erin ajal 0 U Fail:ITI 8610 lecture 1.pdf
- 31. august 2015, kell 08:13 erin ajal -5 ITI8610
- 31. august 2015, kell 08:08 erin ajal +2 ITI8610
- 31. august 2015, kell 08:08 erin ajal +199 ITI8610
- 31. august 2015, kell 07:57 erin ajal +524 U ITI8610 Uus lehekülg: ''''Course code''': ITI8610 <br> '''Lecturer''': prof. Jüri Vain <br> '''Contact''': juri.vain ätt ttu.ee, ICT-418 <br> ==Time and place== Lectures: Mondays 14:00, ICT-A1 <b...'
- 31. august 2015, kell 07:48 erin ajal +67 Esileht →Magistrantidele suunatud kursused
- 26. mai 2015, kell 07:54 erin ajal +86 Formal methods in model-based testing and verification →Spring 2015 praegune
- 26. mai 2015, kell 07:52 erin ajal +3 Formal methods in model-based testing and verification →Spring 2015
- 26. mai 2015, kell 07:51 erin ajal +198 Formal methods in model-based testing and verification →Spring 2015
- 26. mai 2015, kell 07:34 erin ajal +22 Formal methods in model-based testing and verification →Spring 2015
- 26. mai 2015, kell 07:32 erin ajal +6 Formal methods in model-based testing and verification →Spring 2015
- 26. mai 2015, kell 07:31 erin ajal +363 Formal methods in model-based testing and verification →Spring 2015
- 14. mai 2015, kell 08:48 erin ajal 0 Fail:Exercises 3.pdf Vain laadis üles faili "Pilt:Exercises 3.pdf" uue versiooni praegune
- 14. mai 2015, kell 08:42 erin ajal +1 Software Synthesis and Verification →Exercises
- 13. mai 2015, kell 13:51 erin ajal 0 U Fail:Exercises 3.pdf
- 13. mai 2015, kell 13:49 erin ajal +104 Software Synthesis and Verification →Exercises
- 6. mai 2015, kell 09:06 erin ajal +102 Software Synthesis and Verification →News 2015
- 6. mai 2015, kell 09:03 erin ajal -1 Software Synthesis and Verification →Lecture notes
- 6. mai 2015, kell 09:01 erin ajal +76 Software Synthesis and Verification →Lecture notes
- 6. mai 2015, kell 09:00 erin ajal 0 U Fail:ITI0130 lecture 12 2015.pdf praegune
- 6. mai 2015, kell 08:59 erin ajal +2 Software Synthesis and Verification →Lecture notes
- 6. mai 2015, kell 08:53 erin ajal +91 Software Synthesis and Verification →Lecture notes
- 6. mai 2015, kell 08:52 erin ajal 0 U Fail:ITI0130 lecture 13 2015.pdf praegune
- 6. mai 2015, kell 08:51 erin ajal +90 Software Synthesis and Verification →Lecture notes
- 5. mai 2015, kell 10:52 erin ajal +10 Formal methods in model-based testing and verification →Spring 2015
- 5. mai 2015, kell 10:51 erin ajal +4 Formal methods in model-based testing and verification →Spring 2015
- 5. mai 2015, kell 10:51 erin ajal +45 Formal methods in model-based testing and verification →Spring 2015
- 5. mai 2015, kell 10:48 erin ajal +45 Formal methods in model-based testing and verification →Spring 2015
- 5. mai 2015, kell 10:47 erin ajal -14 Formal methods in model-based testing and verification →Spring 2015
- 5. mai 2015, kell 10:45 erin ajal +93 Formal methods in model-based testing and verification →Spring 2015
- 22. aprill 2015, kell 14:26 erin ajal 0 U Fail:ITI0130 lecture11 2015nondeterministic.pdf praegune
- 22. aprill 2015, kell 14:26 erin ajal +94 Software Synthesis and Verification →Lecture notes
- 8. aprill 2015, kell 08:57 erin ajal +6 Software Synthesis and Verification →Lecture notes
- 8. aprill 2015, kell 08:56 erin ajal 0 U Fail:ITI0130 lecture10 2015.pdf praegune
- 8. aprill 2015, kell 08:55 erin ajal +37 Software Synthesis and Verification →Lecture notes
- 1. aprill 2015, kell 15:39 erin ajal -6 Software Synthesis and Verification →Exercises
- 1. aprill 2015, kell 15:38 erin ajal +1 Software Synthesis and Verification →Exercises
- 1. aprill 2015, kell 15:37 erin ajal 0 U Fail:While program example 2015.pdf praegune
- 1. aprill 2015, kell 15:37 erin ajal +78 Software Synthesis and Verification →Exercises
- 1. aprill 2015, kell 15:26 erin ajal 0 U Fail:Exercises 2.pdf praegune
- 1. aprill 2015, kell 15:26 erin ajal +81 Software Synthesis and Verification →Exercises
- 1. aprill 2015, kell 15:22 erin ajal 0 U Fail:DEDUCTIVE VERIFICATION Example 2.pdf praegune
- 1. aprill 2015, kell 15:20 erin ajal +107 Software Synthesis and Verification →Exercises
- 1. aprill 2015, kell 15:17 erin ajal 0 U Fail:Invariants.pdf praegune
- 1. aprill 2015, kell 15:16 erin ajal +66 Software Synthesis and Verification →Resources
- 1. aprill 2015, kell 10:31 erin ajal +11 Software Synthesis and Verification →Lecture notes
- 1. aprill 2015, kell 10:27 erin ajal +12 Software Synthesis and Verification →Lecture notes
- 1. aprill 2015, kell 10:26 erin ajal +97 Software Synthesis and Verification →Lecture notes
- 1. aprill 2015, kell 08:04 erin ajal 0 U Fail:Proof rules of Hoare logic.pdf praegune
- 1. aprill 2015, kell 08:04 erin ajal 0 U Fail:1st order proof rules.pdf praegune
- 1. aprill 2015, kell 08:04 erin ajal +158 Software Synthesis and Verification →Resources
- 1. aprill 2015, kell 07:59 erin ajal +22 Software Synthesis and Verification →Resources
- 1. aprill 2015, kell 07:45 erin ajal 0 U Fail:ITI0130 lecture9 2 2015.pdf praegune
- 1. aprill 2015, kell 07:44 erin ajal 0 U Fail:ITI0130 lecture9 1 2015.pdf praegune
- 1. aprill 2015, kell 07:43 erin ajal 0 Software Synthesis and Verification →Lecture notes
- 1. aprill 2015, kell 07:41 erin ajal +55 Software Synthesis and Verification →Lecture notes
- 1. aprill 2015, kell 07:40 erin ajal +148 Software Synthesis and Verification →Lecture notes
- 31. märts 2015, kell 10:42 erin ajal +15 Formal methods in model-based testing and verification →Spring 2015
- 25. märts 2015, kell 11:55 erin ajal -7 Software Synthesis and Verification →Lecture notes
- 25. märts 2015, kell 11:53 erin ajal 0 U Fail:ITI0130 lecture8 2015.pdf praegune
- 25. märts 2015, kell 11:53 erin ajal 0 Software Synthesis and Verification →Lecture notes
- 25. märts 2015, kell 11:53 erin ajal +96 Software Synthesis and Verification →Lecture notes
- 24. märts 2015, kell 19:09 erin ajal +27 Formal methods in model-based testing and verification →Spring 2015
- 24. märts 2015, kell 19:04 erin ajal +35 Formal methods in model-based testing and verification →Spring 2015
- 24. märts 2015, kell 13:10 erin ajal -8 Formal methods in model-based testing and verification →Spring 2015
- 18. märts 2015, kell 10:00 erin ajal 0 U Fail:ITI0130 lecture7 2015.pdf praegune
- 18. märts 2015, kell 09:59 erin ajal +97 Software Synthesis and Verification →Lecture notes
- 18. märts 2015, kell 07:21 erin ajal +63 Formal methods in model-based testing and verification →Spring 2015
- 18. märts 2015, kell 07:18 erin ajal +145 Formal methods in model-based testing and verification →Spring 2015
- 10. märts 2015, kell 19:29 erin ajal 0 U Fail:ITI0130 lecture4 2 2015.pdf praegune
- 10. märts 2015, kell 19:28 erin ajal +2 Software Synthesis and Verification →Lecture notes
- 10. märts 2015, kell 19:17 erin ajal 0 U Fail:ITI0130 lecture3 2 2015.pdf praegune
- 10. märts 2015, kell 19:16 erin ajal +2 Software Synthesis and Verification →Lecture notes
- 10. märts 2015, kell 19:11 erin ajal 0 U Fail:Lecture 3 15 CTL.pdf praegune
- 9. märts 2015, kell 08:50 erin ajal +29 Formal methods in model-based testing and verification →Spring 2015
- 9. märts 2015, kell 08:49 erin ajal -35 Formal methods in model-based testing and verification →Spring 2015
- 9. märts 2015, kell 08:48 erin ajal -3 Formal methods in model-based testing and verification →Spring 2015
- 9. märts 2015, kell 08:48 erin ajal +4 Formal methods in model-based testing and verification →Spring 2015
- 9. märts 2015, kell 08:45 erin ajal -7 Formal methods in model-based testing and verification →Spring 2015
- 9. märts 2015, kell 08:44 erin ajal 0 U Fail:Abstract.pdf praegune
- 9. märts 2015, kell 08:39 erin ajal +45 Formal methods in model-based testing and verification →Spring 2015
- 6. märts 2015, kell 07:35 erin ajal +25 Software Synthesis and Verification →Exercises
- 6. märts 2015, kell 07:31 erin ajal 0 U Fail:Exercises1.pdf praegune
- 6. märts 2015, kell 07:30 erin ajal +75 Software Synthesis and Verification →Labs
- 6. märts 2015, kell 07:28 erin ajal +47 Courses
- 4. märts 2015, kell 11:52 erin ajal 0 U Fail:ITI0130 lecture5 2015.pdf praegune
- 4. märts 2015, kell 11:51 erin ajal +88 Software Synthesis and Verification →Lecture notes
- 25. veebruar 2015, kell 11:52 erin ajal 0 U Fail:ITI0130 lecture4 2015.pdf praegune
- 25. veebruar 2015, kell 11:52 erin ajal +68 Software Synthesis and Verification →Lecture notes
- 18. veebruar 2015, kell 10:22 erin ajal +6 P Software Synthesis and Verification →Lecture notes
- 18. veebruar 2015, kell 10:20 erin ajal 0 U Fail:ITI0130 lecture3 2015.pdf praegune
- 18. veebruar 2015, kell 10:19 erin ajal +69 Software Synthesis and Verification →Lecture notes
- 11. veebruar 2015, kell 17:30 erin ajal 0 U Fail:ITI0130 lecture2 2015.pdf praegune
- 4. veebruar 2015, kell 18:02 erin ajal +30 U Fail:ITI0130 lecture1 2015.pdf Introduction to formal methods praegune
- 5. jaanuar 2015, kell 12:47 erin ajal +1 Loogiline programmeerimine (2014) →Teated 2014
- 5. jaanuar 2015, kell 12:45 erin ajal +97 Loogiline programmeerimine (2014) →Teated 2014
- 5. jaanuar 2015, kell 09:32 erin ajal +18 Loogiline programmeerimine (2014) →Teated 2014
- 5. jaanuar 2015, kell 09:31 erin ajal +125 Loogiline programmeerimine (2014) →Teated 2014
- 26. november 2014, kell 09:54 erin ajal +5 Formal methods in model-based testing and verification
- 24. november 2014, kell 15:28 erin ajal +1 Formal methods in model-based testing and verification
- 20. november 2014, kell 08:06 erin ajal 0 U Fail:Kabeprogramm.pl praegune
- 20. november 2014, kell 08:01 erin ajal 0 U Fail:Arbiiter.pl praegune
- 20. november 2014, kell 08:01 erin ajal 0 U Fail:Kodutöö kabe 2013.pdf praegune
- 20. november 2014, kell 08:00 erin ajal +5 Loogiline programmeerimine (2014)
- 20. november 2014, kell 07:59 erin ajal -55 Loogiline programmeerimine (2014)
- 20. november 2014, kell 07:54 erin ajal +520 Loogiline programmeerimine (2014)
- 20. november 2014, kell 07:50 erin ajal +32 Loogiline programmeerimine (2014) →Praktikumid
- 20. november 2014, kell 07:48 erin ajal +26 Loogiline programmeerimine (2014) →Loengud
- 20. november 2014, kell 07:47 erin ajal +22 Loogiline programmeerimine (2014) →Praktikumid
- 20. november 2014, kell 07:45 erin ajal +110 Loogiline programmeerimine (2014) →Praktikumid
- 20. november 2014, kell 07:41 erin ajal +79 Loogiline programmeerimine (2014) →Loengud
- 19. november 2014, kell 07:18 erin ajal 0 U Fail:ITI0021 Lecture 10.pdf praegune
- 19. november 2014, kell 07:17 erin ajal 0 U Fail:ITI0021 Loeng 9.pdf praegune
- 19. november 2014, kell 07:16 erin ajal +153 Loogiline programmeerimine (2014)
- 18. november 2014, kell 15:49 erin ajal +13 Formal methods in model-based testing and verification
- 18. november 2014, kell 15:49 erin ajal +63 Formal methods in model-based testing and verification
- 18. november 2014, kell 07:27 erin ajal +48 Formal methods in model-based testing and verification
- 5. november 2014, kell 07:37 erin ajal +34 Formal methods in model-based testing and verification
- 5. november 2014, kell 07:35 erin ajal +270 Formal methods in model-based testing and verification
- 31. oktoober 2014, kell 18:32 erin ajal +48 Formal methods in model-based testing and verification
- 31. oktoober 2014, kell 18:28 erin ajal 0 U Fail:GuestLecture1.pdf praegune
- 31. oktoober 2014, kell 18:28 erin ajal +61 Formal methods in model-based testing and verification
- 29. oktoober 2014, kell 10:39 erin ajal 0 U Fail:IFM2012.pdf praegune
- 29. oktoober 2014, kell 10:37 erin ajal +70 Formal methods in model-based testing and verification
- 29. oktoober 2014, kell 10:36 erin ajal -70 Formal methods in model-based testing and verification
- 29. oktoober 2014, kell 10:35 erin ajal 0 U Fail:978-3-642-30729-46.pdf praegune
- 29. oktoober 2014, kell 10:33 erin ajal -28 Formal methods in model-based testing and verification
- 29. oktoober 2014, kell 10:29 erin ajal 0 U Fail:978-3-642-30729-4 6.pdf praegune
- 29. oktoober 2014, kell 10:28 erin ajal +51 Formal methods in model-based testing and verification
- 29. oktoober 2014, kell 08:27 erin ajal +55 Formal methods in model-based testing and verification
- 29. oktoober 2014, kell 08:26 erin ajal +4 Formal methods in model-based testing and verification
- 29. oktoober 2014, kell 08:25 erin ajal +1 Formal methods in model-based testing and verification
- 29. oktoober 2014, kell 08:25 erin ajal -4 Formal methods in model-based testing and verification
- 29. oktoober 2014, kell 08:24 erin ajal +184 Formal methods in model-based testing and verification
- 22. oktoober 2014, kell 18:59 erin ajal 0 U Fail:Slides-2014.09.24b.pdf praegune
- 22. oktoober 2014, kell 18:58 erin ajal +30 Formal methods in model-based testing and verification
- 22. oktoober 2014, kell 17:57 erin ajal +6 Formal methods in model-based testing and verification
- 22. oktoober 2014, kell 17:56 erin ajal +18 Formal methods in model-based testing and verification
- 22. oktoober 2014, kell 17:54 erin ajal -53 Formal methods in model-based testing and verification
- 22. oktoober 2014, kell 17:52 erin ajal +91 Formal methods in model-based testing and verification
- 22. oktoober 2014, kell 17:50 erin ajal +1119 Formal methods in model-based testing and verification
- 22. oktoober 2014, kell 17:44 erin ajal +32 Formal methods in model-based testing and verification
- 22. oktoober 2014, kell 17:40 erin ajal +1 Formal methods in model-based testing and verification
- 22. oktoober 2014, kell 17:38 erin ajal +14 Formal methods in model-based testing and verification
- 22. oktoober 2014, kell 17:37 erin ajal +21 Formal methods in model-based testing and verification
- 22. oktoober 2014, kell 17:35 erin ajal +33 Formal methods in model-based testing and verification
- 22. oktoober 2014, kell 17:30 erin ajal -7 Formal methods in model-based testing and verification
- 22. oktoober 2014, kell 17:29 erin ajal +112 Formal methods in model-based testing and verification
- 13. oktoober 2014, kell 18:05 erin ajal 0 U Fail:88340019.pdf praegune
- 13. oktoober 2014, kell 18:05 erin ajal +108 Formal methods in model-based testing and verification
- 13. oktoober 2014, kell 17:55 erin ajal +6 Formal methods in model-based testing and verification
- 13. oktoober 2014, kell 17:53 erin ajal 0 U Fail:Baltic db is 2014 post proc.pdf praegune
- 13. oktoober 2014, kell 17:52 erin ajal +6 Formal methods in model-based testing and verification
- 13. oktoober 2014, kell 17:52 erin ajal +108 Formal methods in model-based testing and verification
- 13. oktoober 2014, kell 17:46 erin ajal 0 U Fail:IGI raamat.pdf praegune
- 13. oktoober 2014, kell 17:45 erin ajal +105 Formal methods in model-based testing and verification
- 13. oktoober 2014, kell 17:43 erin ajal +22 Formal methods in model-based testing and verification
- 8. oktoober 2014, kell 17:14 erin ajal 0 U Fail:Loeng 5.pdf praegune
- 8. oktoober 2014, kell 17:09 erin ajal +75 Loogiline programmeerimine (2014) →Loengud
- 1. oktoober 2014, kell 09:38 erin ajal +53 Formal methods in model-based testing and verification
- 1. oktoober 2014, kell 09:30 erin ajal +346 Formal methods in model-based testing and verification
- 1. oktoober 2014, kell 09:25 erin ajal +392 Formal methods in model-based testing and verification
- 1. oktoober 2014, kell 08:46 erin ajal +48 U Formal methods in model-based testing and verification Uus lehekülg: '* Time: Wednesday 16:00 * Location: room ICT-411'
- 1. oktoober 2014, kell 08:44 erin ajal +4 Esileht →Doktorantidele suunatud kursused
- 1. oktoober 2014, kell 08:43 erin ajal +58 Esileht →courses.cs.ttu.ee varasemad kursused
- 30. september 2014, kell 11:39 erin ajal -1 Loogiline programmeerimine (2014) →Loengud
- 30. september 2014, kell 11:38 erin ajal +13 Loogiline programmeerimine (2014) →Loengud
- 30. september 2014, kell 11:38 erin ajal +36 Loogiline programmeerimine (2014) →Loengud
- 24. september 2014, kell 12:36 erin ajal +29 Loogiline programmeerimine (2014) →Loengud
- 24. september 2014, kell 12:30 erin ajal +26 U Fail:Loeng 4.pdf Prolog keele põhimõisted praegune