LEADER 02144nam0 22004813i 450 001 VAN0250684 005 20220927091314.211 010 $a978-35-407-4112-1 100 $a20220926d2007 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 200 1 $aˆThe ‰calculus of computation$edecision procedures with applications to verification$fAaron R. Bradley, Zohar Manna 210 $aBerlin$cSpringer$d2007 215 $aXV, 366 p.$cill.$d25 cm 500 1$3VAN0250685$aˆThe ‰calculus of computation$92983629 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03B25$xDecidability of theories and sets of sentences [MSC 2020]$3VANC024400$2MF 606 $a03F30$xFirst-order arithmetic and fragments [MSC 2020]$3VANC024401$2MF 606 $a03B70$xLogic in computer science [MSC 2020]$3VANC024541$2MF 606 $a68Q60$xSpecification and verification (program logics, model checking, etc.) [MSC 2020]$3VANC024550$2MF 606 $a68N30$xMathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) [MSC 2020]$3VANC033421$2MF 610 $aAlgorithm Analysis$9KW:K 610 $aAlgorithms$9KW:K 610 $aArtificial Intelligence$9KW:K 610 $aComputer$9KW:K 610 $aData structure$9KW:K 610 $aFormal method$9KW:K 610 $aLearning$9KW:K 610 $aLogic$9KW:K 610 $aProblem complexity$9KW:K 610 $aVerification$9KW:K 620 $dBerlin$3VANL000066 700 1$aBradley$bAaron R.$3VANV204753$01268492 701 1$aManna$bZohar$3VANV204754$025952 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20240614$gRICA 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN0250684 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 0533 $e08DMF663 I 20220926 996 $aCalculus of computation$92983629 997 $aUNICAMPANIA LEADER 05538nam 22006615 450 001 9910481960003321 005 20251113181431.0 010 $a981-15-9758-8 024 7 $a10.1007/978-981-15-9758-9 035 $a(CKB)4100000011950733 035 $a(DE-He213)978-981-15-9758-9 035 $a(MiAaPQ)EBC6636695 035 $a(Au-PeEL)EBL6636695 035 $a(OCoLC)1255462793 035 $a(PPN)260306711 035 $a(EXLCZ)994100000011950733 100 $a20210602d2021 u| 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aMicrobial Metatranscriptomics Belowground /$fedited by Manoj Nath, Deepesh Bhatt, Prachi Bhargava, D. K. Choudhary 205 $a1st ed. 2021. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2021. 215 $a1 online resource (XIII, 679 p. 64 illus., 50 illus. in color.) 311 08$a981-15-9757-X 327 $aChapter 1. Metatranscriptomics in Microbiome study: A comprehensive approach -- Chapter 2. Molecular Tools to Explore Rhizosphere Microbiome -- Chapter 3. Relevance of metatranscriptomics in symbiotic associations between plants and rhizosphere microorganisms -- Chapter 4. Chemical Signal Dissemination through Infochemicals -- Chapter 5. Nitrogen fixation through genetic engineering: A future systemic approach for Nitrogen fixation -- Chapter 6. Functional AM fungi in the rhizopshere of fruit crops -- Chapter 7. Importance of PGPRs in rhizosphere -- Chapter 8. Flavonoid Infochemicals: Unraveling insights of rhizomicrobiome interactions -- Chapter 9. Augmenting the abiotic stress tolerance in plants through microbial association -- Chapter 10. Role of functional defense signal in plant -microbe interactions -- Chapter 11. Understanding rhizosphere through metatranscriptomics approaches -- Chapter 12. Rhizospheric microbial communities: occurrence, distribution and functions -- Chapter 13. Psychrotrophic Microbes: Biodiversity, Adaptation, and Implications -- Chapter 14. Significance of belowground microbial-rhizoshphere interactions -- Chapter 15. Functional niche under abiotic stress -- Chapter 16. Functional Diversity in Rhizosphere Microbial Community: Concept to Applications -- Chapter 17. Epiphytic Microbes of roots: Diversity and Significance -- Chapter 18. Evaluation of dynamic microbiome ecology within the plant roots -- Chapter 19. Maneuvering Soil Microbiome And Their Interactions: A Resilient Technology For Conserving Soil And Plant Health -- Chapter 20. Exploration of Rhizospheric Microbial Diversity of the Indian Sunderbans - a World Heritage Site -- Chapter 21. Advances and challenges in metatranscriptomic analysis -- Chapter 22. Metatranscriptomics: A Promising Tool to Depict Dynamics of Microbial Community Structure and Function -- Chapter 23. A pipeline for assessment of Pathogenic Load in the Environment using Microbiome Analysis -- Chapter 24. High Throughput analysis to decipher bacterial diversity and their functional properties in fresh water bodies -- Chapter 25. Functional defense signals in plants -- Chapter 26. Metatranscriptomic: A recent advancement to explore and understand rhizosphere -- Chapter 27. Advances in Biotechnological tools and techniques for metatranscriptomics -- Chapter 28. Microbes and soil health for sustainable crop production -- Chapter 29. Molecular Mechanisms Deciphering Cross-Talk Between Quorum Sensing Genes And Major Iron Regulons In Rhizospheric Communities -- Chapter 30. Exploring the Potential of Below ground Microbiome: Mechanism of action, Applications & Commercial Challenges -- Chapter 31. Plant growth promoting bacteria (PGPB) - a new perspective in abiotic stress management of crop plants. 330 $aThe book emphasizes role of functional microbes in soil to improve fertility and plant health in agro-ecosystem. In this compendium main emphasis is on occurrence and distribution of microbial communities, In situ active microbial quorum in rhizosphere, metratranscriptomics for microflora- and fauna, and fnctional diversity in rhizosphere. The book also highlights the importance of PGPRs in rhizosphere, root endotrophic microbes, functional niche under biotic stress, functional niche under abiotic stress, functional root derived signals, as well as functional microbe derived signals. Approaches deployed in metatranscriptomics, and molecular Tools used in rhizosphere are also discussed in detail. The book presents content is useful for students, academicians, researchers working on soil rhizosphere and as a policy document on sustenance of agriculture. 606 $aMicrobiology 606 $aGenetics 606 $aPlant physiology 606 $aMicrobial ecology 606 $aEcology 606 $aMicrobiology 606 $aGenetics and Genomics 606 $aPlant Physiology 606 $aMicrobial Ecology 606 $aEcology 615 0$aMicrobiology. 615 0$aGenetics. 615 0$aPlant physiology. 615 0$aMicrobial ecology. 615 0$aEcology. 615 14$aMicrobiology. 615 24$aGenetics and Genomics. 615 24$aPlant Physiology. 615 24$aMicrobial Ecology. 615 24$aEcology. 676 $a581.10428 702 $aNath$b Manoj 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910481960003321 996 $aMicrobial Metatranscriptomics Belowground$92208932 997 $aUNINA