00718nam0 2200253 450 00000212620050630115600.0--------d1962----km-y0itay50------baitaIT<<La >>lingua tedescaMasssimo Schulte2. ed.Napoli[s.n.]1962285 p.21 cmLingua tedescaGrammatica435Schulte,Massimo630076IT UNIPARTHENOPE RICA UNIMARC000002126NAVA1435-L/12571220001117NAVA1435-L/2166 O.U.20001117NAVA1435-L/4100 O.U.20001117Lingua tedesca1223986UNIPARTHENOPE01213nam0M2200361--I450-99000048419020331619920127000000.01-85166-415-70048419USA010048419(ALEPH)000048419USA010048419Aug-14,-d1989----km-y1itay0103----baengGBFibre reinforced cements and concretesrecent developmentsedited by R. N. Swamy and B. BarrLondon New York1989XIII, 700 p.ill.25 cmAtti presentati all'International conference on recent developments in fibre reinforced cements and concretes, Cardiff, 18-20 settembre 1989Materiali da costruzioneCementoCongressi1989624.1833BARR,BenSWAMY,R. NarayanITICCU19980721990000484190203316624.183 3 FIB13939 Ing.62400071818BKTECJOHNNY9020010530USA01175620020403USA011657PATRY9020040406USA011634Fibre reinforced cements and concretes888330UNISA01303nam 2200421 450 991058302060332120181206172742.00-08-101170-9(CKB)4100000001041925(MiAaPQ)EBC5150685(PPN)227987357(EXLCZ)99410000000104192520171215h20172017 uy 0engurcnu||||||||rdacontentrdamediardacarrierComputer arithmetic and formal proofs verifying floating-point algorithms with the Coq system /Sylvie Boldo, Guillaume MelquiondLondon, England :ISTE Press :Elsevier,2017.©20171 online resource (328 pages) illustrations1-78548-112-6 Includes bibliographical references and index.Computer arithmeticFloating-point arithmeticComputer arithmetic.Floating-point arithmetic.004.0151Boldo Sylvie871919Melquiond GuillaumeMiAaPQMiAaPQMiAaPQBOOK9910583020603321Computer arithmetic and formal proofs1946738UNINA