LEADER 01270nam--2200385---450- 001 990003483980203316 005 20110117153901.0 010 $a978-88-06-20529-4 035 $a000348398 035 $aUSA01000348398 035 $a(ALEPH)000348398USA01 035 $a000348398 100 $a20110117d2010----km-y0itay50------ba 101 1 $aita$cfre 102 $aIT 105 $aa---||||001yy 200 1 $aDiplopia$el'immagine fotografica nell'era dei media globalizzati$esaggio sull'11 settembre 2001$fClément Chéroux$gtraduzione di Rinaldo Censi 210 $aTorino$cEinaudi$d2010 215 $a131 p$cill.$d21 cm 225 2 $aPiccola biblioteca Einaudi$iNuova serie$v523 410 0$12001$aPiccola biblioteca Einaudi$iNuova serie$v523 454 0$12001$aDiplopie$935221 606 0 $aFotogiornalismo$xTemi [:] Attentati dell'11 settembre 2001$2BNCF 676 $a302.232 700 1$aCHÉROUX,$bClément$0473758 702 1$aCENSI,$bRinaldo 801 0$aIT$bsalbc$gISBD 912 $a990003483980203316 951 $aXIII.5. 319$b229956 L.M.$cXIII.5.$d00295195 959 $aBK 969 $aUMA 979 $aPASSARO$b90$c20110117$lUSA01$h1019 979 $aPASSARO$b90$c20110117$lUSA01$h1539 996 $aDiplopie$935221 997 $aUNISA LEADER 03514nam 22006615 450 001 996466108303316 005 20230222165959.0 010 $a3-540-32656-1 024 7 $a10.1007/11680093 035 $a(CKB)1000000000232848 035 $a(SSID)ssj0000318694 035 $a(PQKBManifestationID)11247246 035 $a(PQKBTitleCode)TC0000318694 035 $a(PQKBWorkID)10311451 035 $a(PQKB)11648961 035 $a(DE-He213)978-3-540-32656-4 035 $a(MiAaPQ)EBC3067893 035 $a(PPN)123131995 035 $a(EXLCZ)991000000000232848 100 $a20100301d2006 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic Based Program Synthesis and Transformation$b[electronic resource] $e15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers /$fedited by Patricia M. Hill 205 $a1st ed. 2006. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2006. 215 $a1 online resource (X, 182 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3901 300 $aHeld concurrently with SAS 2005, the Symposium on Static Analysis in Imperial College, University of London. 311 $a3-540-32654-5 320 $aIncludes bibliographical references and author index. 327 $aTemporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM -- Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM -- Tools for Program Development -- Declarative Programming with Function Patterns -- Transformational Verification of Parameterized Protocols Using Array Formulas -- Design and Implementation of : A Real-Time Action Description Language -- Program Transformations -- An Algorithm for Local Variable Elimination in Normal Logic Programs -- Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs -- Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives -- Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates -- Software Development and Program Analysis -- A Transformational Semantics of Static Embedded Implications of Normal Logic Programs -- Converting One Type-Based Abstract Domain to Another -- Experiments in Context-Sensitive Analysis of Modular Programs. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v3901 606 $aComputer science 606 $aArtificial intelligence 606 $aComputer programming 606 $aMachine theory 606 $aComputer Science Logic and Foundations of Programming 606 $aArtificial Intelligence 606 $aProgramming Techniques 606 $aFormal Languages and Automata Theory 615 0$aComputer science. 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aMachine theory. 615 14$aComputer Science Logic and Foundations of Programming. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aFormal Languages and Automata Theory. 676 $a005.1015113 702 $aHill$b Patricia M$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aLOPSTR (Symposium) 906 $aBOOK 912 $a996466108303316 996 $aLogic-Based Program Synthesis and Transformation$92914320 997 $aUNISA