Kasutaja Leonidas üleslaaditud failid

Mine navigeerimisribale Mine otsikasti

Sellel erileheküljel näidatakse kõiki üles laaditud faile.

Failide loend
Kuupäev Nimi Pisipilt Suurus Kirjeldus Versioonid
29. november 2018, kell 10:40 OpenJML - Solvers - 15 11 2018.pdf (fail) 1,55 MB   1
16. aprill 2019, kell 10:21 Software Synthesis - Overview of Temporal Synthesis - Lecture 11.pdf (fail) 1,78 MB   1
23. aprill 2019, kell 13:21 Software Synthesis - Introduction to Acacia - Lecture 12.pdf (fail) 1,45 MB   1
30. aprill 2019, kell 12:57 Software Synthesis - LTL Synthesis and Acacia II - Lecture 13.pdf (fail) 2,03 MB   3
7. mai 2019, kell 14:59 Software Synthesis - LTL Synthesis with Acacia part III - Lecture 14.pdf (fail) 2,01 MB   1
9. mai 2019, kell 09:04 Guidelines for Lab Exercise Report for Synthesis with Acacia.pdf (fail) 556 KB   1
9. mai 2019, kell 09:11 Acacia Installation Commands.pdf (fail) 87 KB   1
10. mai 2019, kell 07:10 Acacia Manual.pdf (fail) 253 KB   1
14. mai 2019, kell 07:36 Software Synthesis and Verification LTL Assignment-Updated Spec.pdf (fail) 512 KB   1
14. mai 2019, kell 14:44 Software Synthesis - Lecture V - Recap.pdf (fail) 2,66 MB   1
31. oktoober 2019, kell 12:03 OpenJML installation instructions.pdf (fail) 512 KB   1
18. november 2019, kell 16:15 WorstPracticesInSWDevelopment.pdf (fail) 1,4 MB   1
9. detsember 2019, kell 12:17 Automotive audio amplifiers.pdf (fail) 1,14 MB   1
14. veebruar 2020, kell 08:36 HoareLogic.tar (fail) 30 KB   1