LEADER 01112nam0-22003011i-450- 001 990000052920403321 035 $a000005292 035 $aFED01000005292 035 $a(Aleph)000005292FED01 035 $a000005292 100 $a20011111d--------km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aCostruzione delle strade ordinarie e ferrate$elegislazione, studio e scelta del tracciato, muri di sostegno, manufattinormali, computo metrico, esecuzione pratica dei lavori, opere di consolidamento e difesa, gallerie artificiali, sotteranee e subacquee, soprastruttura stradale$fAlbino Pasini. 210 $aMilano$cLibreria editrice politecnica$d1923 215 $aXV, 555 p.$cill., 3 tav. f.t.$d27 cm 610 0 $aCostruzioni ferroviarie 610 0 $aCostruzioni stradali 676 $a625 700 1$aPasini,$bAlbino$0332002 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000052920403321 952 $a13 E 46 04$b5335$fFINBC 959 $aFINBC 996 $aCostruzione delle strade ordinarie e ferrate$9112009 997 $aUNINA DB $aING01 LEADER 03654nam 22007815 450 001 9910349416303321 005 20251225203653.0 010 $a9783319968124 010 $a3319968122 024 7 $a10.1007/978-3-319-96812-4 035 $a(CKB)4100000005471901 035 $a(DE-He213)978-3-319-96812-4 035 $a(MiAaPQ)EBC6301744 035 $a(PPN)229915965 035 $a(MiAaPQ)EBC6275240 035 $a(EXLCZ)994100000005471901 100 $a20180717d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIntelligent Computer Mathematics $e11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /$fedited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XII, 287 p. 102 illus.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v11006 311 08$a9783319968117 311 08$a3319968114 327 $aCalculemus -- Digital Mathematical Libraries -- Mathematical Knowledge Management. 330 $aThis book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also correspond to the subject areas of the predecessor meetings. Orthogonally, the Systems and Projects track called for descriptions of digital resources, such as data and systems, and of projects, whether old, current, or new, and survey papers covering any topics of relevance to the CICM community. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v11006 606 $aArtificial intelligence 606 $aMachine theory 606 $aComputer programming 606 $aCompilers (Computer programs) 606 $aSocial sciences$xData processing 606 $aEducation$xData processing 606 $aArtificial Intelligence 606 $aFormal Languages and Automata Theory 606 $aProgramming Techniques 606 $aCompilers and Interpreters 606 $aComputer Application in Social and Behavioral Sciences 606 $aComputers and Education 615 0$aArtificial intelligence. 615 0$aMachine theory. 615 0$aComputer programming. 615 0$aCompilers (Computer programs). 615 0$aSocial sciences$xData processing. 615 0$aEducation$xData processing. 615 14$aArtificial Intelligence. 615 24$aFormal Languages and Automata Theory. 615 24$aProgramming Techniques. 615 24$aCompilers and Interpreters. 615 24$aComputer Application in Social and Behavioral Sciences. 615 24$aComputers and Education. 676 $a006.30151 702 $aRabe$b Florian$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aFarmer$b William M$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPassmore$b Grant O$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aYoussef$b Abdou$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349416303321 996 $aIntelligent Computer Mathematics$93552027 997 $aUNINA