01350nam 2200385 450 99627968070331620180317091417.00-9835678-7-5(CKB)4100000000884296(WaSeSS)IndRDA00095333(EXLCZ)99410000000088429620180317d2017 || |engur|||||||||||txtrdacontentcrdamediacrrdacarrierFMCAD 2017 proceedings of the 17th Conference on Formal Methods in Computer-Aided Design : October 2-6, 2017, TU Wien, Vienna, Austria /edited by Daryl Stewart and Georg WeissenbacherNew York :IEEE,2017.1 online resource (229 pages)1-5386-1012-4 Digital integrated circuitsComputer-aided designCongressesIntegrated circuitsVerificationCongressesFormal methods (Computer science)CongressesDigital integrated circuitsComputer-aided designIntegrated circuitsVerificationFormal methods (Computer science)Stewart DarylWeissenbacher GeorgWaSeSSWaSeSSPROCEEDING996279680703316FMCAD 20172494675UNISA02049nam a2200409 i 4500991003291139707536860616m19852001it bc 000 0 ita 8822233786 (v. 1)8822250540 (v. 2)b12405863-39ule_instBiblioteca Interfacoltà ita016.7821Teatro municipale<Reggio Emilia>456050Catalogo della Discoteca storica "Arrigo ed Egle Agosti" di Reggio Emilia /Susanna Gozzi, Alessandro Roccatagliati ; con una premessa di Lorenzo BianconiFirenze :L. S. Olschki,1985-20012 v. ;26 cmHistoriae Musicae Cultores ;42Historiae Musicae Cultores ;90Include bibliografiaV. 1.:Opere complete e selezioni. - 1985.- XXII, 103 p.V. 2.:Pezzi staccati e recitals / Elisabetta Pasquini. - 2001.- XIX, 613 p.Opere in musicaDiscografiaReggio EmiliaTeatro municipaleDiscoteca storica "Arrigo ed Egle Agosti"CataloghiRoccatagliati, Alessandroauthorhttp://id.loc.gov/vocabulary/relators/aut156337Pasquini, ElisabettaBianconi, LorenzoGozzi, Susannaauthorhttp://id.loc.gov/vocabulary/relators/aut737291.b1240586302-04-1422-10-03991003291139707536LE019 A24 MUS A 3V. 2.12019000019217le019-E61.97-l- 00000.i1435693401-02-07LE002 SB 782.1 TEALE002 Bibl. III F 13/00212002000242457le002V. 2-E0.00-no 00000.i1281818522-10-03LE002 SB 782.1 TEALE002 Bibl. III F 13/00112002000249371le002V. 1-E0.00-no 00000.i1282161527-10-03Catalogo della Discoteca storica "Arrigo ed Egle Agosti" di Reggio Emilia1459156UNISALENTOle019(2)le00222-10-03ma -itait 03