04248oam 2200649I 450 991045891100332120200520144314.00-429-13180-11-4200-7145-910.1201/9781420071450 (CKB)2670000000019162(EBL)533624(OCoLC)630542931(SSID)ssj0000487256(PQKBManifestationID)11291826(PQKBTitleCode)TC0000487256(PQKBWorkID)10442957(PQKB)10879591(MiAaPQ)EBC533624(Au-PeEL)EBL533624(CaPaEBR)ebr10387104(CaONFJC)MIL692803(EXLCZ)99267000000001916220180331d2010 uy 0engur|n|---|||||txtccrThe science and technology of industrial water treatment /edited by Zahid AmjadBoca Raton, Fla. :CRC Press ;London :IWA Pub.,2010.1 online resource (532 p.)"A CRC title."1-322-61521-7 1-4200-7144-0 Includes bibliographical references and index.Front cover; Contents; Preface; Editor; Contributors; Chapter 1. Mineral Scales and Deposits: An Overview; Chapter 2. Crystal Growth Inhibition of Calcium Sulfate and Calcium Oxalates in Aqueous Systems; Chapter 3. Calcium Carbonate Scale Control in Industrial Water Systems; Chapter 4. Calcium Carbonate: Polymorph Stabilization in the Presence of Inhibitors; Chapter 5. Scale and Deposit Control Polymers for Industrial Water Treatment; Chapter 6. New Models for Calcium Phosphate Scale Formation and Dissolution; Chapter 7. Design and Applications of Cooling Water Treatment ProgramsChapter 8 Latest Developments in Oil Field Scale ControlChapter 9. Control of Silica Scaling in Geothermal Systems Using Silica Inhibitors, Chemical Treatment, and Process Engineering; Chapter 10 Recent Developments in Controlling Silica and Magnesium Silicate Foulants in Industrial Water Systems; Chapter 11 Phosphate-Containing Scale Formation in Wastewat er; Chapter 12. New Developments in Membrane-Based Processes for Industrial Applications; Chapter 13. Reverse Osmosis Membrane Fouling Control; Chapter 14. Scale Formation and Control in Thermal Desalination SystemsChapter 15. Boiler Water TreatmentChapter 16. Corrosion Control in Industrial Water Systems; Chapter 17. Interactions of Polyelectrolytes with Particulate Matter in Aqueous Systems; Chapter 18. Mechanistic Aspects of Heat Exchanger and Membrane Biofouling and Prevention; Chapter 19. Biocides: Selection and Application; Chapter 20. Legionella in Water Systems; Chapter 21. Analytical Techniques for Identifying Mineral Scales and Deposits; Chapter 22. Deposit Control Polymers: Types, Characterization, and Applications; Chapter 23. Applications of Cationic Polymers in Water TreatmentChapter 24. Recent Development in Water Treatment Chemicals MonitoringIndex; Back coverMineral scale deposits, corrosion, suspended matter, and microbiological growth are factors that must be controlled in industrial water systems. Research on understanding the mechanisms of these problems has attracted considerable attention in the past three decades as has progress concerning water treatment additives to ameliorate these concerns. The Science and Technology of Industrial Water Treatment provides a comprehensive discussion on the topic from specialists in industry and academia.The book begins with an overview of water chemistry and coverFactory and trade wastePurificationWaterPurificationSewagePurificationElectronic books.Factory and trade wastePurification.WaterPurification.SewagePurification.628.4/3Amjad Zahid874281MiAaPQMiAaPQMiAaPQBOOK9910458911003321The science and technology of industrial water treatment1951984UNINA05974nam 22008055 450 991073942040332120251116210401.03-642-36946-410.1007/978-3-642-36946-9(CKB)3280000000007560(Springer)9783642369469(MH)013672543-0(SSID)ssj0000879961(PQKBManifestationID)11546663(PQKBTitleCode)TC0000879961(PQKBWorkID)10895194(PQKB)10098866(DE-He213)978-3-642-36946-9(MiAaPQ)EBC3093612(PPN)169139778(EXLCZ)99328000000000756020130322d2013 u| 0engurnn#008mamaatxtccrAliasing in Object-Oriented Programming Types, Analysis and Verification /edited by David Clarke, Tobias Wrigstad, James Noble1st ed. 2013.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2013.1 online resource (VIII, 515 p. 134 illus.)digitalProgramming and Software Engineering ;7850Minimal Level Cataloging Plus.DLC3-642-36945-6 Includes bibliographical references and index.Beyond the Geneva Convention on the Treatment of Object Aliasing.- The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing.  The Geneva Convention on the Treatment of Object Aliasing.- Ownership Types: A Survey.- Notions of Aliasing and Ownership.- Understanding Ownership Types with Dependent Types.- Object Graphs with Ownership Domains: An Empirical Study.- Alias Control for Deterministic Parallelism.- Alias Analysis for Object-Oriented Programs.- Immutability.- Fractional Permissions.- Object Ownership in Program Verification.- State Based Encapsulation for Modular Reasoning about Behavior-Preserving Refactorings.- Separation Logic for Object-Oriented Programming.- VeriFast for Java: A Tutorial -- Confined Roles and Decapsulation in Object Teams — Contradiction or Synergy.- Location Types for Safe Programming with Near and Far References.- The Future of Aliasing in Parallel Programming.- Aliasing Visions: Ownership and Location.- Alias Analysis: Beyond the Code.- How, Then, Should We Program.- A Retrospective on Aliasing Type Systems: 2012-2022.- Structured Aliasing. .This book presents a survey of the state-of-the-art on techniques for dealing with aliasing in object-oriented programming. It marks the 20th anniversary of the paper The Geneva Convention On The Treatment of Object Aliasing by John Hogg, Doug Lea, Alan Wills, Dennis de Champeaux and Richard Holt. The 22 revised papers were carefully reviewed to ensure the highest quality.The contributions are organized in topical sections on the Geneva convention, ownership, concurrency, alias analysis, controlling effects, verification, programming languages, and visions.Programming and Software Engineering ;7850Computer programmingOperating systems (Computers)Software engineeringProgramming languages (Electronic computers)ComputersProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Operating Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I14045Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Programming Languages, Compilers, Interpretershttps://scigraph.springernature.com/ontologies/product-market-codes/I14037History of Computinghttps://scigraph.springernature.com/ontologies/product-market-codes/I24024Computer programming.Operating systems (Computers)Software engineering.Programming languages (Electronic computers)Computers.Programming Techniques.Operating Systems.Software Engineering.Programming Languages, Compilers, Interpreters.History of Computing.005.117Clarke Dave,‏1971-edthttp://id.loc.gov/vocabulary/relators/edtWrigstad Tobiasedthttp://id.loc.gov/vocabulary/relators/edtNoble James1967-edthttp://id.loc.gov/vocabulary/relators/edtMiAaPQMiAaPQMiAaPQBOOK9910739420403321Aliasing in Object-Oriented Programming2830490UNINAThis Record contains information from the Harvard Library Bibliographic Dataset, which is provided by the Harvard Library under its Bibliographic Dataset Use Terms and includes data made available by, among others the Library of Congress