LEADER 00723nam0-22002651i-450 001 990005005720403321 005 20210615165837.0 035 $a000500572 100 $a19990530g18809999km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aLacrymae$fGiuseppe Chiarini 205 $a2. ed. con molte aggiunte ed una appendice 210 $aBologna$cN. Zanichelli$d1880 215 $a155 p.$d18 cm 676 $a851.8$v21$zita 700 1$aChiarini,$bGiuseppe$f<1833-1908>$0165856 801 0$aIT$bUNINA$gREICAT$2UNIMARC 901 $aBK 912 $a990005005720403321 952 $a3/VIII AA 61$bBib. 22.155$fFLFBC 959 $aFLFBC 996 $aLacrymae$9530064 997 $aUNINA LEADER 01500nam 2200457I 450 001 9910705738003321 005 20170628074020.0 035 $a(CKB)5470000002453028 035 $a(OCoLC)992118912 035 $a(EXLCZ)995470000002453028 100 $a20170628j201702 ua 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFormal methods tool qualification /$fLucas G. Wagner [and four others] 210 1$aHampton, Virginia :$cNational Aeronautics and Space Administration, Langley Research Center,$dFebruary 2017. 215 $a1 online resource (40 pages) $ccolor illustrations 225 1 $aNASA/CR ;$v2017-219371 300 $a"February 2017." 300 $a"Performing organization: NASA Langley Research Center"--Report documentation page." 320 $aIncludes bibliographical references (pages 38-40). 606 $aAvionics$2nasat 606 $aDigital systems$2nasat 606 $aCertification$2nasat 606 $aIdentifying$2nasat 606 $aQualifications$2nasat 615 7$aAvionics. 615 7$aDigital systems. 615 7$aCertification. 615 7$aIdentifying. 615 7$aQualifications. 700 $aWagner$b Lucas G.$01403064 712 02$aLangley Research Center, 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910705738003321 996 $aFormal methods tool qualification$93474840 997 $aUNINA LEADER 01731nam0 22004453i 450 001 VAN0264403 005 20231221083806.130 017 70$2N$a9783540392071 100 $a20231004d1988 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aConformal Geometry and Quasiregular Mappings$fMatti Vuorinen 210 $aBerlin$cSpringer$d1988 215 $axxii, 214 p.$d24 cm 461 1$1001VAN0102250$12001 $aLecture notes in mathematics$1210 $aBerlin [etc.]$cSpringer$v1319 606 $a30-XX$xFunctions of a complex variable [MSC 2020]$3VANC020785$2MF 606 $a30C62$xQuasiconformal mappings in the complex plane [MSC 2020]$3VANC021636$2MF 610 $aBehavior$9KW:K 610 $aBoundary Element Methods$9KW:K 610 $aDevelopment$9KW:K 610 $aExtrema$9KW:K 610 $aForms$9KW:K 610 $aFunctions$9KW:K 610 $aGeometry$9KW:K 610 $aInvariants$9KW:K 610 $aMapping$9KW:K 610 $aSharp$9KW:K 610 $aTime$9KW:K 620 $dBerlin$3VANL000066 700 1$aVuorinen$bMatti$3VANV203650$059551 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/BFb0077904$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $fN 912 $aVAN0264403 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 6948 $e08eMF6948 20231023 996 $aConformal geometry and quasiregular mappings$978604 997 $aUNICAMPANIA