LEADER 00904nam0-2200337---450- 001 990009211690403321 005 20100803131318.0 010 $a978-84-7584-625-5 035 $a000921169 035 $aFED01000921169 035 $a(Aleph)000921169FED01 035 $a000921169 100 $a20100726d2008----km-y0itay50------ba 101 0 $aspa 102 $aES 105 $a--------001yy 200 1 $aLaberints$ellocs, textos, imatges, films$fRamon Espelt 210 $aBarcellona$cLaertes$d2008 215 $a298 p.$cill.$d24 cm 225 1 $aKaplan$v29 610 0 $aLabirinti in arte 610 0 $aLabirinti in letteratura 676 $a808.8032 700 1$aEspelt,$bRamon$0322526 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990009211690403321 952 $a808.8032 ESP 1$bDip.f.m.14647$fFLFBC 959 $aFLFBC 996 $aLaberints$9777426 997 $aUNINA LEADER 00837nam0-22003131i-450- 001 990001068000403321 010 $a0-7204-2286-8 035 $a000106800 035 $aFED01000106800 035 $a(Aleph)000106800FED01 035 $a000106800 100 $a20000920d1978----km-y0itay50------ba 101 0 $aeng 200 1 $aAlgebra of proofs$fM.E. Szabo 210 $aAmsterdam$cNorth-Holland$d1978 215 $axii, 297 p.$d23 cm 225 1 $aStudies in logic and the foundations of mathematics$vvol. 88 610 0 $aLogica 610 0 $aRicorsività 676 $a160 700 1$aSzabo,$bManfred Egon$050846 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990001068000403321 952 $a7-206$b10795$fFI1 959 $aFI1 996 $aAlgebra of proofs$9340145 997 $aUNINA DB $aING01 LEADER 03377nam 2200577 a 450 001 9910483026703321 005 20200520144314.0 024 7 $a10.1007/b136278 035 $a(CKB)1000000000212954 035 $a(SSID)ssj0000316834 035 $a(PQKBManifestationID)11237041 035 $a(PQKBTitleCode)TC0000316834 035 $a(PQKBWorkID)10275980 035 $a(PQKB)11034258 035 $a(DE-He213)978-3-540-32309-9 035 $a(MiAaPQ)EBC3067720 035 $a(PPN)123094410 035 $a(EXLCZ)991000000000212954 100 $a20070924d2005 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputational science and its applications, ICCSA 2005 $einternational conference, Singapore, May 9-12, 2005 : proceedings, part IV /$fOsvaldo Gervasi ... [et al.] (eds.) 205 $a1st ed. 2005. 210 $aBerlin ;$aNew York $cSpringer$dc2005 215 $a1 online resource (XXVII, 1353 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v3483 225 0 $aComputational science and its applications, ICCSA 2005 : international conference, Singapore, May 9-12, 2005 : proceedings ;$vpt. 4 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-32309-0 311 $a3-540-25863-9 320 $aIncludes bibliographical references and indexes. 327 $aInformation and Communication Technology (ICT) Education Workshop -- Digital Device for Ubiquitous Computing Workshop -- Optimization : Theories and Applications (OTA) 2005 Workshop -- General tracks. 330 $aThe four volume set assembled following The 2005 International Conference on Computational Science and its Applications, ICCSA 2005, held in Suntec International Convention and Exhibition Centre, Singapore, from 9 May 2005 till 12 May 2005, represents the ?ne collection of 540 refereed papers selected from nearly 2,700 submissions. Computational Science has ?rmly established itself as a vital part of many scienti?c investigations, a?ecting researchers and practitioners in areas ranging from applications such as aerospace and automotive, to emerging technologies such as bioinformatics and nanotechnologies, to core disciplines such as ma- ematics, physics, and chemistry. Due to the shear size of many challenges in computational science, the use of supercomputing, parallel processing, and - phisticated algorithms is inevitable and becomes a part of fundamental t- oretical research as well as endeavors in emerging ?elds. Together, these far reaching scienti?c areas contribute to shape this Conference in the realms of state-of-the-art computational science research and applications, encompassing the facilitating theoretical foundations and the innovative applications of such results in other areas. 410 0$aLecture notes in computer science ;$v3483. 517 3 $aICCSA 2005 606 $aComputer science$vCongresses 606 $aComputational complexity$vCongresses 615 0$aComputer science 615 0$aComputational complexity 676 $a004 701 $aGervasi$b Osvaldo$01251648 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483026703321 996 $aComputational science and its applications, ICCSA 2005$94187618 997 $aUNINA