LEADER 01542nam--2200433---450- 001 990000618320203316 005 20100111152425.0 010 $a88-7187-262-2 035 $a0061832 035 $aUSA010061832 035 $a(ALEPH)000061832USA01 035 $a0061832 100 $a20010910d1993----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> nuove norme fiscali e doganali europee$econseguenze del Mercato unico comunitario dal 1. gennaio 1993$fUrbana Gaiotto, Stefano Garelli, Ruggero Puttilli 210 $aMlano$cIl Sole 24 ore libri$d1993 215 $a208 p.$d21 cm 225 2 $aLe guide de Il Sole 24 ore$iNormativa 410 $12001$aLe guide de Il Sole 24 ore$iNormativa 461 1$1001-------$12001 606 0 $aItalia$xCommercio estero$xTributi$xLegislazione 606 0 $aPaesi della Comunità economica europea$xCommercio estero$xRegime doganale 676 $a343.45055 700 1$aGAIOTTO,$bUrbana$0369168 701 1$aGARELLI,$bStefano$0421309 701 1$aPUTTILLI,$bRuggero$0547452 801 0$aIT$bsalbc$gISBD 912 $a990000618320203316 951 $aXXX.B. Coll. 89/ 17 (COLL. PFM 15)$b8605 G$cXXX.B. Coll. 89/ 17 (COLL. PFM)$d00263383 959 $aBK 969 $aECO 979 $aPATTY$b90$c20010910$lUSA01$h1718 979 $c20020403$lUSA01$h1711 979 $aPATRY$b90$c20040406$lUSA01$h1643 979 $aRSIAV5$b90$c20100111$lUSA01$h1524 996 $aNuove norme fiscali e doganali europee$9956825 997 $aUNISA LEADER 03407nam 2200637 450 001 996465844903316 005 20220816205224.0 010 $a1-280-85308-5 010 $a9786610853083 010 $a3-540-69611-3 024 7 $a10.1007/978-3-540-69611-7 035 $a(CKB)1000000000284135 035 $a(EBL)3036595 035 $a(SSID)ssj0000225581 035 $a(PQKBManifestationID)11192095 035 $a(PQKBTitleCode)TC0000225581 035 $a(PQKBWorkID)10233520 035 $a(PQKB)11285537 035 $a(DE-He213)978-3-540-69611-7 035 $a(MiAaPQ)EBC3036595 035 $a(MiAaPQ)EBC6806129 035 $a(Au-PeEL)EBL6806129 035 $a(OCoLC)1285783222 035 $a(PPN)123726638 035 $a(EXLCZ)991000000000284135 100 $a20220816d2007 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aPractical aspects of declarative languages $e9th international symposium, PADL 2007, Nice, France, January 14-15, 2007 : proceedings /$fMichael Hanus (editor) 205 $a1st ed. 2007. 210 1$aBerlin, Heidelberg :$cSpringer-Verlag,$d[2007] 210 4$d©2007 215 $a1 online resource (343 p.) 225 1 $aLecture Notes in Computer Science ;$v4354 300 $aInternational conference proceedings. 311 $a3-540-69608-3 320 $aIncludes bibliographical references and index. 327 $aQuickCheck Testing for Fun and Profit -- A Constraint Programming Approach to Bioinformatics Structural Problems -- Rewriting Haskell Strings -- Instantly Turning a Naive Exhaustive Search into Three Efficient Searches with Pruning -- Algebraic Knowledge Discovery Using Haskell -- Applications, Implementation and Performance Evaluation of Bit Stream Programming in Erlang -- Automatic Incrementalization of Prolog Based Static Analyses -- Verification of Java Bytecode Using Analysis and Transformation of Logic Programs -- Combining Static Analysis and Profiling for Estimating Execution Times -- On Improving the Efficiency and Robustness of Table Storage Mechanisms for Tabled Evaluation -- Compiling Constraint Handling Rules for Efficient Tabled Evaluation -- Prolog Performance on Larger Datasets -- BAD, a Declarative Logic-Based Language for Brain Modeling -- From Zinc to Design Model -- Inductive Logic Programming by Instance Patterns -- ARMC: The Logical Choice for Software Model Checking with Abstraction Refinement -- The Joins Concurrency Library -- HPorter: Using Arrows to Compose Parallel Processes -- Coupled Schema Transformation and Data Conversion for XML and SQL -- Aspect-Oriented Programming in Higher-Order and Linear Logic -- Partial Evaluation of Pointcuts. 410 0$aLecture notes in computer science ;$v4354. 606 $aProgramming languages (Electronic computers)$xSemantics$vCongresses 606 $aProgramming languages (Electronic computers)$xSemantics 615 0$aProgramming languages (Electronic computers)$xSemantics 615 0$aProgramming languages (Electronic computers)$xSemantics. 676 $a005.131 700 $aHanus$b Michael$f1959-$01227460 712 12$aPADL 2007 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465844903316 996 $aPractical aspects of declarative languages$92906364 997 $aUNISA