Index of /2014/K4601/Saturday/


../
Ada_Task_Pools_Multithreading_Made_Easy.webm       18-Feb-2014 06:11           394564424
Ada_in_BSD.webm                                    22-Oct-2014 08:14           174121724
Ada_in_Debian_Linux.webm                           03-Apr-2014 20:27            64828019
Ada_in_Fedora_Linux.webm                           03-Apr-2014 21:27           114181704
Contract_Based_Programming_in_Ada_2012.webm        22-Feb-2014 12:19           498457938
Formal_Verification_with_Ada_2012_a_Very_Simple..> 22-Feb-2014 11:34           208235235
Introduction_to_Ada_for_Beginning_and_Experienc..> 18-Feb-2014 06:47           437206646
SPARK_2014_Hybrid_Verification_using_Proofs_and..> 18-Feb-2014 06:47           406307864
Safer_Web_Servers_with_Ada_and_AWS.webm            27-Jul-2014 13:29           458019968
Speedup_and_Quality_Up_with_Ada_Tasking.webm       27-Jul-2014 13:29           145864333
Welcome.webm                                       14-Mar-2014 18:11            20271319
Wrap_Up_Future_Plans.webm                          22-Oct-2014 08:14             4365317