LEADER 02051cam0-22007091i-450 001 990000013460403321 005 20190916094425.0 035 $a000001346 035 $aFED01000001346 035 $a(Aleph)000001346FED01 035 $a000001346 100 $a20020821d1951----km-y0itay50------ba 101 1 $aita$ceng 102 $aIT 105 $aa-------001yy 200 1 $aMetodi matematici nell'ingegneria$eintroduzione alla trattazione matematica dei problemi di ingegneria$fTheodore von Karman, Maurice Biot$gtraduzione dell'ingegnere Danilo Danieli 210 $aTorino$cEdizioni scientifiche Einaudi$d1951 215 $a610 p.$cill.$d25 cm 225 1 $aManuali Einaudi$iSerie di ingegneria 610 0 $aMatematica 610 0 $aMetodi matematici per l'ingegneria 610 0 $aIngegneria 676 $a511.4 676 $a510 676 $a519 676 $a620 700 1$aKármán,$bTheodore von$f<1881-1963>$0334677 701 1$aBiot,$bMaurice Anthony$043307 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000013460403321 952 $a10 B II 102$bS.I.$fDINEL 952 $a05 PH 5 55$b572m$fDININ 952 $a05 PH 5 54$b364a$fDININ 952 $a03 M.0,27$b856$fIINTC 952 $a04 010-54$bELETT. 2808$fDINCH 952 $aMXV-B-6$b01767$fMAS 952 $a13 P 36 12$b20066$fFINBC 952 $a13 P 36 11$b33565$fFINBC 952 $a15 ID L/2-11$b338$fDINID 952 $a40-003$fFI1 952 $a5-G-9$b11834$fMA1 952 $a02 43 F 4$b398$fFINBN 952 $a01 M 5004$b32/2523$fDINST 952 $a15 ID K/4-6$b921CI$fDINID 952 $a02 43 F 24$b8645$fFINBN 952 $aA5/10$b2391$fDINTR 959 $aIINTC 959 $aMAS 959 $aFINBC 959 $aDINID 959 $aFI1 959 $aDINCH 959 $aMA1 959 $aFINBN 959 $aDINST 959 $aDININ 959 $aDINEL 959 $aDINTR 962 $a00A06 996 $aMetodi matematici nell'ingegneria$9108243 997 $aUNINA LEADER 02103nam0 22004453i 450 001 VAN0268469 005 20240321104307.720 017 70$2N$a9781461257493 100 $a20231205d1982 |0itac50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aˆA ‰Programming Approach to Computability$fA. J. Kfoury, Robert N. Moll, Michael A. Arbib 210 $aNew York$cSpringer-Verlag$d1982 215 $aviii, 251 p.$cill.$d24 cm 410 1$1001VAN0067091$12001 $aMonographs in computer science$1210 $aNew York$cSpringer$1300 $aFino al 1993: Texts and Monographs in Computer Science 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03D80$xApplications of computability and recursion theory [MSC 2020]$3VANC024450$2MF 606 $a68N01$xGeneral topics in the theory of software [MSC 2020]$3VANC035632$2MF 606 $a03D60$xComputability and recursion theory on ordinals, admissible sets, etc. [MSC 2020]$3VANC037481$2MF 610 $aAlgorithms$9KW:K 610 $aClassification$9KW:K 610 $aComputability theory$9KW:K 610 $aFormal languages$9KW:K 610 $aPredictability$9KW:K 610 $aProgramming$9KW:K 620 $aUS$dNew York$3VANL000011 700 1$aKfoury$bAssaf J.$3VANV220478$054061 701 1$aArbib$bMichael A.$3VANV216485$013645 701 1$aMoll$bRobert N.$3VANV220479$054062 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 856 4 $uhttps://doi.org/10.1007/978-1-4612-5749-3$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 $aVAN0268469 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08CONS e-book 7547 $e08eMF7547 20231211 996 $aProgramming Approach to Computability$93643912 997 $aUNICAMPANIA