01466nam0 2200373 i 450 SUN012508820200506095809.1880.00N978331968696720191030d2018 |0engc50 baengCH|||| |||||*Lignocellulosic Composite MaterialsSusheel Kalia editorCham : Springer, 2018XII444 p.ill. ; 24 cmPubblicazione in formato elettronico001SUN01239552001 *Springer Series on Polymer and Composite Material210 ChamSpringer.CHChamSUNL001889540Chimica generale22547Chimica organica22664Tecnologia alimentare. Chimica degli alimenti22641.3Alimenti22620.192Polimeri22620.14Ceramica e materiali affini22575.4Legno22Kalia, SusheelSUNV095556SpringerSUNV000178650ITSOL20200921RICAhttps://link.springer.com/book/10.1007%2F978-3-319-68696-7#tocSUN0125088UFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE17CONS e-book 2112 17BIB2112 87 20191030 Lignocellulosic Composite Materials1563842UNICAMPANIA03797nam 22007455 450 99646570140331620200705115335.03-319-42547-110.1007/978-3-319-42547-4(CKB)3710000000765274(DE-He213)978-3-319-42547-4(MiAaPQ)EBC5578797(PPN)19451515X(EXLCZ)99371000000076527420160711d2016 u| 0engurnn|008mamaatxtrdacontentcrdamediacrrdacarrierIntelligent Computer Mathematics[electronic resource] 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings /edited by Michael Kohlhase, Moa Johansson, Bruce Miller, Leonardo de Moura, Frank Tompa1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (XIV, 163 p. 21 illus.) Lecture Notes in Artificial Intelligence ;97913-319-42546-3 This book constitutes the refereed proceedings of the 9th International Conference on Intelligent Computer Mathematics, CICM 2016, held in Bialystok, Poland, in July 2016. The 10 full papers and 2 short papers presented were carefully reviewed and selected from a total of 41 submissions. The papers are organized in topical sections according to the five tracks of the conference: Calculemus; Digital Mathematics Libraries; Mathematical Knowledge Management; Surveys and Projects; and Systems and Data.Lecture Notes in Artificial Intelligence ;9791Artificial intelligenceMathematical logicComputer logicSoftware engineeringProgramming languages (Electronic computers)Computer simulationArtificial Intelligencehttps://scigraph.springernature.com/ontologies/product-market-codes/I21000Mathematical Logic and Formal Languageshttps://scigraph.springernature.com/ontologies/product-market-codes/I16048Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XSoftware Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Artificial intelligence.Mathematical logic.Computer logic.Software engineering.Programming languages (Electronic computers).Computer simulation.Artificial Intelligence.Mathematical Logic and Formal Languages.Logics and Meanings of Programs.Software Engineering.Programming Languages, Compilers, Interpreters.Simulation and Modeling.004.0151Kohlhase Michaeledthttp://id.loc.gov/vocabulary/relators/edtJohansson Moaedthttp://id.loc.gov/vocabulary/relators/edtMiller Bruceedthttp://id.loc.gov/vocabulary/relators/edtde Moura Leonardoedthttp://id.loc.gov/vocabulary/relators/edtTompa Frankedthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK996465701403316Intelligent Computer Mathematics2149623UNISA02092nam a2200361 i 4500991001104989707536050617s2005 it 001 0 ita d8814109427b13321134-39ule_instDip.to Studi Giuridiciita346.45Pescatore, Gabriele3143Codice civile :annotato con la giurisprudenza della Corte costituzionale, della Corte di cassazione e delle giurisdizioni amministrative superiori /Gabriele Pescatore, Cesare Ruperto13. edMilano :Giuffrè,c20052 v. (ix, 5251 p. comples.) ;25 cmContiene indice generale (pp. 5123-5239). - Sulla cop.: Aggiornamento on-lineT. 1.: (Artt. 1-1551) / con la collaborazione di Ubaldo Bellini ... [et al.]. - ix, 2573 p.T. 2.: (artt. 1552-2969) / a cura di Francesco Felicetti. - p. 2575-5251Ruperto, Cesareauthorhttp://id.loc.gov/vocabulary/relators/aut147150Bellini, UbaldoFelicetti, Francesco.b1332113402-04-1417-06-05991001104989707536LE025 ECO 346 PES01.01V. 112025000200357le025-E124.00-no 00000.i1424262x29-05-06LE025 ECO 346 PES01.01V. 212025000200364le025-E124.00-no 00000.i1424263129-05-06LE027 346.45 PES01.02 T. 1T. 112027000104673le027-E124.00-l- 02020.i1409303017-06-05LE027 346.45 PES01.02 T. 2T. 212027000104680le027-E124.00-l- 02220.i1409304217-06-05LE027 346.45 PES01.02 T. 1 C. 2T. 1 C. 212027000109975le027-E124.00-l- 02020.i1413594214-10-05LE027 346.45 PES01.02 T. 2 C. 2T. 2 C. 212027000109968le027-E124.00-l- 02020.i1413595414-10-05Codice Civile1460473UNISALENTO(2)le025(4)le02717-06-05ma -itait 06