00692cac0 22002051 450 LAEC0001704020160629095544.020110502f0000 |||||ita|0103 baITb La politicaMetodi Storie TeorieSoveria MannelliRubbettinoITUNISOB20160629RICALAEC00017040C 121 Collana SBNCPolitica59170UNISOB001SOB0081972001 <<L' >>impresa come vocazione001SOBE000528372001 <<Il >>rompicapo della secolarizzazione italianacaso italiano, teorie americane e revisione del paradigma della secolarizzazione01664nam0 2200373 i 450 VAN012543820220908125904.314N978366256542120191112d2018 |0itac50 baengDE|||| |||||Computational Materials ScienceFrom Ab Initio to Monte Carlo MethodsKaoru Ohno, Keivan Esfarjani, Yoshiyuki KawazoeBerlinSpringer2018XII, 427 p.ill.24 cmBerlinVANL000066621.36Ingegneria ottica. Ottica applicata22541Chimica fisica22530.41Fisica dello stato solido22620.5Nanotecnologia22620.1Scienze dei materiali22OhnoKaoruVANV096885769146EsfarjaniKeivanVANV096886769148KawazoeYoshiyukiVANV042616769147Springer <editore>VANV108073650Kawazoe, Y.Kawazoe, YoshiyukiVANV042617ITSOL20240614RICAhttps://link.springer.com/book/10.1007/978-3-662-56542-1E-book - Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHEIT-CE0101VAN17NVAN0125438BIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE17CONS e-book 2112 17BIB2112/163 163 20191112 Computational Materials Science1567657UNICAMPANIA03416nam 22007455 450 991048302640332120251226193553.03-642-38856-610.1007/978-3-642-38856-9(CKB)2560000000105671(DE-He213)978-3-642-38856-9(SSID)ssj0000936721(PQKBManifestationID)11585253(PQKBTitleCode)TC0000936721(PQKBWorkID)10974545(PQKB)11286317(MiAaPQ)EBC3096927(PPN)170492796(EXLCZ)99256000000010567120130616d2013 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierStatic Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2012, Proceedings /edited by Francesco Logozzo, Manuel Fähndrich1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (X, 499 p. 130 illus.) Programming and Software Engineering,2945-9168 ;7935Bibliographic Level Mode of Issuance: Monograph3-642-38855-8 Abstract domains -- Abstract interpretation -- Abstract testing -- Bug detection -- Data flow analysis -- Model checking -- New applications -- Program transformation -- Program verification -- Security analysis -- Theoretical frameworks -- Type checking.This book constitutes the thoroughly refereed proceedings of the 20th International Symposium on Static Analysis, SAS 2013, held in Seattle, WA, USA, in June 2013. The 23 revised full papers presented together with 2 invited talks were selected from 56 submissions. The papers address all aspects of static analysis, including abstract domains, abstract interpretation, abstract testing, bug detection, data flow analysis, model checking, new applications, program transformation, program verification, security analysis, theoretical frameworks, and type checking.Programming and Software Engineering,2945-9168 ;7935Computer scienceSoftware engineeringCompilers (Computer programs)Machine theoryComputer programmingComputer Science Logic and Foundations of ProgrammingSoftware EngineeringCompilers and InterpretersFormal Languages and Automata TheoryProgramming TechniquesComputer science.Software engineering.Compilers (Computer programs).Machine theory.Computer programming.Computer Science Logic and Foundations of Programming.Software Engineering.Compilers and Interpreters.Formal Languages and Automata Theory.Programming Techniques.005.13Logozzo Francescoedthttp://id.loc.gov/vocabulary/relators/edtFähndrich Manueledthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910483026403321Static Analysis2995248UNINA