LEADER 03645nam 22008295 450 001 9910413446403321 005 20241120175402.0 010 $a9783030532888 010 $a3030532887 024 7 $a10.1007/978-3-030-53288-8 035 $a(CKB)4100000011343305 035 $a(DE-He213)978-3-030-53288-8 035 $a(MiAaPQ)EBC6420134 035 $a(Au-PeEL)EBL6420134 035 $a(OCoLC)1179001834 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/26292 035 $a(PPN)257358013 035 $a(MiAaPQ)EBC31734366 035 $a(Au-PeEL)EBL31734366 035 $a(OCoLC)1492915086 035 $a(EXLCZ)994100000011343305 100 $a20200715d2020 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aComputer Aided Verification $e32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21?24, 2020, Proceedings, Part I /$fedited by Shuvendu K. Lahiri, Chao Wang 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (XVII, 669 p. 616 illus., 117 illus. in color.) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12224 311 08$a9783030532871 311 08$a3030532879 327 $aAI Verification -- Blockchain and Security -- Hardware Veri cation and Decision Procedures -- Hybrid and Dynamic Systems. 330 $aThe open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12224 606 $aSoftware engineering 606 $aComputer science 606 $aComputer engineering 606 $aComputer networks 606 $aArtificial intelligence 606 $aComputers 606 $aSoftware Engineering 606 $aTheory of Computation 606 $aComputer Engineering and Networks 606 $aArtificial Intelligence 606 $aComputer Communication Networks 606 $aComputer Hardware 615 0$aSoftware engineering. 615 0$aComputer science. 615 0$aComputer engineering. 615 0$aComputer networks. 615 0$aArtificial intelligence. 615 0$aComputers. 615 14$aSoftware Engineering. 615 24$aTheory of Computation. 615 24$aComputer Engineering and Networks. 615 24$aArtificial Intelligence. 615 24$aComputer Communication Networks. 615 24$aComputer Hardware. 676 $a005.1 700 $aLahiri$b Shuvendu K$4edt$01351252 702 $aLahiri$b Shuvendu K$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aWang$b Chao$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910413446403321 996 $aComputer Aided Verification$93091311 997 $aUNINA LEADER 03771nam 22007093n 450 001 9910971432703321 005 20240410122008.0 010 $a0-19-774018-9 010 $a1-280-44213-1 010 $a0-19-802317-0 024 7 $a10.1093/oso/9780195067286.001.0001 035 $a(CKB)1000000000718475 035 $a(EBL)273054 035 $a(OCoLC)437173397 035 $a(SSID)ssj0000363442 035 $a(PQKBManifestationID)12083054 035 $a(PQKBTitleCode)TC0000363442 035 $a(PQKBWorkID)10388130 035 $a(PQKB)10494718 035 $a(MiAaPQ)EBC273054 035 $a(OCoLC)1406784701 035 $a(StDuBDS)9780197740187 035 $a(OCoLC)29796982 035 $a(FINmELB)ELB169228 035 $a(EXLCZ)991000000000718475 100 $a19910910e20231991 uy | 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr r$2rdacarrier 200 04$aThe Muslims of America /$fedited by Yvonne Yazbeck Haddad 205 $a1st ed. 210 1$aOxford :$cOxford University Press,$d2023. 215 $a1 online resource (260 pages) 225 1 $aOxford scholarship online 300 $aPreviously issued in print: 1991. 311 0 $a0-19-506728-2 320 $aIncludes bibliographical references. 327 $aContents; Contributors; Introduction: The Muslims of America; I. The Muslims of the United States; 1 Muslim Organizations in the United States; 2 Estimate of Muslims Living in America; II. Perceptions of Muslims in the United States; 3 Perspectives of the American Churches on Islam and the Muslim Community in North America; 4 The Muslim as the ""Other"": Representation and Self-image of the Muslims in America; III. Islamic Thought in the United States; 5 Ismail R. Al-Faruqi: Muslim Scholar-Activist; 6 Seyyed Hossein Nasr: Defender of the Sacred and Islamic Traditionalism 327 $a7 The Legacy of Fazlur Rahman IV. Islamic Activity in the United States; 8 Political Activity of Muslims in America; 9 Da'wa in the West; 10 Muslims in Prison: Claims to Constitutional Protection of Religious Liberty; 11 Islamic Education in the United States and Canada: Conception and Practice of the Islamic Belief System; V. Muslim Women in Intercultural Perspective; 12 African-American Muslim Women; 13 Two-Way Acculturation: Muslim Women in America Between Individual Choice (Liminality) and Community Affiliation (Communitas); VI. American Muslims and the Question of Identity 327 $a14 Islamic Issues for Muslims in the United States 15 American Foreign Policy in the Middle East and Its Impact on the Identity of Arab Muslims in the United States; 16 Convergence and Divergence in an Emergent Community: A Study of Challenges Facing U.S. Muslims 330 8 $aA collection of essays concerned with the history, organization, challenges, responses and future prospects of Muslim communities in the USA and Canada. Emphasis is placed on the manner in which North American Muslims adopt institutions as they become an indigenous part of their communities. 410 0$aReligion in America series. 410 0$aOxford scholarship online. 606 $aIslam$zUnited States 606 $aMuslims$zUnited States 615 0$aIslam 615 0$aMuslims 676 $a297.0973 676 $a297/.0973 702 $aHaddad$b Yvonne Yazbeck$f1935- 712 02$aUniversity of Massachusetts at Amherst.$bNear East Area Studies Program, 712 02$aUniversity of Massachusetts at Amherst.$bDepartment of History, 801 0$bUk 801 1$bUk 801 2$bStDuBDSZ 801 2$bStDuBDSZ 906 $aBOOK 912 $a9910971432703321 996 $aMuslims of America$91162188 997 $aUNINA