LEADER 02614nam 2200613Ia 450 001 9910954057403321 005 20200520144314.0 010 $a9781608052615 010 $a1608052613 035 $a(CKB)2670000000246148 035 $a(EBL)1046404 035 $a(OCoLC)818113345 035 $a(SSID)ssj0001032640 035 $a(PQKBManifestationID)11585435 035 $a(PQKBTitleCode)TC0001032640 035 $a(PQKBWorkID)10992379 035 $a(PQKB)10735245 035 $a(MiAaPQ)EBC1046404 035 $a(Au-PeEL)EBL1046404 035 $a(CaPaEBR)ebr10601792 035 $a(DE-B1597)731206 035 $a(DE-B1597)9781608052615 035 $a(EXLCZ)992670000000246148 100 $a20120927d2012 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aHandbook of natural zeolites /$feditors: Vassilis J. Inglezakis & Antonis A. Zorpas 205 $a1st ed. 210 $a[Oak Park, Ill. $cBentham Science$d2012] 215 $a1 online resource (721 p.) 300 $aDescription based upon print version of record. 311 08$a9781608054466 311 08$a1608054462 320 $aIncludes bibliographical references. 327 $aCover; TItle; EUL; Contents; Foreword; Preface; List of Contributors; Part I; Chapter 01; Chapter 02; Part II; Chapter 03; Chapter 04; Chapter 05; Chapter 06; Chapter 07; Chapter 08; Chapter 09a; Chapter 09b; Chapter 09c; Part III; Chapter 10; Chapter 11; Chapter 12; Chapter 13; Chapter 14; Chapter 15; Chapter 16; Chapter 17; Chapter 18; Chapter 19; Part IV; Chapter 20; Chapter 21; Chapter 22; Chapter 23; Chapter 24; Chapter 25; Chapter 26; Chapter 27; Chapter 28 330 $aHandbook of Natural Zeolites provides a comprehensive and up to date summary of important aspects of the science of natural zeolites. The text in this e-book is supported by excellent figures and tables. As a result, novices and established mineralogists alike will find this comprehensive volume a great resource for years to come. 606 $aZeolites$vHandbooks, manuals, etc 606 $aMineralogy$vHandbooks, manuals, etc 615 0$aZeolites 615 0$aMineralogy 676 $a549.68 700 $aInglezakis$b Vassilis J, $4aut$4http://id.loc.gov/vocabulary/relators/aut$01802113 701 $aInglezakis$b Vassilis J$01802113 701 $aZorpas$b Antonis A$01802114 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910954057403321 996 $aHandbook of natural zeolites$94347649 997 $aUNINA LEADER 05704nam 22007695 450 001 9910410055403321 005 20250707124355.0 010 $a3-030-51466-8 024 7 $a10.1007/978-3-030-51466-2 035 $a(CKB)5310000000016579 035 $a(MiAaPQ)EBC6235488 035 $a(DE-He213)978-3-030-51466-2 035 $a(PPN)24859544X 035 $a(EXLCZ)995310000000016579 100 $a20200623d2020 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aBeyond the Horizon of Computability $e16th Conference on Computability in Europe, CiE 2020, Fisciano, Italy, June 29?July 3, 2020, Proceedings /$fedited by Marcella Anselmo, Gianluca Della Vedova, Florin Manea, Arno Pauly 205 $a1st ed. 2020. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2020. 215 $a1 online resource (xxxvii, 378 pages) 225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12098 300 $aIncludes index. 311 08$a3-030-51465-X 327 $aA Note on Computable Embeddings for Ordinals and Their Reverses -- Clockability for Ordinal Turing Machines -- Some notes on spaces of ideals and computable topology -- Parallelizations in Weihrauch reducibility and constructive reverse mathematics -- Liouville Numbers and the Computational Complexity of Changing Bases -- On Interpretability between some weak essential undecidable theories -- On the Complexity of Conversion between Classic Real Number Representations -- Deterministic and Nondeterministic Iterated Uniform Finite-State Transducers: Computational and Descriptional Power -- Computable analysis and classification problems -- Non-coding enumeration operators -- On the Interplay Between Inductive Inference of Recursive Functions, Complexity Theory and Recursive Numberings -- An interactive proof system for Program extraction -- ASNP: a tame fragment of existential second-order logic -- Ackermannian Goodstein sequences of intermediate growth -- On the complexity of validity degrees in ?ukasiewicz logic -- Degrees of non-computability of homeomorphism types of Polish spaces -- Time-aware uniformization of winning strategies -- Quantitative Representation Theory of Compact Metric Spaces -- Functions of Baire class one over a Bishop topology -- Combinatorial properties of degree sequences of 3-uniform hypergraphs arising from saind sequences -- The Computational Significance of Hausdorff's Maximal Chain Principle -- Prefix of trace languages: clique polynomials and dependency graphs -- Repetitions in Toeplitz words and the Thue threshold -- Simulation of automata networks -- Theoretical and Implementation Aspects of the Formal Language Server (LaSer) -- Balancing Straight-Line Programs for Strings and Trees -- Two-dimensional codes -- Formal Languages in Graph Databases and Information Extraction -- On the perceptron's compression -- #P-completeness of counting update digraphs, cacti, and series-parallel decomposition method -- Faster Online Computation of the Succinct Longest Previous Factor Array -- Recent advances in text-to-pattern distance algorithms -- Insertion-Deletion Systems With Substitutions: The Context-free Case. 330 $aThis book constitutes the proceedings of the 16th Conference on Computability in Europe, CiE 2020, which was planned to be held in Fisciano, Italy, during June 29 until July 3, 2020. The conference moved to a virtual format due to the coronavirus pandemic. The 30 full and 5 short papers presented in this volume were carefully reviewed and selected from 72 submissions. CiE promotes the development of computability-related science, ranging over mathematics, computer science and applications in various natural and engineering sciences, such as physics and biology, as well as related fields, such as philosophy and history of computing. CiE 2020 had as its motto Beyond the Horizon of Computability, reflecting the interest of CiE in research transgressing the traditional boundaries of computability theory. 410 0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v12098 606 $aComputer science 606 $aMachine theory 606 $aAlgorithms 606 $aComputer science$xMathematics 606 $aComputer networks 606 $aArtificial intelligence 606 $aTheory of Computation 606 $aFormal Languages and Automata Theory 606 $aAlgorithms 606 $aMathematics of Computing 606 $aComputer Communication Networks 606 $aArtificial Intelligence 615 0$aComputer science. 615 0$aMachine theory. 615 0$aAlgorithms. 615 0$aComputer science$xMathematics. 615 0$aComputer networks. 615 0$aArtificial intelligence. 615 14$aTheory of Computation. 615 24$aFormal Languages and Automata Theory. 615 24$aAlgorithms. 615 24$aMathematics of Computing. 615 24$aComputer Communication Networks. 615 24$aArtificial Intelligence. 676 $a511.352 676 $a511.352 702 $aAnselmo$b Marcella$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDella Vedova$b Gianluca$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aManea$b Florin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aPauly$b Arno$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910410055403321 996 $aBeyond the Horizon of Computability$92224678 997 $aUNINA