02115nam--2200553---450-99000115455020331620030623163420.03-540-44121-2000115455USA01000115455(ALEPH)000115455USA0100011545520021217d2002----km-y0itay0103----baENG||||||||001yyModular specification and verification of Object-oriented programsPeter MullerBerlinSpringer-Verlagcopyr.2002XIV,292 p.ill.20 cmLecture notes in computer science2262Programmazione oggetto-orientata005.1MullerPeter555240ITCBSISBD990001154550203316001 LNCS (2262)0026768 CBS00100112133BKSCIDIGIUSEPPE9020021217USA011200DIGIUSEPPE9020030310USA011222DIGIUSEPPE9020030530USA011247DIGIUSEPPE9020030603USA011655DIGIUSEPPE9020030603USA011657DIGIUSEPPE9020030610USA011536DIGIUSEPPE9020030610USA011541DIGIUSEPPE9020030610USA011543DIGIUSEPPE9020030612USA011022DIGIUSEPPE9020030612USA011029DIGIUSEPPE9020030612USA011042DIGIUSEPPE9020030612USA011043DIGIUSEPPE9020030612USA011118DIGIUSEPPE9020030612USA011123DIGIUSEPPE9020030612USA011128DIGIUSEPPE9020030612USA011132DIGIUSEPPE9020030612USA011138DIGIUSEPPE9020030623USA011634PATRY9020040406USA011721Modular specification and verification of Object-oriented programs983397UNISAUSA50AdministrativeISSUESCISCI001 LNCS (2262)0026768 CBS001121332003061201Prest. 30 gg01771oam 2200397 450 991070443730332120130607151629.0(CKB)5470000002441323(OCoLC)830667353(EXLCZ)99547000000244132320130321d2013 ua 0engurmn||||a||||rdacontentrdamediardacarrierRisk informing emergency preparedness oversight evaluation of emergency action levels -- a pilot study of Peach Bottom, Surry and Sequoyah /prepared by M. Azarm [and six others] ; prepared for Division of Risk Analysis, Office of Nuclear Regulatory Research, U.S. Nuclear Regulatory CommissionWashington, DC :United States Nuclear Regulatory Commission, Office of Nuclear Regulatory Research, Division of Risk Analysis,2013.1 online resource (2 volumes) illustrationsTitle from title screen (viewed on March 21, 2013)."NUREG/CR-7154."Includes bibliographical references (pages 95-96).Risk informing emergency preparedness oversight Nuclear engineeringSafety measuresComputer programsNuclear power plantsUnited StatesSafety measuresComputer programsNuclear engineeringSafety measuresComputer programs.Nuclear power plantsSafety measuresComputer programs.Azarm M.1391144U.S. Nuclear Regulatory Commission.Division of Risk Analysis,GPOGPOGPOBOOK9910704437303321Risk informing emergency preparedness oversight3494387UNINA02053nam0 22004333i 450 VAN023378720230605024439.402N978981159011520211103d2020 |0itac50 baengSG|||| |||||Advancement of Shock Capturing Computational Fluid Dynamics MethodsNumerical Flux Functions in Finite Volume MethodKeiichi KitamuraSingaporeSpringer2020xi, 136 p.ill.24 cmVAN0233788Advancement of Shock Capturing Computational Fluid Dynamics Methods193571176-XXFluid mechanics [MSC 2020]VANC019858MF76LxxShock waves and blast waves in fluid mechanics [MSC 2020]VANC023551MFCFD Simulations of Compressible Fluid FlowsKW:KFluid- and aerodynamicsKW:KFlux Limiters in CFDKW:KIntroduction to Advanced Flux Functions in CFDKW:KNumerical Flux Function in Supercritical FluidsKW:KNumerical Flux Functions in MHDKW:KNumerical Flux Functions in Multiphase FlowsKW:KShock Capturing Methods in CFDKW:KShockwave in CFDKW:KSupplementary Text of Advanced CFDKW:KSGSingaporeVANL000061KitamuraKeiichiVANV193936867248Springer <editore>VANV108073650ITSOL20240614RICAhttp://doi.org/10.1007/978-981-15-9011-5E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN0233787BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08CONS e-book 4427 08eMF4427 20211103 Advancement of shock capturing computational fluid dynamics methods1935711UNICAMPANIA