LEADER 03420nam 2200661 a 450 001 9910461306003321 005 20200520144314.0 010 $a1-283-14816-1 010 $a9786613148162 010 $a1-84816-277-4 035 $a(CKB)2670000000095533 035 $a(EBL)737616 035 $a(OCoLC)733048100 035 $a(SSID)ssj0000521617 035 $a(PQKBManifestationID)12187527 035 $a(PQKBTitleCode)TC0000521617 035 $a(PQKBWorkID)10522475 035 $a(PQKB)11324784 035 $a(MiAaPQ)EBC737616 035 $a(WSP)0000P577 035 $a(Au-PeEL)EBL737616 035 $a(CaPaEBR)ebr10480218 035 $a(CaONFJC)MIL314816 035 $a(EXLCZ)992670000000095533 100 $a20101004d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aComputability in context$b[electronic resource] $ecomputation and logic in the real world /$feditors, S. Barry Cooper, Andrea Sorbi 210 $aLondon $cImperial College Press ;$aSingapore ;$aHackensack, N.J. $cWorld Scientific Pub. Co.$d2011 215 $a1 online resource (419 p.) 300 $aDescription based upon print version of record. 311 $a1-84816-245-6 320 $aIncludes bibliographical references. 327 $aPreface; Contents; 1. Computation, Information, and the Arrow of Time P. Adriaans & P. van Emde Boas; 2. The Isomorphism Conjecture for NP M. Agrawal; 3. The Ershov Hierarchy M. M. Arslanov; 4. Complexity and Approximation in Reoptimization G. Ausiello, V. Bonifaci, & B. Escoffer; 5. Definability in the Real Universe S. B. Cooper; 6. HF-Computability Y. L. Ershov, V. G. Puzarenko, & A. I. Stukachev; 7. The Mathematics of Computing between Logic and Physics G. Longo & T. Paul; 8. Liquid State Machines: Motivation, Theory, and Applications W. Maass 327 $a9. Experiments on an Internal Approach to Typed Algorithms in Analysis D. Normann10. Recursive Functions: An Archeological Look P. Odifreddi; 11. Reverse Mathematics and Well-ordering Principles M. Rathjen & A. Weiermann; 12. Discrete Transfinite Computation Models P. D. Welch 330 $aComputability has played a crucial role in mathematics and computer science, leading to the discovery, understanding and classification of decidable/undecidable problems, paving the way for the modern computer era, and affecting deeply our view of the world. Recent new paradigms of computation, based on biological and physical models, address in a radically new way questions of efficiency and challenge assumptions about the so-called Turing barrier. This volume addresses various aspects of the ways computability and theoretical computer science enable scientists and philosophers to deal with m 606 $aComputable functions 606 $aComputational intelligence 606 $aSet theory 606 $aMathematics$xPhilosophy 608 $aElectronic books. 615 0$aComputable functions. 615 0$aComputational intelligence. 615 0$aSet theory. 615 0$aMathematics$xPhilosophy. 676 $a511.3/52 701 $aCooper$b S. B$g(S. Barry)$0857224 701 $aSorbi$b Andrea$f1956-$059072 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910461306003321 996 $aComputability in context$91914159 997 $aUNINA LEADER 02182nam 2200541 450 001 9910459984103321 005 20200520144314.0 010 $a1-4804-2122-7 035 $a(CKB)3710000000231388 035 $a(EBL)1807722 035 $a(SSID)ssj0001424776 035 $a(PQKBManifestationID)11766598 035 $a(PQKBTitleCode)TC0001424776 035 $a(PQKBWorkID)11369474 035 $a(PQKB)11607606 035 $a(MiAaPQ)EBC1807722 035 $a(Au-PeEL)EBL1807722 035 $a(CaPaEBR)ebr11199164 035 $a(OCoLC)892798551 035 $a(EXLCZ)993710000000231388 100 $a20160430d2013 uy| 1 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe goddess abides $ea novel /$fPearl S. Buck 210 1$aNew York :$cOpen Road Integrated Media,$d2013. 215 $a1 online resource (276 p.) 300 $aDescription based upon print version of record. 327 $aCover; Title Page; Dedication; Contents; Part One; Part Two; A Biography of Pearl S. Buck; Copyright 330 $aA widow's New England peace is interrupted by her feelings for two brilliant men, one much younger and the other quite older-and the dilemma of choosing between themAt forty-three, Edith has lost a husband, and has children who have children of their own. Living in a large Vermont house, her days are spent idly reading and playing music. But all of this is to change when two candidates for her affection arrive on the scene. The first is thirty years her senior, a philosopher named Edwin with whom she enjoys an enriching intellectual friendship. The second, Jared, is twenty years her junior: a 606 $aWidows$vFiction 606 $aMan-woman relationships$vFiction 606 $aRomance fiction 607 $aVermont$vFiction 608 $aElectronic books. 615 0$aWidows 615 0$aMan-woman relationships 615 0$aRomance fiction. 700 $aBuck$b Pearl S.$0196364 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910459984103321 996 $aGoddess abides$9181924 997 $aUNINA LEADER 02816nam 22005413 450 001 996556970203316 005 20231115084558.0 010 $a3-11-123973-X 024 7 $a10.1515/9783111239736 035 $a(CKB)28742949000041 035 $a(MiAaPQ)EBC30883066 035 $a(Au-PeEL)EBL30883066 035 $a(DE-B1597)650864 035 $a(DE-B1597)9783111239736 035 $a(EXLCZ)9928742949000041 100 $a20231115d2023 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aIslamic Law in Early Modern Iran $eSharīʿa Court Practice in the Sixteenth to Twentieth Centuries 205 $a1st ed. 210 1$aBerlin/Boston :$cWalter de Gruyter GmbH,$d2023. 210 4$dİ2023. 215 $a1 online resource (322 pages) 225 1 $aStudies in the History and Culture of the Middle East Series ;$vv.48 311 08$a9783111236582 330 $aHistorical studies on the practice of Islamic law (shar??a) tend to focus on practice in a Sunni setting during the Mamluk or Ottoman periods. This book decenters Sunni and Mamluk and Ottoman normativity by investigating the practice of shar??a in a Twelver Shi?i Persian-speaking milieu, in early modern Iran between the sixteenth to twentieth centuries. Drawing on documentary evidence and narrative sources, it reconstructs who the practitioners of Islamic law were, how they authenticated, annulled, and archived legal documents, and how they intervened in the resolution of disputes over religious endowments (waqf). The study demonstrates that following Iran's conversion to Twelver Shi?ism under the Safavids, the dominance of U??l? Shi?i legal theory, which conferred judicial authority on scholars recognized as Shi?i jurists (mujathids), affected both the practitioners of Islamic law and the procedures of shar??a court practice in Iran. Shi?i jurists in Iran, as a result, would come to exercise by the end of the nineteenth century a judicial monopoly over valid shar??a court practice thus laying the foundation for Ayatollah Khomeini's extension, during the Iranian revolution, of the authority of the Shi?i jurist over political affairs. 410 0$aStudies in the History and Culture of the Middle East Series 606 $aLAW / Islamic$2bisacsh 610 $aAfghan. 610 $aAfshar. 610 $aIran. 610 $aIslamic law. 610 $aQajar periods. 610 $aSafavid. 610 $aSharia. 610 $aZand. 615 7$aLAW / Islamic. 676 $a340.5909550903 700 $aBhalloo$b Zahir$01434632 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996556970203316 997 $aUNISA