LEADER 01311nam 2200349Ia 450 001 996389918103316 005 20221108090158.0 035 $a(CKB)1000000000649613 035 $a(EEBO)2240946628 035 $a(UnM)9928820000971 035 $a(UnM)99896368 035 $a(EXLCZ)991000000000649613 100 $a19980529d1652 uy | 101 0 $aeng 135 $aurbn||||a|bb| 200 14$aThe saints hony-comb$b[electronic resource] $efull of divine truths touching both Christian belief, and a Christians life, in two centuries. By Richard Gove 210 $a[London] $cPrinted for Richard Royston, and are to be sold by Thomas Miller, book-seller in Sherburn$d1652 215 $a[8], 212, [4] p 300 $aThe words "Christian .. life," are gathered by a left brace on title page with "touching both" printed vertically. 300 $aWith two final advertisement leaves. 300 $aReproduction of original in the Folger Shakespeare Library. 330 $aeebo-0055 606 $aChristian life$vEarly works to 1800 615 0$aChristian life 700 $aGove$b R$g(Richard),$f1587-1668.$01003494 801 0$bCu-RivES 801 1$bCu-RivES 801 2$bWaOLN 906 $aBOOK 912 $a996389918103316 996 $aThe saints hony-comb$92303973 997 $aUNISA LEADER 02374oam 22004335 450 001 9910734852503321 005 20240418181933.0 010 $a981-9917-59-X 024 7 $a10.1007/978-981-99-1759-4 035 $a(MiAaPQ)EBC30645970 035 $a(Au-PeEL)EBL30645970 035 $a(DE-He213)978-981-99-1759-4 035 $a(PPN)272256145 035 $a(CKB)27578213100041 035 $a(EXLCZ)9927578213100041 100 $a20230713d2023 uy 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSolar magnetism /$fHongqi Zhang 205 $a1st ed. 2023. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2023. 215 $a1 online resource (420 pages) 311 08$aPrint version: Zhang, Hongqi Solar Magnetism Singapore : Springer Singapore Pte. Limited,c2023 9789819917587 327 $aPreface -- 1 Introduction -- 2 Measurements of Magnetic Fields -- 3 Solar Magnetic Fields -- 4 Solar Magnetic Activities -- 5 Spatial Magnetic Configurations of Solar Active Regions and Eruptions -- 6 Helical Magnetic Fields and Solar Cycles -- 7 Magnetic Helicity with Solar Dynamo -- 8 More Questions. 330 $aThis book highlights fundamentals and advances in the theories and observations of solar magnetic fields. Solar magnetism is an important part of solar physics and space weather research. It covers the formation, development, and relaxation of the magnetic fields in the solar eruptive process. The book discusses topics ranging from measurement facilities for solar observations to the evolution of solar magnetic fields, the storage of magnetic energy, and the magnetic helicity in the solar atmosphere and its relation with solar cycles. The book also presents recent advances in measurements and observations of solar magnetic shear, currents, magnetic helicity, and solar cycles. The book intends for astronomy-majored students and researchers interested in solar magnetism and its role in astrophysics. 606 $aSolar magnetic fields 615 0$aSolar magnetic fields. 676 $a523.72 700 $aZhang$b Hongqi$01373017 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910734852503321 996 $aSolar Magnetism$93403913 997 $aUNINA LEADER 06304nam 2200613 a 450 001 9910483705003321 005 20200520144314.0 010 $a3-540-69407-2 024 7 $a10.1007/978-3-540-69407-6 035 $a(CKB)1000000000440796 035 $a(SSID)ssj0000318692 035 $a(PQKBManifestationID)11279923 035 $a(PQKBTitleCode)TC0000318692 035 $a(PQKBWorkID)10311272 035 $a(PQKB)11542858 035 $a(DE-He213)978-3-540-69407-6 035 $a(MiAaPQ)EBC3068527 035 $a(PPN)127051791 035 $a(EXLCZ)991000000000440796 100 $a20080507d2008 uy 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic and theory of algorithms $e4th conference on computability in Europe, CIE 2008, Athens, Greece, June 15-20, 2008 : proceedings /$fArnold Beckmann, Costas Dimitracopoulos, Benedikt Lowe (eds.) 205 $a1st ed. 2008. 210 $aBerlin $cSpringer$d2008 215 $a1 online resource (XIX, 596 p.) 225 1 $aLecture notes in computer science,$x0302-9743 ;$v5028 225 1 $aLNCS sublibrary. SL 1, Theoretical computer science and general issues 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-69405-6 320 $aIncludes bibliographical references and index. 327 $aDeterministic Graphical Games Revisited -- Program Schemes with Deep Pushdown Storage -- Herbrand Theorems and Skolemization for Prenex Fuzzy Logics -- Decidability of Hybrid Logic with Local Common Knowledge Based on Linear Temporal Logic LTL -- Pure Iteration and Periodicity -- Programming Experimental Procedures for Newtonian Kinematic Machines -- Linear, Polynomial or Exponential? Complexity Inference in Polynomial Time -- A Summation Algorithm from 11th Century China -- Sequential Automatic Algebras -- The Role of Classical Computation in Measurement-Based Quantum Computation -- The Algebraic Counterpart of the Wagner Hierarchy -- Computing by Observing: A Brief Survey -- A Quantum Information-Theoretic Proof of the Relation between Horn?s Problem and the Littlewood-Richardson Coefficients -- Pell Equations and Weak Regularity Principles -- Computable Categoricity of Graphs with Finite Components -- P Automata: Membrane Systems as Acceptors -- On the Processing Power of Protozoa -- Computing Equilibria in Large Games We Play -- A Week-End Off: The First Extensive Number-Theoretical Computation on the ENIAC -- Phase Transitions for Weakly Increasing Sequences -- Succinct NP Proofs from an Extractability Assumption -- Describing the Wadge Hierarchy for the Alternation Free Fragment of ?-Calculus (I) -- Subrecursive Complexity of Identifying the Ramsey Structure of Posets -- Solving Simple Stochastic Games -- The Shrinking Property for NP and coNP -- On the Hardness of Truthful Online Auctions with Multidimensional Constraints -- Effective Dimensions and Relative Frequencies -- Reachability in Linear Dynamical Systems -- Hybrid Functional Interpretations -- The Algorithm Concept ? Tool for Historiographic Interpretation or Red Herring? -- Adversarial Scheduling Analysis of Game-Theoretic Models of Norm Diffusion -- A Simple P-Matrix Linear Complementarity Problem for Discounted Games -- Implementing Spi Calculus Using Nominal Techniques -- An Enhanced Theory of Infinite Time Register Machines -- Many Facets of Complexity in Logic -- On the Computational Power of Enhanced Mobile Membranes -- Recursion in Higher Types and Resource Bounded Turing Machines -- Computability and Complexity in Self-assembly -- Extraction in Coq: An Overview -- Joining to High Degrees -- Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem -- Interpreting Localized Computational Effects Using Operators of Higher Type -- Uniform Algebraic Reducibilities between Parameterized Numeric Graph Invariants -- Updatable Timed Automata with Additive and Diagonal Constraints -- First-Order Model Checking Problems Parameterized by the Model -- Domain Theory and the Causal Structure of Space-Time -- Recursion on Nested Datatypes in Dependent Type Theory -- Perfect Local Computability and Computable Simulations -- Complete Determinacy and Subsystems of Second Order Arithmetic -- Internal Density Theorems for Hierarchies of Continuous Functionals -- Two-by-Two Substitution Systems and the Undecidability of the Domino Problem -- The Relative Consistency of the Axiom of Choice ? Mechanized Using Isabelle/ZF -- Upper Semilattices in Many-One Degrees -- Union of Reducibility Candidates for Orthogonal Constructor Rewriting -- The Quantum Complexity of Markov Chain Monte Carlo -- Topological Dynamics of 2D Cellular Automata -- Complexity of Aperiodicity for Topological Properties of Regular ?-Languages -- ?-Degree Spectra -- Cupping Classes of Enumeration Degrees -- Principal Typings for Explicit Substitutions Calculi -- How We Think of Computing Today. 330 $aThis book constitutes the refereed proceedings of the 4th International Conference on Computability in Europe, CiE 2008, held in Athens, Greece, in June 2008. The 36 revised full papers presented together with 25 invited tutorials and lectures were carefully reviewed and selected from 108 submissions. Among them are papers of 6 special sessions entitled algorithms in the history of mathematics, formalising mathematics and extracting algorithms from proofs, higher-type recursion and applications, algorithmic game theory, quantum algorithms and complexity, and biology and computation. 410 0$aLecture notes in computer science ;$v5028. 410 0$aLNCS sublibrary.$nSL 1,$pTheoretical computer science and general issues. 517 3 $aCIE 2008 606 $aComputable functions$vCongresses 606 $aComputational intelligence$vCongresses 615 0$aComputable functions 615 0$aComputational intelligence 676 $a005.1 701 $aBeckmann$b Arnold$01752879 701 $aDimitracopoulos$b Costas$01756075 701 $aLowe$b Benedikt$0915589 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910483705003321 996 $aLogic and theory of algorithms$94193170 997 $aUNINA