LEADER 01179nam2 2200277 i 450 001 SUN0068341 005 20090324120000.0 010 $a978-88-15-12582-8 100 $a20090324d2008 |0itac50 ba 101 $aita 102 $aIT 105 $a|||| ||||| 200 1 $aˆ1: ‰Storia e teorie dell'integrazione$fNeill Nugent$ga cura di Sandro Gozi 210 $aBologna$cIl mulino$dc2008 215 $a241 p.$d24 cm. 461 1$1001SUN0068340$12001 $aGoverno e politiche dell'Unione europea$fNeill Nugent$ga cura di Sandro Gozi$v1$1210 $aBologna$cIl mulino$dc2008$1215 $a3 v.$d24 cm 620 $dBologna$3SUNL000003 700 1$aNugent$b, Neill$3SUNV000092$0144647 702 1$aGozi$b, Sandro$3SUNV000093 712 $aIl mulino$3SUNV000011$4650 801 $aIT$bSOL$c20181109$gRICA 912 $aSUN0068341 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$d00 CONS X.Ec.56 (1) $e00 BFG1513 995 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI GIURISPRUDENZA$gBFG$h1513$kCONS X.Ec.56 (1)$op$qa 996 $aStoria e teorie dell'integrazione$91033694 997 $aUNICAMPANIA LEADER 02683nam 2200589 450 001 9910484488803321 005 20210216145350.0 010 $a1-280-38576-6 010 $a9786613563682 010 $a3-642-11881-X 024 7 $a10.1007/978-3-642-11881-4 035 $a(CKB)2670000000003381 035 $a(EBL)3065029 035 $a(SSID)ssj0000355447 035 $a(PQKBManifestationID)11249113 035 $a(PQKBTitleCode)TC0000355447 035 $a(PQKBWorkID)10320112 035 $a(PQKB)10578250 035 $a(DE-He213)978-3-642-11881-4 035 $a(MiAaPQ)EBC3065029 035 $a(MiAaPQ)EBC6351855 035 $a(PPN)149073593 035 $a(EXLCZ)992670000000003381 100 $a20210216d2010 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAutomata for branching and layered temporal structures $ean investigation into regularities of infinite transition systems /$fGabriele Puppis 205 $a1st ed. 2010. 210 1$aBerlin ;$aHeidelberg :$cSpringer,$d[2010] 210 4$d©2010 215 $a1 online resource (212 p.) 225 1 $aLecture notes in artificial intelligence ;$v5955 300 $aDescription based upon print version of record. 311 $a3-642-11880-1 320 $aIncludes bibliobraphical references and index. 327 $aWord Automata and Time Granularities -- Tree Automata and Logics -- Summary. 330 $aSince 2002, FoLLI awards an annual prize for an outstanding dissertation in the fields of Logic, Language, and Information. This book is based on the Ph.D. thesis of Gabriele Puppis, who was the winner of the E.W. Beth dissertation award for 2007. Puppis' thesis focuses on Logic and Computation and, more specifically, on automata-based decidability techniques for time granularity and on a new method for deciding Monadic Second Order theories of trees. The results presented represent a significant step towards a better understanding of the changes in granularity levels that humans make so easily in cognition of time, space, and other phenomena, whereas their logical and computational structure poses difficult conceptual and computational challenges. 410 0$aLecture notes in computer science.$pLecture notes in artificial intelligence ;$v5955. 606 $aMachine theory 615 0$aMachine theory. 676 $a510.904 700 $aPuppis$b Gabriele$01221181 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484488803321 996 $aAutomata for branching and layered temporal structures$92831523 997 $aUNINA LEADER 01776nam a2200301 i 4500 001 991001939729707536 005 20020503155139.0 008 000403s1966 it ||| | ita 035 $ab10294041-39ule_inst 035 $aEXGIL93984$9ExL 040 $aBiblioteca Interfacoltà$bita 100 1 $aJacobsen, Hans Adolf$0229157 245 10$aBattaglie decisive della seconda guerra mondiale /$cH. A. Jacobsen, J. Rohwer 260 $aMilano :$bBaldini & Castoldi,$c[1966] 300 $a3 v. :$bill. ;$c20 cm. 440 3$aLa spingarda 500 $a1: Dunkerque, 1940, la battaglia d'Inghilterra, 1940, la battaglia di Creta, 1941, la battaglia di Mosca, 1941 ; 2: La battaglia aeronavale delle Midway, 1942, la decisione nel Mediterraneo, 1942, la battaglia di Stalingrado, 1942-1943, la guerra sottomarina e il suo fallimento, 1943 ; 3: L'invasione della Normandia, 1943, il crollo del gruppo d'armate mediano, 1943, la battaglia di Leyte, 1943, la battaglia delle Ardenne, 1944-1945. - Trad. di M. Calaresu. 650 4$aGuerra mondiale 1939-1945 - Battaglie 700 1 $aRohwer, Jurgen 740 0 $aEntscheidungsschlachten des zweiten weltkrieges [Trad.] 907 $a.b10294041$b02-04-14$c27-06-02 912 $a991001939729707536 945 $aLE002 Fondo Berg. 475/I-$cV. 1$g1$iLE002-70631$lle002$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i10347197$z27-06-02 945 $aLE002 Fondo Berg. 475/II$cV. 2$g1$iLE002-70632$lle002$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i12515206$z15-05-03 945 $aLE002 Fondo Berg. 475/III$cV. 3$g1$iLE002-70633$lle002$o-$pE0.00$q-$rn$so $t0$u0$v0$w0$x0$y.i12515218$z15-05-03 996 $aBattaglie decisive della seconda guerra mondiale$9208949 997 $aUNISALENTO 998 $ale002$b01-01-00$cm$da $e-$fita$git $h0$i1