Index of /~a009435/issw/extra

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]2012_wrc.pdf2014-07-02 16:20 179K 
[   ]2014_cardiotechnix.pdf2014-10-27 17:19 277K 
[   ]2016_fide.pdf2016-11-30 17:23 285K 
[   ]Alted_HDF5_INTRO.pdf2011-04-27 18:17 1.5M 
[   ]CCM.pdf2009-12-16 17:52 3.8M 
[TXT]CLEANROOM_HandbookVol_1.txt1997-11-03 11:41 61K 
[   ]CORBAbook.pdf2009-12-07 12:23 1.1M 
[   ]EWD1036.pdf2009-09-28 15:18 897K 
[   ]Imagicle-Pisa-IngSw-Oct-2018_rev03.pdf2018-10-11 15:10 1.9M 
[   ]Petri-diss-de-d-2zu1.pdf2011-11-03 09:42 32M 
[   ]TTCN-3_Introduction_version_T3UC05.pdf2020-12-16 11:52 1.2M 
[   ]ariane5-benari.pdf2004-11-10 14:47 76K 
[   ]automobile.pdf2014-10-06 11:49 31K 
[   ]c-coding-standard.pdf2022-02-22 10:04 3.7M 
[   ]cardio2014slides.pdf2014-10-27 12:54 798K 
[   ]ccm_tutorial_Yokohama.pdf2011-05-31 17:28 6.7M 
[TXT]codingstyle.txt2013-10-07 19:01 2.4K 
[   ]corba0708.pdf2008-01-09 19:02 716K 
[   ]cosim-cps_cr.pdf2017-11-06 11:03 199K 
[   ]cosim-cps_slides.pdf2017-11-06 11:05 175K 
[   ]cosim18_slides.pdf2018-09-13 19:24 304K 
[   ]cosim18cr.pdf2018-09-13 19:23 153K 
[   ]criteria.pdf2014-11-11 17:15 576K 
[   ]depsec2016.pdf2016-05-03 10:34 1.3M 
[   ]domenici-misraC-FIDE2016.pdf2016-11-17 12:23 767K 
[   ]donno_domenici_ewdc09-slides.pdf2011-04-27 17:57 356K 
[   ]edg_browsers.pdf2011-12-07 15:04 128K 
[   ]esa-x-1819eng.pdf2009-09-26 13:16 2.1M 
[   ]ewdc09.pdf2011-04-27 17:57 356K 
[TXT]extras.html2022-02-22 10:40 6.2K 
[   ]gabes.pdf2017-06-26 13:00 1.6M 
[   ]hello_ccm.zip2009-12-16 17:49 18K 
[   ]intro_pvs.pdf2020-10-26 23:46 651K 
[   ]kp_elems_of_pgmng_sty.pdf2015-11-18 17:34 10M 
[   ]masci-icts4ehealth-cr.pdf2017-02-03 10:56 117K 
[   ]misra-c-2004.pdf2022-02-22 10:31 1.1M 
[   ]mori.pdf2013-03-20 13:01 2.7M 
[   ]murata.pdf2011-11-03 09:42 3.5M 
[   ]newunix.pdf2014-05-19 16:40 375K 
[   ]peterson.pdf2011-11-03 09:42 2.5M 
[   ]preprint_isgc07.pdf2017-06-23 14:51 136K 
[   ]proving.pdf2020-10-26 23:53 502K 
[   ]pvs_intro.pdf2011-11-04 10:36 272K 
[   ]pvs_language.pdf2020-10-26 23:49 307K 
[   ]readingSmalltalk.pdf2009-10-22 14:26 27K 
[   ]seminario120319corr.pdf2014-05-10 10:56 368K 
[   ]sevenmyths.pdf2010-05-06 13:39 792K 
[   ]slidesisgc07.pdf2011-04-27 17:53 1.5M 
[   ]ss32-4_baronti_domenici.pdf2013-11-16 11:05 2.5M 
[   ]sssup00.pdf2011-12-07 16:32 129K 
[DIR]standard/2012-10-25 10:38 -  
[   ]swe_grnspg090615.pdf2009-09-26 11:11 273K 
[   ]swe_grnspg090902.pdf2009-09-26 11:12 167K 
[   ]therac.pdf2010-02-09 10:25 292K 
[   ]therac30yrs_later.pdf2022-05-05 11:55 451K 
[   ]urdvertextrigr.pdf2012-10-25 10:46 115K 
[   ]viviani.pdf2018-10-11 15:10 1.9M 
[   ]yuinfo2000.pdf2008-12-01 10:53 204K 
[   ]yuinfo2000talk.pdf2008-12-01 10:53 151K 

Apache/2.4.59 (Debian) Server at docenti.ing.unipi.it Port 80