LEADER 07514nam 22007335 450 001 996466136503316 005 20200706044617.0 010 $a3-540-47826-4 024 7 $a10.1007/3-540-56939-1 035 $a(CKB)1000000000233987 035 $a(SSID)ssj0000321501 035 $a(PQKBManifestationID)11254898 035 $a(PQKBTitleCode)TC0000321501 035 $a(PQKBWorkID)10280933 035 $a(PQKB)11503816 035 $a(DE-He213)978-3-540-47826-3 035 $a(PPN)15519920X 035 $a(EXLCZ)991000000000233987 100 $a20121227d1993 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aAutomata, Languages and Programming$b[electronic resource] $e20th International Colloquium, ICALP 93, Lund, Sweden, July 5-9, 1993. Proceedings /$fedited by Andrzej Lingas, Rolf Karlsson, Svante Carlsson 205 $a1st ed. 1993. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1993. 215 $a1 online resource (XIII, 703 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v700 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-56939-1 327 $aProgram result checking: A new approach to making programs more reliable -- Dynamic interpolation search in o(log log n) time -- Searching among intervals and compact routing tables -- The approximation of maximum subgraph problems -- Polynomially bounded minimization problems which are hard to approximate -- Primal-dual approximation algorithms for integral flow and multicut in trees, with applications to matching and set cover -- The complexity of approximating PSPACE-complete problems for hierarchical specifications -- Problems on pairs of trees and the four colour problem of planar graphs -- Constructing competitive tours from local information -- Treewidth and pathwidth of permutation graphs -- A theory of even functionals and their algorithmic applications -- Exact asymptotics of divide-and-conquer recurrences -- Optimal bounds for the change-making problem -- The complexity of N-body simulation -- A simple method for resolving degeneracies in Delaunay triangulations -- Fault-tolerance and complexity (Extended abstract) -- Reversal-space trade-offs for simultaneous resource-bounded nondeterministic Turing machines -- On the computational power of discrete Hopfield nets -- On randomized versus deterministic computation -- Lower bounds for one-way probabilistic communication complexity -- Maintaining discrete probability distributions optimally -- Secure and efficient off-line digital money (extended abstract) -- Computational depth and reducibility -- Learnability: Admissible, co-finite, and hypersimple languages -- Inclusion is undecidable for pattern languages -- New decidability results concerning two-way counter machines and applications -- Cobham's Theorem seen through Büchi's Theorem -- Logical definability on infinite traces -- Algebras for classifying regular tree languages and an application to frontier testability -- Finite automata as characterizations of minor closed tree families (extended abstract) -- On distributed algorithms in a broadcast domain -- Sparse networks supporting efficient reliable broadcasting -- Strongly adaptive token distribution -- Fast parallel computation of characteristic polynomials by Leverrier's power sum method adapted to fields of finite characteristic -- Fast parallel constraint satisfaction -- The product of rational languages -- On regular compatibility of semi-commutations -- Algebraic aspects of B-regular series -- Products of finite state machines with full coverage -- An effective version of Stallings' theorem in the case of context-free groups -- On the power of periodic iteration of morphisms -- If a DOL language is k-power free then it is circular -- Deciding true concurrency equivalences on finite safe nets (preliminary report) -- Timed testing of concurrent systems -- The fork calculus -- Extended transition systems for parametric bisimulation -- Temporal logic and categories of Petri nets -- Decidability of a partial order based temporal logic -- Local model checking for context-free processes -- Computing on structures -- A partial solution for D-unification based on a reduction to AC 1-unification -- Efficient analysis of concurrent constraint logic programs -- A confluent reduction for the extensional typed ?-calculus with pairs, sums, recursion and terminal object -- Modularity of termination and confluence in combinations of rewrite systems with ?? -- From domains to automata with concurrency -- What is a universal higher-order programming language?. 330 $aThe International Colloquium on Automata, Languages and Programming (ICALP) is an annual conference series sponsored by the European Association for Theoretical Computer Science (EATCS). It is intended to cover all important areas of theoretical computer science, such as: computability, automata,formal languages, term rewriting, analysis of algorithms, computational geometry, computational complexity, symbolic and algebraic computation, cryptography, data types and data structures, theory of data bases and knowledge bases, semantics of programming languages, program specification, transformation and verification, foundations of logicprogramming, theory of logical design and layout, parallel and distributed computation, theory of concurrency, and theory of robotics. This volume contains the proceedings of ICALP 93, held at LundUniversity, Sweden, in July 1993. It includes five invited papers and 51 contributed papers selected from 151 submissions. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v700 606 $aComputers 606 $aAlgorithms 606 $aComputer logic 606 $aMathematical logic 606 $aComputer programming 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aComputation by Abstract Devices$3https://scigraph.springernature.com/ontologies/product-market-codes/I16013 606 $aAlgorithm Analysis and Problem Complexity$3https://scigraph.springernature.com/ontologies/product-market-codes/I16021 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010 615 0$aComputers. 615 0$aAlgorithms. 615 0$aComputer logic. 615 0$aMathematical logic. 615 0$aComputer programming. 615 14$aTheory of Computation. 615 24$aComputation by Abstract Devices. 615 24$aAlgorithm Analysis and Problem Complexity. 615 24$aLogics and Meanings of Programs. 615 24$aMathematical Logic and Formal Languages. 615 24$aProgramming Techniques. 676 $a004.0151 702 $aLingas$b Andrzej$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKarlsson$b Rolf$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aCarlsson$b Svante$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466136503316 996 $aAutomata, languages and programming$9339738 997 $aUNISA LEADER 01598nam 2200409Ia 450 001 996394003503316 005 20200824132403.0 035 $a(CKB)3810000000004872 035 $a(EEBO)2240861972 035 $a(OCoLC)ocm11845109e 035 $a(OCoLC)11845109 035 $a(EXLCZ)993810000000004872 100 $a19850325d1671 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe prodromus to a dissertation concerning solids naturally contained within solids$b[electronic resource] $elaying a foundation for the rendering a rational accompt both of the frame and the several changes of the masse of the earth : as also of the various productions in the same /$fby Nicolavs Steno ; Englished by H.O 210 $aLondon $cPrinted by J. Winter and are to be sold by Moses Pitt ...$d1671 215 $a[16], 112 p. $cill 300 $aH.O. is Henry Oldenburg. cf. DNB. 300 $aReproduction of original in Bristol Public Library, Bristol, England. 330 $aeebo-0016 606 $aGeology$vEarly works to 1800 606 $aCrystallography$vEarly works to 1800 606 $aPaleontology$vEarly works to 1800 615 0$aGeology 615 0$aCrystallography 615 0$aPaleontology 700 $aSteno$b Nicolaus$f1638-1686.$0454353 701 $aOldenburg$b Henry$f1615?-1677.$0955922 801 0$bEAA 801 1$bEAA 801 2$bm/c 801 2$bWaOLN 906 $aBOOK 912 $a996394003503316 996 $aThe prodromus to a dissertation concerning solids naturally contained within solids$92369666 997 $aUNISA LEADER 04882nam 2200625 450 001 9910790774803321 005 20230803220338.0 010 $a90-04-25588-5 024 7 $a10.1163/9789004255883 035 $a(CKB)2550000001153654 035 $a(EBL)1474943 035 $a(OCoLC)861199677 035 $a(SSID)ssj0001002020 035 $a(PQKBManifestationID)12449592 035 $a(PQKBTitleCode)TC0001002020 035 $a(PQKBWorkID)10967741 035 $a(PQKB)10023439 035 $a(MiAaPQ)EBC1474943 035 $a(nllekb)BRILL9789004255883 035 $a(Au-PeEL)EBL1474943 035 $a(CaPaEBR)ebr10783389 035 $a(CaONFJC)MIL530156 035 $a(EXLCZ)992550000001153654 100 $a20131104d2014 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aIslamic legal thought $ea compendium of Muslim jurists /$fedited by Oussama Arabi, David S. Powers and Susan A. Spectorsky 210 1$aLeiden, Netherlands :$cBrill,$d2014. 210 4$d©2014 215 $a1 online resource (606 p.) 225 1 $aStudies in Islamic Law and Society,$x1384-1130 ;$vVolume 36 300 $aDescription based upon print version of record. 311 $a90-04-25452-8 320 $aIncludes bibliographical references and indexes. 327 $tPreliminary Material -- $tIntroduction /$rOussama Arabi , David S. Powers and Susan A. Spectorsky -- $t1. Ab? ?an?fa (d. 150/767) /$rYanagihashi Hiroyuki -- $t2. M?lik born Anas (d. 179/795) /$rYossef Rapoport -- $t3. al-Sh?fi?? (d. 204/820) /$rJoseph E. Lowry -- $t4. Sa?n?n born Sa??d (d. 240/854) /$rJonathan E. Brockopp -- $t5. A?mad born ?anbal (d. 243/855) /$rSusan A. Spectorsky -- $t6. al-Kha???f (d. 261/874) /$rPeter C. Hennigan -- $t7. Ab? Ja?far al-?a??w? (d. 321/933) /$rNurit Tsafrir -- $t8. al-Ja???? (d. 370/981) /$rMurteza Bedir -- $t9. al-Shar?f al-Murta?? (d. 436/1044) /$rDevin J. Stewart -- $t10. Ibn ?azm al-Qur?ub? (d. 456/1064) /$rSamir Kaddouri -- $t11. al-Sarakhs? (d. 483/1090) /$rOsman Ta?tan -- $t12. Ab? ??mid al-Ghaz?l? (d. 505/1111) /$rEbrahim Moosa -- $t13. Ibn Rushd al-Jadd (d. 520/1126) /$rDelfina Serrano Ruano -- $t14. Q??? ?Iy?? (d. 544/1149) /$rCamilo Gómez-Rivas -- $t15. Sayf al-D?n al-?mid? (d. 631/1233) /$rBernard G. Weiss -- $t16. Ab? Is??q al-Sh??ib? (d. 790/1388) /$rMuhammad Khalid Masud -- $t17. A?mad al-Wanshar?s? (d. 914/1509) /$rDavid S. Powers -- $t18. Ebu?s-su?ud (d. 982/1574) /$rColin Imber -- $t19. Mu?ammad B?qir al-Bihbih?n? (d. 1205/1791) /$rRobert Gleave -- $t20. al-Mahd? al-Wazz?n? (d. 1342/1923) /$rEtty Terem -- $t21. Mu?ammad Rash?d Ri?? (d. 1935) /$rMahmoud O. Haddad -- $t22. ?Abd al-Razz?q al-Sanh?r? Pasha (d. 1971) /$rOussama Arabi -- $t23. ?asan al-Tur?b? (1932?) /$rAharon Layish -- $tReferences -- $tIndex of Qur??nic verses -- $tIndex of Arabic terms -- $tGeneral Index. 330 $aIn Islamic Legal Thought: A Compendium of Muslim Jurists , twenty-three scholars each contribute a chapter on a distinguished Muslim jurist. The volume is organized chronologically and it includes jurists who represent the formative, classical and modern periods of Islamic legal thought. Each chapter contains both a biography of an individual jurist and a translated sample of his work. The biographies emphasize the scholarly milieu in which the jurist worked?his teachers, colleagues and pupils, as well as the type of juridical thinking for which he is best known. The translated sample highlights the contribution of each jurist to the evolution of both the method and the methodology of Islamic jurisprudence. The introduction by the volume's three editors, Oussama Arabi, David S. Powers and Susan A. Spectorsky, provides a concise overview of the contents. Contributors include: Oussama Arabi, Murteza Bedir, Jonathan E. Brockopp, Robert Gleave, Camilo Gómez-Rivas, Mahmoud O. Haddad, Peter C. Hennigan, Colin Imber, Samir Kaddouri, Aharon Layish, Joseph E. Lowry, Muhammad Khalid Masud, Ebrahim Moosa, David S. Powers, Yossef Rapoport, Delfina Serrano Ruano, Susan A. Spectorsky, Devin J. Stewart, Osman Tastan, Etty Terem, Nurit Tsafrir, Bernard G. Weiss, Hiroyuki Yanagihashi. 410 0$aStudies in Islamic law and society ;$vv. 36. 606 $aIslamic law$vBiography 606 $aMuslim scholars$vBiography 615 0$aIslamic law 615 0$aMuslim scholars 676 $a340.5/90922 701 $aArabi$b Oussama$f1954-$0696047 701 $aPowers$b David Stephan$0688443 701 $aSpectorsky$b Susan A$g(Susan Ann)$01478685 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910790774803321 996 $aIslamic legal thought$93846477 997 $aUNINA