![]() | Name | Last modified | Size | Description |
---|---|---|---|---|
![]() | Parent Directory | - | ||
![]() | Wrap_Up_Future_Plans.webm | 2014-10-22 10:14 | 4.2M | |
![]() | Welcome.webm | 2014-03-14 19:11 | 19M | |
![]() | Speedup_and_Quality_Up_with_Ada_Tasking.webm | 2014-07-27 15:29 | 139M | |
![]() | Safer_Web_Servers_with_Ada_and_AWS.webm | 2014-07-27 15:29 | 437M | |
![]() | SPARK_2014_Hybrid_Verification_using_Proofs_and_Tests.webm | 2014-02-18 07:47 | 387M | |
![]() | Introduction_to_Ada_for_Beginning_and_Experienced_Programmers.webm | 2014-02-18 07:47 | 417M | |
![]() | Formal_Verification_with_Ada_2012_a_Very_Simple_Case_Study.webm | 2014-02-22 12:34 | 199M | |
![]() | Contract_Based_Programming_in_Ada_2012.webm | 2014-02-22 13:19 | 475M | |
![]() | Ada_in_Fedora_Linux.webm | 2014-04-03 23:27 | 109M | |
![]() | Ada_in_Debian_Linux.webm | 2014-04-03 22:27 | 62M | |
![]() | Ada_in_BSD.webm | 2014-10-22 10:14 | 166M | |
![]() | Ada_Task_Pools_Multithreading_Made_Easy.webm | 2014-02-18 07:11 | 376M | |