![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| C_version/ | 17-Jun-2011 10:51 | - | |
| ciclops11_comp.pdf | 07-Jul-2011 08:52 | 960K | |
| cons2011_06_17_11.zip | 17-Jun-2011 10:47 | 3.1K | |
| jISO.zip | 15-Jun-2011 12:26 | 6.1M | |
| jISO/ | 15-Jun-2011 12:32 | - | |
| slides_CompMath.pdf | 28-Nov-2011 16:17 | 1.8M | |
| slides_ciclops11bij.pdf | 10-Jul-2011 12:25 | 463K | |
| slides_ictac11.pdf | 28-Nov-2011 16:14 | 275K | |
| slides_ismm11_ideas.pdf | 06-Jul-2011 11:45 | 170K | |
| tarau_ictac11.pdf | 28-Nov-2011 16:21 | 1.7M | |
| tarau_ppdp2010_draft.pdf | 20-Sep-2010 12:29 | 274K | |