LEADER 01011cam1 22002651 450 001 SOBE00055427 005 20170510112641.0 100 $a20170510d0000 |||||ita|0103 ba 101 $aeng 102 $aGB 200 1 $a<>poetical works of Dr. Jonath. Swift, dean of St. Patrick's, Dublin. In four volumes, with the life of the author 210 $aEdinburg$cat the Apollo Press, by the Martins$d1778 215 $a4 volumi$d24° 463 1$1001SOBE00055428$12000 $aVol. I 463 1$1001SOBE00055429$12000 $aVol. II 463 1$1001SOBE00055430$12000 $aVol. III 463 1$1001SOBE00055431$12000 $aVol. IV 700 1$aSwift$b, Jonathan$3AF00006194$4070$0154535 702 0$aApollo Press $3SOBA00014459$4070 801 0$aIT$bBEM$c20170510$gRICA 912 $aSOBE00055427 940 $aM 103 Monografia antica SBN 941 $aM 996 $aPoetical works of Dr. Jonath. Swift, dean of St. Patrick's, Dublin. In four volumes, with the life of the author$91726317 997 $aUNISOB LEADER 04365nam 22006735 450 001 9910484380503321 005 20251116224751.0 010 $a981-15-4863-3 024 7 $a10.1007/978-981-15-4863-5 035 $a(CKB)4100000011363818 035 $a(DE-He213)978-981-15-4863-5 035 $a(MiAaPQ)EBC6275281 035 $a(EXLCZ)994100000011363818 100 $a20200731d2021 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aSatellite Navigation Systems and Technologies /$fby Jun Xie, Haihong Wang, Peng Li, Yansong Meng 205 $a1st ed. 2021. 210 1$aSingapore :$cSpringer Singapore :$cImprint: Springer,$d2021. 215 $a1 online resource (XVI, 399 p. 177 illus., 45 illus. in color.) 225 1 $aSpace Science and Technologies,$x2730-6410 311 08$a981-15-4862-5 320 $aIncludes bibliographical references. 327 $aIntroduction -- Overview of Navigation Satellite Systems -- Satellite Navigation Uplink and Reception Technology -- Satellite Navigation Broadcasting Link Technology -- Satellite Navigation Inter-Satellite Link Technology -- Time-Frequency System for Satellite Navigation -- Generation and Assessment of Navigation Signal -- Satellite Navigation Information Management -- Autonomous Operation Technology of Navigation Satellites -- Development and Prospect of Satellite Navigation Technology. 330 $aBased on the design theory and development experience of Beidou navigation satellite system (BDS), this book highlights the space segment and the related satellite technologies as well as satellite-ground integration design from the perspective of engineering. The satellite navigation technology in this book is divided into uplink and reception technology, broadcasting link technology, inter-satellite link technology, time-frequency system technology, navigation signal generation and assessment technology, navigation information management technology, autonomous operation technology of navigation satellite. In closing, the book introduces readers to the technological development status and trend of BDS and other GNSS, and propose the technologies of future development. Unlike most current books on this topic, which largely concentrate on principles, receiver design or applications, the book also features substantial information on the role of satellite system in the GNSS and the process of signal information flow, and each chapter not only studies on the theoretical function and main technologies, but also focuses on engineering development. Accordingly, readers will gain not only a better understanding of navigation satellite systems as a whole, but also of their main components and key technologies. 410 0$aSpace Science and Technologies,$x2730-6410 606 $aAerospace engineering 606 $aAstronautics 606 $aAutomatic control 606 $aSignal processing 606 $aImage processing 606 $aSpeech processing systems 606 $aAerospace Technology and Astronautics$3https://scigraph.springernature.com/ontologies/product-market-codes/T17050 606 $aControl and Systems Theory$3https://scigraph.springernature.com/ontologies/product-market-codes/T19010 606 $aSignal, Image and Speech Processing$3https://scigraph.springernature.com/ontologies/product-market-codes/T24051 615 0$aAerospace engineering. 615 0$aAstronautics. 615 0$aAutomatic control. 615 0$aSignal processing. 615 0$aImage processing. 615 0$aSpeech processing systems. 615 14$aAerospace Technology and Astronautics. 615 24$aControl and Systems Theory. 615 24$aSignal, Image and Speech Processing. 676 $a929.374 700 $aXie$b Jun$4aut$4http://id.loc.gov/vocabulary/relators/aut$01226731 702 $aWang$b Haihong$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aLi$b Peng$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aMeng$b Yansong$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484380503321 996 $aSatellite Navigation Systems and Technologies$92848416 997 $aUNINA LEADER 04989nam 22008055 450 001 9910484432503321 005 20251226203001.0 010 $a3-540-69937-6 024 7 $a10.1007/978-3-540-69937-8 035 $a(CKB)1000000000440812 035 $a(SSID)ssj0000355553 035 $a(PQKBManifestationID)11261338 035 $a(PQKBTitleCode)TC0000355553 035 $a(PQKBWorkID)10340565 035 $a(PQKB)10260703 035 $a(DE-He213)978-3-540-69937-8 035 $a(MiAaPQ)EBC3068477 035 $a(PPN)12705197X 035 $a(EXLCZ)991000000000440812 100 $a20100301d2008 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aLogic, Language, Information and Computation $e15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008, Proceedings /$fedited by Wilfrid Hodges, Ruy de Queiroz 205 $a1st ed. 2008. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2008. 215 $a1 online resource (VIII, 313 p.) 225 1 $aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v5110 300 $aBibliographic Level Mode of Issuance: Monograph 311 08$a3-540-69936-8 320 $aIncludes bibliographical references and index. 327 $aTutorials and Invited Lectures -- Inter-deriving Semantic Artifacts for Object-Oriented Programming -- On the Descriptive Complexity of Linear Algebra -- Talks on Quantum Computing -- On Game Semantics of the Affine and Intuitionistic Logics -- The Grammar of Scope -- Contributed Papers -- Conjunctive Grammars and Alternating Pushdown Automata -- Expressive Power and Decidability for Memory Logics -- Reasoning with Uncertainty by Nmatrix?Metric Semantics -- A Propositional Dynamic Logic for CCS Programs -- Towards Ontology Evolution in Physics -- Nominal Matching and Alpha-Equivalence -- Interval Additive Generators of Interval T-Norms -- Propositional Dynamic Logic as a Logic of Belief Revision -- Time Complexity and Convergence Analysis of Domain Theoretic Picard Method -- On the Formal Semantics of IF-Like Logics -- One-and-a-Halfth Order Terms: Curry-Howard and Incomplete Derivations -- Labelled Calculi for ?ukasiewicz Logics -- An Infinitely-Often One-Way Function Based on an Average-Case Assumption -- On Characteristic Constants of Theories Defined by Kolmogorov Complexity -- Adversary Lower Bounds for Nonadaptive Quantum Algorithms -- On Second-Order Monadic Groupoidal Quantifiers -- Inference Processes for Quantified Predicate Knowledge -- Using ? -ctl to Specify Complex Planning Goals -- Hyperintensional Questions -- Skolem Theory and Generalized Quantifiers -- On a Graph Calculus for Algebras of Relations. 330 $aEdited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the 4th volume of the FoLLI LNAI subline; containing the refereed proceedings of the 15th International Workshop on Logic, Language, Information and Computation, WoLLIC 2008, held in Edinburgh, UK, in July 2008. The 21 revised full papers presented together with the abstracts of 7 tutorials and invited lectures were carefully reviewed and selected from numerous submissions. The papers cover all pertinent subjects in computer science with particular interest in cross-disciplinary topics. Typical areas of interest are: foundations of computing and programming; novel computation models and paradigms; broad notions of proof and belief; formal methods in software and hardware development; logical approach to natural language and reasoning; logics of programs, actions and resources; foundational aspects of information organization, search, flow, sharing, and protection. 410 0$aLecture Notes in Artificial Intelligence,$x2945-9141 ;$v5110 606 $aLogic 606 $aArtificial intelligence 606 $aComputer programming 606 $aComputer science 606 $aAlgorithms 606 $aMachine theory 606 $aLogic 606 $aArtificial Intelligence 606 $aProgramming Techniques 606 $aTheory of Computation 606 $aAlgorithms 606 $aFormal Languages and Automata Theory 615 0$aLogic. 615 0$aArtificial intelligence. 615 0$aComputer programming. 615 0$aComputer science. 615 0$aAlgorithms. 615 0$aMachine theory. 615 14$aLogic. 615 24$aArtificial Intelligence. 615 24$aProgramming Techniques. 615 24$aTheory of Computation. 615 24$aAlgorithms. 615 24$aFormal Languages and Automata Theory. 676 $a160 701 $aHodges$b Wilfrid$058897 701 $aQueiroz$b Ruy J. G. B. de$01691523 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910484432503321 996 $aLogic, language, information and computation$94198433 997 $aUNINA