LEADER 01119nam a2200325 i 4500 001 991001325119707536 005 20020507191404.0 008 930601s1991 us ||| | eng 020 $a0817635947 035 $ab10831770-39ule_inst 035 $aLE01310536$9ExL 040 $aDip.to Matematica$beng 082 0 $a511.3 084 $aAMS 03F 084 $aQA76.7S82 100 1 $aStreicher, Thomas$0536751 245 10$aSemantics of type theory :$bcorrectness, completeness and independence results /$cThomas Streicher 260 $aBoston :$bBirkhäuser,$c1991 300 $a298 p. ;$c24 cm. 490 0 $aProgress in theoretical computer science 650 4$aElectronic computers 650 4$aFunctional programming 650 4$aProgramming languages 650 4$aType theory 907 $a.b10831770$b23-02-17$c28-06-02 912 $a991001325119707536 945 $aLE013 03F STR11 (1991)$g1$i2013000146744$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10940789$z28-06-02 996 $aSemantics of type theory$9923717 997 $aUNISALENTO 998 $ale013$b01-01-93$cm$da $e-$feng$gus $h0$i1 LEADER 01085nam2 22002651i 450 001 UON00039442 005 20231205102139.164 100 $a20020107d1970 |0itac50 ba 101 $aeng 102 $aDZ 105 $a|||| 1|||| 200 1 $aˆThe ‰Wilaya of Setif 210 $a[Alger$cMinistry of Information and Culture]$d1970 215 $a85 p.$cill.$d21 cm 461 1$1001UON00039440$12001 $aˆThe ‰Faces of Algeria$1210 $a[Alger$cMinistry of Information and Culture$d19-$1215 $a p.$d cm$v12 606 $aALGERIA$xGuide$3UONC013320$2FI 620 $aNL$dAmsterdam$3UONL001817 686 $aALG I$cALGERIA - INTERDISCIPLINARE$2A 712 $aMinistère de l'Information et de la Culture (Algeria)$3UONV252021$4650 801 $aIT$bSOL$c20240220$gRICA 899 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$2UONSI 912 $aUON00039442 950 $aSIBA - SISTEMA BIBLIOTECARIO DI ATENEO$dSI ALG I 006 (12) $eSI SA 11435 5 006 (12) 996 $aWilaya of Setif$91208720 997 $aUNIOR LEADER 01802nam0 2200409 i 450 001 VAN00125279 005 20250311112227.516 017 70$2N$a9783642399091 100 $a20191106d2015 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aBasics of Modern Mathematical Statistics$fVladimir Spokoiny, Thorsten Dickhaus 210 $aBerlin$cSpringer$d2015 215 $axviii, 296 p.$d24 cm 410 1$1001VAN00036791$12001 $aSpringer texts in statistics$1210 $aBerlin [etc.]$cSpringer$d1985- 500 1$3VAN00234913$aBasics of Modern Mathematical Statistics$91564823 606 $a62Fxx$xParametric inference [MSC 2020]$3VANC031220$2MF 606 $a62Hxx$xMultivariate analysis [MSC 2020]$3VANC026440$2MF 606 $a62Jxx$xLinear inference, regression [MSC 2020]$3VANC028385$2MF 610 $aCoverage and Concentration$9KW:K 610 $aEstimators and Tests$9KW:K 610 $aExponential Families$9KW:K 610 $aLinear Models$9KW:K 610 $aMaximum Likelihood$9KW:K 620 $dBerlin$3VANL000066 700 1$aSpokoiny$bVladimir$3VANV096719$0768285 701 1$aDickhaus$bThorsten$3VANV096510$0767932 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250314$gRICA 856 4 $uhttp://doi.org/10.1007/978-3-642-39909-1$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 $aVAN00125279 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08DLOAD e-book 0114 $e08eMF114 20191106 996 $aBasics of Modern Mathematical Statistics$91564823 997 $aUNICAMPANIA