01262nam--2200421---450-99000271417020331620090925163451.088-7524-055-8000271417USA01000271417(ALEPH)000271417USA0100027141720060223h2005----km-y0itay0103----baitaITy|||z|||001yy<<Il>> minore e il suo processoD.P.R. n. 448/1988Marina IngrascìTorinoG. Giappichellicopyr. 2005XIV, 214 p.23 cmLinea professionale2001Linea professionale2001001-------2001Processo penale minorile345.45087INGRASCÌ,Marina500248ITsalbcISBD990002714170203316XXVI.2.B. 280 (IG X 541)49462 G.XXVI.2.B. 280 (IG X)00176398SANT.2 Coll. R 7 31851 DDPGSANT.2BKGIUDDPGANNAMARIA9020060223USA011312DDPG29020060703USA011438RSIAV59020090925USA011634Minore e il suo processo744573UNISA01842oam 2200481Ia 450 991070180580332120120628112745.0(CKB)5470000002422055(OCoLC)796997247(EXLCZ)99547000000242205520120628d1985 ua 0engurbn|||||||||txtrdacontentcrdamediacrrdacarrierDuct flow nonuniformities study for Space Shuttle main engine[electronic resource] technical report /by Jürgen ThoenesHuntsville. AL :Lockheed, Missiles & Space Company. Inc, Huntsville Engineering Center ;National Aeronautics and Space Administration, Marshall Space Flight Center,[1985]1 online resource (vi, 123 pages) illustrations[NASA contractor report ] ;178734LMSC-HEC TR ;F042555Title from title screen (viewed on June 28, 2012)."August 15, 1985."Includes bibliographical references (page 123).Duct flow nonuniformities study for Space Shuttle main engine Computational fluid dynamicsnasatDesign analysisnasatFlow characteristicsnasatSpace Shuttle Main EnginenasatComputational fluid dynamics.Design analysis.Flow characteristics.Space Shuttle Main Engine.Thoenes Jürgen1417560Huntsville Engineering Center.George C. Marshall Space Flight Center.GPOGPOGPOBOOK9910701805803321Duct flow nonuniformities study for Space Shuttle main engine3526364UNINA02834nam0 22006133i 450 VAN0026804620250422102529.392N978147574385220231128d1977 |0itac50 baengUS|||| |||||ˆA ‰Course in Mathematical LogicYu. I. ManinTranslated from the Russian by Neal KoblitzNew YorkSpringer1977xiii, 288 p.ill.24 cm001VAN000235792001 Graduate texts in mathematics210 New York [etc.]Springer1950-53VAN00268047Lekcii po matematičeskoj logike359740703-XXMathematical logic and foundations [MSC 2020]VANC019750MF03B10Classical first-order logic [MSC 2020]VANC024530MF03D20Recursive functions and relations, subrecursive hierarchies [MSC 2020]VANC024470MF03D80Applications of computability and recursion theory [MSC 2020]VANC024450MF03E50Continuum hypothesis and Martin's axiom [MSC 2020]VANC024394MF03FxxProof theory and constructive mathematics [MSC 2020]VANC024383MF03G12Quantum logic [MSC 2020]VANC023766MF11UxxConnections of number theory and logic [MSC 2020]VANC024437MF20A15Applications of logic to group theory [MSC 2020]VANC024452MFBoundary Element MethodsKW:KComputabilityKW:KForcingKW:KFormal languagesKW:KFormsKW:KFunctionsKW:KLanguageKW:KLogicKW:KMathematical logicKW:KMathematicsKW:KPresentationsKW:KTheory of complexityKW:KUSNew YorkVANL000011ManinYuri I.VANV04156849026KoblitzNealVANV022032730Springer <editore>VANV108073650Manin, Yuri IvanovichManin, Yuri I.VANV050854Manin, Ju. I.Manin, Yuri I.VANV220270Manin, Y. I.Manin, Yuri I.VANV242609Manin, Y.I.Manin, Yuri I.VANV242610ITSOL20250829RICAhttps://doi.org/10.1007/978-1-4757-4385-2E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICAIT-CE0120VAN08NVAN00268046BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA08DLOAD e-book 7360 08eMF7360 20231204 Lekcii po matematičeskoj logike3597407UNICAMPANIA