01103nam0 22002773i 450 VAN010908720230518012212.36688-7358-029-720170509d2005 |0itac50 baitaIT|||| |||||Progetto antisismico di edifici in cemento armatoE. Cosenza ... [et al.]2 ed. aggiornata PaviaIUSS2005III, 207 p.ill.24 cm001VAN00630202001 Collana di manuali di progettazione antisismica210 PaviaIUSS.2PaviaVANL000064CosenzaEdoardoVANV084363Istituto universitario di studi superiori di PaviaVANV111659650ITSOL20240209RICABIBLIOTECA DEL DIPARTIMENTO DI INGEGNERIAIT-CE0100VAN05VAN0109087BIBLIOTECA DEL DIPARTIMENTO DI INGEGNERIA05PREST G 1001 BENECON 05CRD30 20170509 Progetto antisismico di edifici in cemento armato240836UNICAMPANIA02846oas 22008413 450 991062618740332120250606213024.02642-732X(OCoLC)606378613(CONSER) 2019204112(CKB)4100000009838397(EXLCZ)99410000000983839720100411a19969999 uy aengurbn||||||abpurbn||||||adatxtrdacontentcrdamediacrrdacarrierFormal Methods in Computer-Aided DesignLos Alamitos, California :IEEE Computer Societyonline resourceProceedings ofProceedings of Formal Methods in Computer-Aided DesignFMCAD ...Form. Methods Comput.-Aided Des.Digital integrated circuitsComputer-aided designCongressesDigital integrated circuitsDesign and constructionData processingCongressesComputer-aided designCongressesAutomatic theorem provingCongressesIntegrated circuitsVerificationCongressesDigital integrated circuitsComputer-aided designfast(OCoLC)fst00893694Automatic theorem provingfast(OCoLC)fst00822777Computer-aided designfast(OCoLC)fst00872701Digital integrated circuitsDesign and constructionData processingfast(OCoLC)fst00893697Integrated circuitsVerificationfast(OCoLC)fst00975600Periodicals.fastConference papers and proceedings.fastDigital integrated circuitsComputer-aided designDigital integrated circuitsDesign and constructionData processingComputer-aided designAutomatic theorem provingIntegrated circuitsVerificationDigital integrated circuitsComputer-aided design.Automatic theorem proving.Computer-aided design.Digital integrated circuitsDesign and constructionData processing.Integrated circuitsVerification.621.3815IEEE Computer Society,OCLCEOCLCEOCLCQOCLCOOCLCQOCLCFOCLCOOCLOCLCOOCLCQDLCOCLDLCVT2OCLOCLCOOCLCQCN8BJOCLCLCONFERENCE9910626187403321Formal Methods in Computer-Aided Design1891319UNINA