Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Ada_Task_Pools_Multithreading_Made_Easy.webm | 2014-02-18 07:11 | 376M | ||
Introduction_to_Ada_for_Beginning_and_Experienced_Programmers.webm | 2014-02-18 07:47 | 417M | ||
SPARK_2014_Hybrid_Verification_using_Proofs_and_Tests.webm | 2014-02-18 07:47 | 387M | ||
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 | ||
Welcome.webm | 2014-03-14 19:11 | 19M | ||
Ada_in_Debian_Linux.webm | 2014-04-03 22:27 | 62M | ||
Ada_in_Fedora_Linux.webm | 2014-04-03 23:27 | 109M | ||
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 | ||
Ada_in_BSD.webm | 2014-10-22 10:14 | 166M | ||
Wrap_Up_Future_Plans.webm | 2014-10-22 10:14 | 4.2M | ||