LEADER 02446nam 22006015 450 001 9910484685903321 005 20200630063532.0 010 $a88-470-1884-6 024 7 $a10.1007/978-88-470-1884-6 035 $a(CKB)2670000000084133 035 $a(EBL)993840 035 $a(OCoLC)824457275 035 $a(SSID)ssj0000879223 035 $a(PQKBManifestationID)11956559 035 $a(PQKBTitleCode)TC0000879223 035 $a(PQKBWorkID)10852621 035 $a(PQKB)11122888 035 $a(DE-He213)978-88-470-1884-6 035 $a(MiAaPQ)EBC993840 035 $a(PPN)153867647 035 $a(EXLCZ)992670000000084133 100 $a20110501d2011 u| 0 101 0 $aita 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aLogica: Metodo Breve /$fby Daniele Mundici 205 $a1st ed. 2011. 210 1$aMilano :$cSpringer Milan :$cImprint: Springer,$d2011. 215 $a1 online resource (131 p.) 225 1 $aLa Matematica per il 3+2,$x2038-5722 ;$v50 300 $aIncludes index. 311 $a88-470-1883-8 327 $apt. 1. Logica di Boole -- pt. 2. Logica dei Predicati. 330 $aSenza richiedere prerequisiti il testo si propone di fornire una dimostrazione dei fondamentali teoremi della logica matematica (compattezza, completezza di Gödel, Löwenheim-Skolem) introducendo i concetti sintattici e semantici in modo progressivo, dalla logica booleana a quella predicativa. Per facilitare la lettura attiva, il testo contiene numerosi esercizi. 410 0$aLa Matematica per il 3+2,$x2038-5722 ;$v50 606 $aMathematical logic 606 $aSemantics 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 606 $aSemantics$3https://scigraph.springernature.com/ontologies/product-market-codes/N39000 615 0$aMathematical logic. 615 0$aSemantics. 615 14$aMathematical Logic and Foundations. 615 24$aMathematical Logic and Formal Languages. 615 24$aSemantics. 676 $a511.3 700 $aMundici$b Daniele$4aut$4http://id.loc.gov/vocabulary/relators/aut$062698 906 $aBOOK 912 $a9910484685903321 996 $aLogica: metodo breve$92983391 997 $aUNINA LEADER 04652nam 22006135 450 001 9910299879603321 005 20200702152048.0 010 $a3-319-66565-0 024 7 $a10.1007/978-3-319-66565-8 035 $a(CKB)4100000000881512 035 $a(DE-He213)978-3-319-66565-8 035 $a(MiAaPQ)EBC5089236 035 $z(PPN)258852917 035 $a(PPN)220125406 035 $a(EXLCZ)994100000000881512 100 $a20171004d2018 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aDesign of Power-Efficient Highly Digital Analog-to-Digital Converters for Next-Generation Wireless Communication Systems /$fby Xinpeng Xing, Peng Zhu, Georges Gielen 205 $a1st ed. 2018. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2018. 215 $a1 online resource (XXVII, 181 p. 148 illus., 98 illus. in color.) 225 1 $aSignals and Communication Technology,$x1860-4862 311 $a3-319-66564-2 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aIntroduction -- A?D Converters and Their Applications -- Continuous-Time Delta?Sigma ADCs -- VCO-Based ADCs -- 40MHz-BW 12-bit Low-Power CT Delta?Sigma ADCs in 90nm CMOS -- Two-step Open-Loop VCO-Based ADC -- VCO-based 0-2 Delta?Sigma MASH ADCs -- Fully-VCO-based High-order Delta?Sigma ADCs -- Conclusions. 330 $aThis book discusses both architecture- and circuit-level design aspects of voltage-controlled-oscillator (VCO)-based analog-to-digital converters (ADCs), especially focusing on mitigation of VCO nonlinearity and the improvement of power efficiency. It shows readers how to develop power-efficient complementary-metal-oxide-semiconductor (CMOS) ADCs for applications such as LTE, 802.11n, and VDSL2+. The material covered can also be applied to other specifications and technologies. Design of Power-Efficient Highly Digital Analog-to-Digital Converters for Next-Generation Wireless Communication Systems begins with a general introduction to the applications of an ADC in communications systems and the basic concepts of VCO-based ADCs. The text addresses a wide range of converter architectures including open- and closed-loop technologies. Special attention is paid to the replacement of power-hungry analog blocks with VCO-based circuits and to the mitigation of VCO nonline arity. Various MATLAB®/Simulink® models are provided for important circuit nonidealities, allowing designers and researchers to determine the required specifications for the different building blocks that form the systematic integrated-circuit design procedure. Five different VCO-based ADC design examples are presented, introducing innovations at both architecture and circuit levels. Of these designs, the best power efficiency of a high-bandwidth oversampling ADC is achieved in a 40 nm CMOS demonstration. This book is essential reading material for engineers and researchers working on low-power-analog and mixed-signal design and may be used by instructors teaching advanced courses on the subject. It provides a clear overview and comparison of VCO-based ADC architectures and gives the reader insight into the most important circuit imperfections. 410 0$aSignals and Communication Technology,$x1860-4862 606 $aElectronic circuits 606 $aElectrical engineering 606 $aEnergy consumption 606 $aCircuits and Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/T24068 606 $aCommunications Engineering, Networks$3https://scigraph.springernature.com/ontologies/product-market-codes/T24035 606 $aEnergy Efficiency$3https://scigraph.springernature.com/ontologies/product-market-codes/118000 615 0$aElectronic circuits. 615 0$aElectrical engineering. 615 0$aEnergy consumption. 615 14$aCircuits and Systems. 615 24$aCommunications Engineering, Networks. 615 24$aEnergy Efficiency. 676 $a621.39814 700 $aXing$b Xinpeng$4aut$4http://id.loc.gov/vocabulary/relators/aut$01059949 702 $aZhu$b Peng$4aut$4http://id.loc.gov/vocabulary/relators/aut 702 $aGielen$b Georges$4aut$4http://id.loc.gov/vocabulary/relators/aut 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910299879603321 996 $aDesign of Power-Efficient Highly Digital Analog-to-Digital Converters for Next-Generation Wireless Communication Systems$92509788 997 $aUNINA