LEADER 03418nam 22007335 450 001 996466260903316 005 20230220161443.0 010 $a3-642-28729-8 024 7 $a10.1007/978-3-642-28729-9 035 $a(CKB)3360000000365935 035 $a(SSID)ssj0000666104 035 $a(PQKBManifestationID)11404215 035 $a(PQKBTitleCode)TC0000666104 035 $a(PQKBWorkID)10663898 035 $a(PQKB)10650975 035 $a(DE-He213)978-3-642-28729-9 035 $a(MiAaPQ)EBC3069949 035 $a(PPN)168312689 035 $a(EXLCZ)993360000000365935 100 $a20120321d2012 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFoundations of Software Science and Computational Structures$b[electronic resource] $e15th International Conference, FOSSACS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings /$fedited by Lars Birkedal 205 $a1st ed. 2012. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012. 215 $a1 online resource (XVII, 484 p.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7213 300 $aInternational conference proceedings. 311 $a3-642-28728-X 320 $aIncludes bibliographical references and author index. 330 $aThis book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 29 papers presented in this book together with two invited talks in full paper length were carefully reviewed and selected from 100 full paper submissions. The papers deal with theories and methods to support analysis, synthesis, transformation and verification of programs and software systems. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7213 606 $aMachine theory 606 $aComputer science 606 $aCompilers (Computer programs) 606 $aSoftware engineering 606 $aArtificial intelligence 606 $aFormal Languages and Automata Theory 606 $aTheory of Computation 606 $aComputer Science Logic and Foundations of Programming 606 $aCompilers and Interpreters 606 $aSoftware Engineering 606 $aArtificial Intelligence 615 0$aMachine theory. 615 0$aComputer science. 615 0$aCompilers (Computer programs). 615 0$aSoftware engineering. 615 0$aArtificial intelligence. 615 14$aFormal Languages and Automata Theory. 615 24$aTheory of Computation. 615 24$aComputer Science Logic and Foundations of Programming. 615 24$aCompilers and Interpreters. 615 24$aSoftware Engineering. 615 24$aArtificial Intelligence. 676 $a005.131 702 $aBirkedal$b Lars$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aETAPS (Conference)$f(2012 :$eTallinn, Estonia) 906 $aBOOK 912 $a996466260903316 996 $aFoundations of Software Science and Computational Structures$9772755 997 $aUNISA LEADER 00988nam a2200301 i 4500 001 991000728189707536 005 20020507172826.0 008 991025s197- us ||| | eng 020 $a0828402620 035 $ab10749068-39ule_inst 035 $aLE01301380$9ExL 040 $aDip.to Matematica$beng 082 0 $a519.09 084 $aAMS 01A55 084 $aAMS 60-03 100 1 $aBertrand, Joseph$0478081 245 10$aCalcul des probabilités /$cpar J. Bertrand 250 $a3rd ed. 260 $aBronx, New York :$bChelsea Publ. Co.,$c[197-?] 300 $alvii, 332 p. ;$c21 cm 650 0$aProbability theory 650 0$aStochastic processes 907 $a.b10749068$b17-10-14$c28-06-02 912 $a991000728189707536 945 $aLE013 60-XX BER21 (197-)$g1$i2013000118178$lle013$o-$pE0.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i10841805$z28-06-02 996 $aCalcul des probabilités$9911548 997 $aUNISALENTO 998 $ale013$b01-01-99$cm$da $e-$feng$gus $h0$i1 LEADER 02555nam 2200445 450 001 9910774823803321 005 20230530182337.0 035 $a(CKB)4920000001372902 035 $a(NjHacI)994920000001372902 035 $a(EXLCZ)994920000001372902 100 $a20230219d2022 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aNeo-Aramaic and Kurdish Folklore from Northern Iraq$hVolume 1 $eA Comparative Anthology with a Sample of Glossed Texts /$fGeoffrey Khan [and seven others] 210 1$aCambridge, UK :$cOpen Book Publishers,$d2022. 210 4$d©2022 215 $a1 online resource (xxxi, 343 pages) $cmaps 225 1 $aCambridge Semitic languages and cultures, ;$v12 311 $a1-80064-766-2 320 $aIncludes bibliographical references and index. 330 $aThis comparative anthology showcases the rich and mutually intertwined folklore of three ethno-religious communities from northern Iraq: Aramaic-speaking ('Syriac') Christians, Kurdish Muslims and-to a lesser extent-Aramaic-speaking Jews. The first volume contains several introductory chapters on language, folkore motifs and narrative style, followed by samples of glossed texts in each language variety. The second volume is the anthology proper, presenting folklore narratives in several distinct varieties of North-Eastern Neo-Aramaic and Northern and Central Kurdish. The stories are accompanied by English translations. The material includes different genres such as folktales, legends, fables and anecdotes, and is organised into seven thematic units. The folkloristic material of these three communities is shared to a large extent. The anthology is, therefore, a testament to the intimate and long-standing relations between these three ethno-religious communities-relations that existed in a multilingual environment centuries before the modern era of nationalism. 410 0$aCambridge Semitic languages and cultures ;$v12. 517 $aNeo-Aramaic and Kurdish Folklore from Northern Iraq 606 $aTales$zIraq$zKurdista?n 606 $aKurds$zIraq$vFolklore 606 $aFolklore$zIraq$zKurdista?n 615 0$aTales 615 0$aKurds 615 0$aFolklore 676 $a398.209567 700 $aKhan$b Geoffrey$0172551 801 0$bNjHacI 801 1$bNjHacl 906 $aBOOK 912 $a9910774823803321 996 $aNeo-Aramaic and Kurdish Folklore from Northern Iraq$93015769 997 $aUNINA