LEADER 01296nam--2200421---450- 001 990002461320203316 005 20070214181017.0 010 $a88-464-5822-2 035 $a000246132 035 $aUSA01000246132 035 $a(ALEPH)000246132USA01 035 $a000246132 100 $a20050809d2004----km-y0itay0103----ba 101 $aita 102 $aIT 105 $a||||||||001yy 200 1 $a<> intermediari della conoscenza$eriflessioni su un nuovo modello di business online$fEnrico Scarso, Ettore Bolisani, Alberto Friso 210 $aMilano$cF. Angeli$d[2004] 215 $a191 p.$d24 cm 410 0$12001 454 1$12001 461 1$1001-------$12001 606 0 $aAziende$xProcessi innovativi 610 0 $aAziende$xSistemi informativi 676 $a658.4038011 700 1$aSCARSO,$bEnrico$0296398 701 1$aBOLISANI,$bEttore$0198677 701 1$aFRISO,$bRoberto$0573709 801 0$aIT$bsalbc$gISBD 912 $a990002461320203316 951 $aIV.1. 991(XV I 504)$b177646 L.M.$cXV I$d00116601 959 $aBK 969 $aUMA 979 $aCOPAT1$b90$c20050809$lUSA01$h1239 979 $aPATRY$b90$c20060105$lUSA01$h1454 979 $aCOPAT6$b90$c20070214$lUSA01$h1810 996 $aIntermediari della conoscenza$91057393 997 $aUNISA LEADER 01621cam a22003377i 4500 001 991003241199707536 005 20250430130202.0 008 950206s1772 it af b 000 0 ita 035 $ab1430241x-39ule_inst 035 $aCICOGNARA-A2013-0403$9ExL 040 $aBibl. Interfacoltà T. Pellegrino$bita 100 1 $aMilizia, Francesco$d<1725-1798.>$04158 245 10$aDel teatro. 260 $aIn Roma :$bper Arcangelo Casaletti,$c1772 300 $aviii, 144 p., vi c. di tav. (ripieg.) :$bill., piante; $c22 cm. 500 $aPer il nome dell'A., Francesco Milizia, cfr. Melzi, G. Anonime e pseudonime, III, p. 129 500 $aIncisioni calcografiche di Giuseppe Petroschi su disegni di Vincenzo Ferrarese. - Iniziali e frontoni xil 500 $aA c. *2r dedica: a don Baldassarre Odescalchi de' duchi di Bracciano 500 $aRiproduzione in microfiche dell'originale conservato presso la Biblioteca Apostolica Vaticana 650 4$aTeatri$xCostruzione 650 4$aArchitettura teatrale 700 1 $aPetroschi, Giuseppe$e 700 1 $aFerrarese, Vincenzo 787 18$iLeopoldo Cicognara Program :$tBiblioteca Cicognara$h[microform] : literary sources in the history of art and kindred subjects 787 18$tCatalogo ragionato dei libri d'arte e d'antichità / Leopoldo Cicognara 907 $a.b1430241x$b01-04-22$c28-07-16 912 $a991003241199707536 945 $aLE002 SB Raccolta Cicognara, mcrf 764$g0$lle002$pE0.00$rn$so $t11$u0$v0$w0$x0$y.i15773966$z28-07-16 996 $aDel teatro$91389903 997 $aUNISALENTO 998 $ale002$b28-07-16$cm$dg $e-$fita$git $h0$i1 LEADER 03954nam 22007095 450 001 9910847392703321 005 20251225200659.0 010 $a3-031-57231-9 024 7 $a10.1007/978-3-031-57231-9 035 $a(CKB)31435579200041 035 $a(MiAaPQ)EBC31281874 035 $a(Au-PeEL)EBL31281874 035 $a(DE-He213)978-3-031-57231-9 035 $a(OCoLC)1429286527 035 $a(EXLCZ)9931435579200041 100 $a20240406d2024 u| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aFoundations of Software Science and Computation Structures $e27th International Conference, FoSSaCS 2024, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6?11, 2024, Proceedings, Part II /$fedited by Naoki Kobayashi, James Worrell 205 $a1st ed. 2024. 210 1$aCham :$cSpringer Nature Switzerland :$cImprint: Springer,$d2024. 215 $a1 online resource (283 pages) 225 1 $aLecture Notes in Computer Science,$x1611-3349 ;$v14575 311 08$a3-031-57230-0 327 $aTypes and Programming Languages -- From Rewrite Rules to Axioms in the lambdaPi-Calculus Modulo Theory -- Light Genericity -- Logical Predicates in Higher-Order Mathematical Operational Semantics -- On Basic Feasible Functionals and the Interpretation Method -- Logic and Proofs -- Succinctness of Cosafety Fragments of LTL via Combinatorial Proof Systems -- A Resolution-Based Interactive Proof System for UNSAT -- Craig Interpolation for Decidable First-Order Fragments -- Clones, closed categories, and combinatory logic -- Infinite-State Systems -- Reachability in Fixed VASS: Expressiveness and Lower Bounds -- From Innermost to Full Almost-Sure Termination of Probabilistic Term Rewriting -- Dimension-Minimality and Primality of Counter Nets -- Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. 330 $aThe two open access volumes LNCS 14574 and 14575 constitute the proceedings of the 27th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2024, which took place in Luxembourg in April 2024. The 24 full papers included in this book were carefully reviewed and selected from 79 submissions. They were organized in topical sections as follows: Part I: Infinite games; categorical semantics; automata and synthesis; Part II: Types and programming languages; logic and proofs; infinite-state systems. 410 0$aLecture Notes in Computer Science,$x1611-3349 ;$v14575 606 $aComputer science 606 $aLogic, Symbolic and mathematical 606 $aData structures (Computer science) 606 $aInformation theory 606 $aComputer systems 606 $aComputer science$xMathematics 606 $aTheory of Computation 606 $aMathematical Logic and Foundations 606 $aData Structures and Information Theory 606 $aComputer System Implementation 606 $aMathematics of Computing 615 0$aComputer science. 615 0$aLogic, Symbolic and mathematical. 615 0$aData structures (Computer science) 615 0$aInformation theory. 615 0$aComputer systems. 615 0$aComputer science$xMathematics. 615 14$aTheory of Computation. 615 24$aMathematical Logic and Foundations. 615 24$aData Structures and Information Theory. 615 24$aComputer System Implementation. 615 24$aMathematics of Computing. 676 $a40,151 700 $aKobayashi$b Naoki$01736494 701 $aWorrell$b James$01736495 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910847392703321 996 $aFoundations of Software Science and Computation Structures$94156353 997 $aUNINA