LEADER 01631nam0 2200325 i 450 001 SUN0050823 005 20160129110003.852 010 $a8-0-8218-2732-1$d0.00 100 $a20060901d2003 |0engc50 ba 101 $aeng 102 $aUS 105 $a|||| ||||| 200 1 $aComputable functions$fA. Shen, N. K. Vereshchagin$gtranslated by V. N. Dubrovskii 210 $aProvidence$cAmerican mathematical society$d2003 215 $aVIII, 166 p.$d21 cm. 410 1$1001SUN0045915$12001 $aStudent mathematical library$v19$1210 $aProvidence$cAmerican Mathematical Society. 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750 606 $a03Dxx$xComputability and recursion theory [MSC 2020]$2MF$3SUNC024386 620 $aUS$dProvidence$3SUNL000273 700 1$aShen$b, Alexander$f1958-$3SUNV039921$056180 701 1$aVereshchagin$b, Nikolai K.$3SUNV039922$0726421 712 $aAmerican mathematical society$3SUNV001080$4650 790 1$a?en, Aleksandr$zShen, Alexander <1958->$3SUNV081885 801 $aIT$bSOL$c20200720$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Shen, Vereshchagin - Computable Functions.pdf$zContents 912 $aSUN0050823 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 4038 $e08 6684 II a 20060901 950 $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 4038 $e08 8093 II b 20080528 996 $aComputable functions$91426200 997 $aUNICAMPANIA LEADER 00959nam a2200253 i 4500 001 991001681999707536 005 20020507150507.0 008 000606s1997 sp ||| | spa 020 $a8472484580 035 $ab1154871x-39ule_inst 035 $aLE02723135$9ExL 040 $aDip.to Studi Giuridici$bita 084 $aR-IV/B 100 1 $aOsaba Garcia, Esperanza$0496653 245 13$aEl adulterio uxorio en la lex Visigothorum /$cEsperanza Osaba Garcia 260 $aMadrid :$bPons,$c1997 300 $a394 p. ;$c24 cm. 490 0 $aMonografias juridicas 907 $a.b1154871x$b01-03-17$c02-07-02 912 $a991001681999707536 945 $aLE027 R-IV/B 32$g1$iLE027-3673$lle027$nLun 02 Lug 2018: Sollecito rientrato il Lun 02 Lug 2018 per .p1042199$o-$pE0.00$q-$rl$sz $t0$u1$v0$w1$x0$y.i11748126$z02-07-02 996 $aAdulterio uxorio en la lex Visigothorum$9751133 997 $aUNISALENTO 998 $ale027$b01-01-00$cm$da $e-$fspa$gsp $h3$i1 LEADER 04371nam 22008175 450 001 9910484626303321 005 20251226203535.0 024 7 $a10.1007/11547273 035 $a(CKB)1000000000213206 035 $a(SSID)ssj0000317122 035 $a(PQKBManifestationID)11247713 035 $a(PQKBTitleCode)TC0000317122 035 $a(PQKBWorkID)10287789 035 $a(PQKB)11346813 035 $a(DE-He213)978-3-540-31968-9 035 $a(MiAaPQ)EBC3067733 035 $a(PPN)123097037 035 $a(EXLCZ)991000000000213206 100 $a20100928d2005 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aDatabase and XML Technologies $eThird International XML Database Symposium, XSym 2005, Trondheim, Norway, August 28-29, 2005, Proceedings /$fedited by Stéphane Bressan, Stefano Ceri, Ela Hunt, Zachary G. Ives, Zohra Bellahsène, Michael Rys, Rainer Unland 205 $a1st ed. 2005. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2005. 215 $a1 online resource (X, 239 p.) 225 1 $aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v3671 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-31968-9 311 08$a3-540-28583-0 320 $aIncludes bibliographical references and index. 327 $aInvited Talk (Shared with DBPL) -- Patterns and Types for Querying XML Documents -- Constraints and Views -- Checking Functional Dependency Satisfaction in XML -- A Theoretic Framework for Answering XPath Queries Using Views -- Labeling and Path Evaluation -- A Path-Based Labeling Scheme for Efficient Structural Join -- The BIRD Numbering Scheme for XML and Tree Databases ? Deciding and Reconstructing Tree Relations Using Efficient Arithmetic Operations -- Efficient Handling of Positional Predicates Within XML Query Processing -- Indexing -- Relational Index Support for XPath Axes -- Supporting XPath Axes with Relational Databases Using a Proxy Index -- An Extended Preorder Index for Optimising XPath Expressions -- Benchmarking and Query Processing -- XPathMark: An XPath Benchmark for the XMark Generated Data -- MemBeR: A Micro-benchmark Repository for XQuery -- Main Memory Implementations for Binary Grouping -- Documents and Biometrical Applications -- Logic Wrappers and XSLT Transformations for Tuples Extraction from HTML -- Approximate Subtree Identification in Heterogeneous XML Documents Collections -- A Framework for XML-Based Integration of Data, Visualization and Analysis in a Biomedical Domain -- Industrial Session -- Optimizing Runtime XML Processing in Relational Databases -- Panel (Together with DBPL) -- Panel: ?Whither XML, ca. 2005??. 410 0$aInformation Systems and Applications, incl. Internet/Web, and HCI,$x2946-1642 ;$v3671 606 $aData structures (Computer science) 606 $aInformation theory 606 $aDatabase management 606 $aComputer networks 606 $aSoftware engineering 606 $aInformation storage and retrieval systems 606 $aApplication software 606 $aData Structures and Information Theory 606 $aDatabase Management 606 $aComputer Communication Networks 606 $aSoftware Engineering 606 $aInformation Storage and Retrieval 606 $aComputer and Information Systems Applications 615 0$aData structures (Computer science). 615 0$aInformation theory. 615 0$aDatabase management. 615 0$aComputer networks. 615 0$aSoftware engineering. 615 0$aInformation storage and retrieval systems. 615 0$aApplication software. 615 14$aData Structures and Information Theory. 615 24$aDatabase Management. 615 24$aComputer Communication Networks. 615 24$aSoftware Engineering. 615 24$aInformation Storage and Retrieval. 615 24$aComputer and Information Systems Applications. 676 $a006.7/4 701 $aBressan$b Stephane$01753901 712 12$aInternational XML Database Symposium. 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484626303321 996 $aDatabase and XML technologies$94191368 997 $aUNINA