LEADER 03868nam 22007215 450 001 996465900703316 005 20200704183537.0 010 $a1-280-38921-4 010 $a9786613567130 010 $a3-642-15898-6 024 7 $a10.1007/978-3-642-15898-8 035 $a(CKB)2670000000045120 035 $a(SSID)ssj0000446473 035 $a(PQKBManifestationID)11271326 035 $a(PQKBTitleCode)TC0000446473 035 $a(PQKBWorkID)10496859 035 $a(PQKB)10124417 035 $a(DE-He213)978-3-642-15898-8 035 $a(MiAaPQ)EBC3065826 035 $a(PPN)149024789 035 $a(EXLCZ)992670000000045120 100 $a20100913d2010 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Methods for Industrial Critical Systems$b[electronic resource] $e15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings /$fedited by Stefan Kowalewski, Marco Roveri 205 $a1st ed. 2010. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2010. 215 $a1 online resource (XII, 231 p. 82 illus.) 225 1 $aProgramming and Software Engineering ;$v6371 300 $aInternational conference proceedings. 311 $a3-642-15897-8 320 $aIncludes bibliographical references and author index. 327 $aThe Metrô Rio ATP Case Study -- Practical Issues with Formal Specifications -- Formal Analysis of BPMN Models Using Event-B -- Developing Mode-Rich Satellite Software by Refinement in Event B -- Automatic Error Correction of Java Programs -- Range Analysis of Microcontroller Code Using Bit-Level Congruences -- An Automated Translator for Model Checking Time Constrained Workflow Systems -- Correctness of Sensor Network Applications by Software Bounded Model Checking -- Model Checking the FlexRay Physical Layer Protocol -- SMT-Based Formal Verification of a TTEthernet Synchronization Function -- Embedded Network Protocols for Mobile Devices -- A Study of Shared-Memory Mutual Exclusion Protocols Using CADP -- A Formal Model of Identity Mixer -- Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. 410 0$aProgramming and Software Engineering ;$v6371 606 $aSoftware engineering 606 $aComputer logic 606 $aProgramming languages (Electronic computers) 606 $aSpecial purpose computers 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aSpecial Purpose and Application-Based Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/I13030 607 $aAntwerpen <2010>$2swd 608 $aKongress.$2swd 615 0$aSoftware engineering. 615 0$aComputer logic. 615 0$aProgramming languages (Electronic computers). 615 0$aSpecial purpose computers. 615 14$aSoftware Engineering. 615 24$aLogics and Meanings of Programs. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aSpecial Purpose and Application-Based Systems. 676 $a005.131 702 $aKowalewski$b Stefan$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aRoveri$b Marco$4edt$4http://id.loc.gov/vocabulary/relators/edt 712 12$aInternational Workshop on Formal Methods for Industrial Critical Systems 906 $aBOOK 912 $a996465900703316 996 $aFormal Methods for Industrial Critical Systems$91921860 997 $aUNISA LEADER 02901nam 22006014a 450 001 9910831176803321 005 20230617030452.0 010 $a1-280-34409-1 010 $a9786610344093 010 $a0-470-25120-4 010 $a0-471-46895-9 010 $a0-471-46896-7 035 $a(CKB)111087027111048 035 $a(EBL)162768 035 $a(OCoLC)225917825 035 $a(SSID)ssj0000202302 035 $a(PQKBManifestationID)11181301 035 $a(PQKBTitleCode)TC0000202302 035 $a(PQKBWorkID)10251620 035 $a(PQKB)11467623 035 $a(MiAaPQ)EBC162768 035 $a(EXLCZ)99111087027111048 100 $a20030331d2003 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe microbiology of anaerobic digesters$b[electronic resource] /$fMichael H. Gerardi 210 $aHoboken, N.J. $cWiley-Interscience$dc2003 215 $a1 online resource (189 p.) 225 1 $aWastewater microbiology series 300 $aDescription based upon print version of record. 311 $a0-471-20693-8 320 $aIncludes bibliographical references (p. 161-164) and index. 327 $aThe Microbiology of Anaerobic Digesters; Contents; Preface; PART I OVERVIEW; 1 Introduction; 2 Bacteria; 3 Methane-forming Bacteria; 4 Respiration; 5 Anaerobic Food Chain; 6 Fermentation; 7 Anaerobic Digestion Stages; PART II SUBSTRATES, PRODUCTS, AND BIOGAS; 8 Substrates and Products; 9 Biogas; PART III OPERATIONAL CONDITIONS; 10 Introduction to Operational Conditions; 11 Start-up; 12 Sludge Feed; 13 Retention Times; 14 Temperature; 15 Nutrients; 16 Alkalinity and pH; 17 Toxicity; 18 Mixing; PART IV PROCESS CONTROL AND TROUBLESHOOTING; 19 Upsets and Unstable Digesters 327 $a20 Foam and Scum Production and Accumulation21 Supernatant; 22 Monitoring; PART V DIGESTERS; 23 Types of Anaerobic Digesters; 24 Anaerobic Digesters versus Aerobic Digesters; References; Abbreviations and Acronyms; Chemical Compounds and Elements; Glossary; Index 330 $aAnaerobic digestion is a biochemical degradation process that converts complex organic material, such as animal manure, into methane and other byproducts. Part of the author's Wastewater Microbiology series, Microbiology of Anareboic Digesters eschews technical jargon to deliver a practical, how-to guide for wastewater plant operators. 410 0$aWastewater microbiology series. 606 $aSewage sludge digestion 606 $aAnaerobic bacteria 615 0$aSewage sludge digestion. 615 0$aAnaerobic bacteria. 676 $a628.35 676 $a662.88 700 $aGerardi$b Michael H$0512227 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910831176803321 996 $aMicrobiology of anaerobic digesters$9764688 997 $aUNINA