LEADER 01139nam 2200385 450 001 990000862450203316 005 20050614102427.0 010 $a88-204-8670-9 035 $a0086245 035 $aUSA010086245 035 $a(ALEPH)000086245USA01 035 $a0086245 100 $a20020110d1994----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $aIntroduzione ad una lettura della modernità$fFranco Riccio 210 $aMilano$cF. Angeli$dc1994 215 $a146 p$d22 cm 225 2 $aCollana di filosofia$v60 410 $12001$aCollana di filosofia$v60 606 0 $aModernità$xStudi 676 $a100 700 1$aRICCIO,$bFranco$0119694 801 0$aIT$bsalbc$gISBD 912 $a990000862450203316 951 $aII.1 Coll.90/ 23(IV C COLL. 429/60)$b118446 LM$cIV C COLL. 959 $aBK 969 $aUMA 979 $aPATTY$b90$c20020110$lUSA01$h1205 979 $c20020403$lUSA01$h1731 979 $aPATRY$b90$c20040406$lUSA01$h1659 979 $aCOPAT1$b90$c20050614$lUSA01$h1024 996 $aIntroduzione ad una lettura della modernità$9812480 997 $aUNISA LEADER 00815nam0-22003011i-450- 001 990005661940403321 005 20090504104058.0 035 $a000566194 035 $aFED01000566194 035 $a(Aleph)000566194FED01 035 $a000566194 100 $a19990604d1963----km-y0itay50------ba 101 0 $aita 105 $ay-------001yy 200 1 $aCasa De Alvenaria$fCarolina Maria De Jesus 210 $aMilano$cBompiani$d1963 215 $a232 p.$d22 cm 225 1 $aCase d'oggi$v31 610 0 $aNarrativa brasiliana 676 $a920.7 700 1$aJesus,$bCarolina Maria : de$0217933 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990005661940403321 952 $a920.7 JES 1$bIST.ST.FIL. 5230$fFLFBC 959 $aFLFBC 996 $aCasa De Alvenaria$9600406 997 $aUNINA LEADER 01006nam0-22003371i-450- 001 990000106540403321 005 20100928131217.0 035 $a000010654 035 $aFED01000010654 035 $a(Aleph)000010654FED01 035 $a000010654 100 $a20020821d1984----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $a<>piani regionali di risanamento delle acque$eun programma biennale di ricerca, formazione e assistenza organizzativa a favore delle regioni meridionali (prima fase) 210 $aRoma$cFormez$d1984 215 $a219 p.$d29 cm 225 1 $a<>gestione delle acque$v1 610 0 $aItalia meridionale$aAcque 610 0 $aAcque$aUtilizzazione 676 $a333.913 712 02$aFormez 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990000106540403321 952 $aB-It 0204(1)$bB.F.L.F. 60372$fILFGE 952 $a13 D 07 05$b2639$fFINBC 959 $aFINBC 959 $aILFGE 997 $aUNINA LEADER 03326nam 22007575 450 001 9910349422903321 005 20260630164030.0 010 $a9783319906867 010 $a3319906860 024 7 $a10.1007/978-3-319-90686-7 035 $a(CKB)4100000003359672 035 $a(DE-He213)978-3-319-90686-7 035 $a(MiAaPQ)EBC6302203 035 $a(PPN)226696685 035 $a(EXLCZ)994100000003359672 100 $a20180423d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFunctional and Logic Programming $e14th International Symposium, FLOPS 2018, Nagoya, Japan, May 9?11, 2018, Proceedings /$fedited by John P. Gallagher, Martin Sulzmann 205 $a1?. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XVI, 281 p. 74 illus.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10818 311 08$a9783319906850 311 08$a3319906852 330 $aThis book constitutes the proceedings of the 14th International Symposium on Functional and Logic Programming, FLOPS 2018, held in Nagoya, Japan, in May 2018. The 17 papers presented in this volume were carefully reviewed and selected from 41 submissions. They cover all aspects of the design, semantics, theory, applications, implementations, and teaching of declarative programming focusing on topics such as functional-logic programming, re-writing systems, formal methods and model checking, program transformations and program refinements, developing programs with the help of theorem provers or SAT/SMT solvers, language design, and implementation issues. . 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v10818 606 $aSoftware engineering 606 $aCompilers (Computer programs) 606 $aComputer programming 606 $aComputers 606 $aProfessions 606 $aElectronic digital computers$xEvaluation 606 $aComputers, Special purpose 606 $aSoftware Engineering 606 $aCompilers and Interpreters 606 $aProgramming Techniques 606 $aThe Computing Profession 606 $aSystem Performance and Evaluation 606 $aSpecial Purpose and Application-Based Systems 615 0$aSoftware engineering. 615 0$aCompilers (Computer programs) 615 0$aComputer programming. 615 0$aComputers. 615 0$aProfessions. 615 0$aElectronic digital computers$xEvaluation. 615 0$aComputers, Special purpose. 615 14$aSoftware Engineering. 615 24$aCompilers and Interpreters. 615 24$aProgramming Techniques. 615 24$aThe Computing Profession. 615 24$aSystem Performance and Evaluation. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a005.1 702 $aGallagher$b John P.$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aSulzmann$b Martin.$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910349422903321 996 $aFunctional and Logic Programming$9772537 997 $aUNINA