LEADER 05543nam 2200649Ia 450 001 9910144143303321 005 20170810192834.0 010 $a1-281-08790-4 010 $a9786611087906 010 $a3-527-61130-4 010 $a3-527-61131-2 035 $a(CKB)1000000000375874 035 $a(EBL)482255 035 $a(OCoLC)181369001 035 $a(SSID)ssj0000262532 035 $a(PQKBManifestationID)11215352 035 $a(PQKBTitleCode)TC0000262532 035 $a(PQKBWorkID)10270810 035 $a(PQKB)11791078 035 $a(MiAaPQ)EBC482255 035 $a(EXLCZ)991000000000375874 100 $a20050901d2007 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 14$aThe troubleshooting and maintenance guide for gas chromatographers$b[electronic resource] /$fDean Rood 205 $a4th ed. 210 $aWeinheim $cWiley-VCH ;$a[Chichester $cJohn Wiley, distributor]$dc2007 215 $a1 online resource (347 p.) 300 $aPrevious ed. publshed: Weinheim ; New York : Wiley-VCH, c1999, under title: A practical guide to the care, maintenance, and troubleshooting of capillary gas chromatographic systems. 311 $a3-527-31373-7 320 $aIncludes bibliographical references (p. 317) and index. 327 $aThe Troubleshootingand Maintenance Guide for Gas Chromatographers; Preface; Contents; Intentions and Introduction; 1 Introduction to Capillary Gas Chromatography; 1.1 What Is Gas Chromatography?; 1.2 What Types of Compounds Are Suitable for GC Analysis?; 1.3 The Basic Parts of a Gas Chromatograph; 1.3.1 Gas Supply and Flow Controllers; 1.3.2 Injector; 1.3.3 Capillary Column and Oven; 1.3.4 Detector; 1.3.5 Data System; 1.4 The Chromatogram; 1.5 The Mechanism of Compound Separation; 1.5.1 A Simple Description of the Chromatographic Process 327 $a1.5.2 A Detailed Description of the Chromatographic Process1.6 Factors Affecting Separation; 1.6.1 Stationary Phase; 1.6.2 Compound Structure; 1.6.3 Column Temperature; 2 Basic Definitions and Equations; 2.1 Why Bother?; 2.2 Peak Shapes; 2.2.1 Peak Width (W); 2.2.2 Peak Symmetry; 2.3 Retention; 2.3.1 Retention Time (t(r)); 2.3.2 Adjusted Retention Time (t( ?)(r)); 2.3.3 Retention Factor (k); 2.3.4 Retention Index (I); 2.4 Phase Ratio (?); 2.5 Distribution Constant (K(C)); 2.5.1 K(C) and Column Dimensions; 2.5.2 K(C) and Column Temperature; 2.6 Column Efficiency 327 $a2.6.1 Number of Theoretical Plates (N)2.6.2 Height Equivalent to a Theoretical Plate (H); 2.6.3 Effective Theoretical Plates (N(eff)) and Effective Plate Heights (H(eff)); 2.6.4 Precautions When Using Theoretical Plates; 2.7 Utilization of Theoretical Efficiency (UTE%); 2.8 Separation Factor (?); 2.9 Resolution (R); 2.10 Trennzahl (TZ); 2.11 Column Capacity; 3 Capillary GC Columns: Tubing; 3.1 Fused Silica Capillary Columns; 3.2 Fused Silica Tubing; 3.3 Outer Coating; 3.4 Other Tubing Materials; 3.5 Polyimide Fused Silica Tubing Bending Stress; 4 Capillary GC Columns: Stationary Phases 327 $a4.1 Stationary Phases4.2 Types of Stationary Phases; 4.2.1 Polysiloxanes or Silicones; 4.2.2 Arylene-Modified Polysiloxanes; 4.2.3 Polyethylene Glycols; 4.2.4 Porous Layer Stationary Phases; 4.3 Characteristics of Stationary Phases; 4.3.1 Bonded and Cross-linked Stationary Phases; 4.3.2 Stationary Phase Polarity; 4.3.3 Stationary Phase Selectivity; 4.4 Stationary Phase Interactions; 4.4.1 Dispersion Interaction; 4.4.2 Dipole Interaction; 4.4.3 Hydrogen Bonding Interaction; 4.4.4 When There are Multiple Interactions; 4.5 Stationary Phase Equivalencies; 4.6 Column Temperature Limits 327 $a4.7 Column Bleed4.7.1 What is Column Bleed?; 4.7.2 Measuring Column Bleed; 4.7.3 Sensitivity Considerations; 4.7.4 Detector Considerations; 4.7.5 Minimizing Column Bleed; 4.8 Selecting Stationary Phases; 5 Capillary GC Columns: Dimensions; 5.1 Introduction; 5.2 Column Length; 5.2.1 Column Length and Efficiency/Resolution; 5.2.2 Column Length and Retention; 5.2.3 Column Length and Pressure; 5.2.4 Column Length and Bleed; 5.2.5 Column Length and Cost; 5.2.6 Selecting Column Length; 5.3 Column Diameter; 5.3.1 Column Diameter and Efficiency/Resolution; 5.3.2 Column Diameter and Retention 327 $a5.3.3 Column Diameter and Pressure 330 $aThis fourth edition of the classic guide for every user of gas chromatographic instrumentation is now updated to include such new topics as fast GC using narrow, short columns, electronic pressure control, and basic aspects of quantitative gas chromatography. The author shares his many years of experience in technical support for gas chromatography users, addressing the most common problems, questions and misconceptions in capillary gas chromatography. He structures and presents the material in a concise and practical manner, suitable even for the most inexperienced user without any detail 606 $aGas chromatography 606 $aGas chromatography$xInstruments$xMaintenance and repair 608 $aElectronic books. 615 0$aGas chromatography. 615 0$aGas chromatography$xInstruments$xMaintenance and repair. 676 $a543.0896 676 $a543.85 700 $aRood$b Dean$0997910 701 $aRood$b Dean$0997910 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910144143303321 996 $aThe troubleshooting and maintenance guide for gas chromatographers$92288664 997 $aUNINA LEADER 06156nam 22007095 450 001 996466145703316 005 20200706055711.0 010 $a3-540-47787-X 024 7 $a10.1007/3-540-56922-7 035 $a(CKB)1000000000233985 035 $a(SSID)ssj0000322078 035 $a(PQKBManifestationID)11247757 035 $a(PQKBTitleCode)TC0000322078 035 $a(PQKBWorkID)10282615 035 $a(PQKB)10039296 035 $a(DE-He213)978-3-540-47787-7 035 $a(PPN)155221906 035 $a(EXLCZ)991000000000233985 100 $a20121227d1993 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt 182 $cc 183 $acr 200 10$aComputer Aided Verification$b[electronic resource] $e5th International Conference, CAV'93, Elounda, Greece, June 28 - July 1, 1993. Proceedings /$fedited by Costas Courcoubetis 205 $a1st ed. 1993. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1993. 215 $a1 online resource (X, 510 p.) 225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v697 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-540-56922-7 327 $aLogic synthesis and design verification -- Efficient verification with BDDs using implicitly conjoined invariants -- Parametric circuit representation using inductive Boolean functions -- An iterative approach to language containment -- BDD-Based debugging of designs using language containment and fair CTL -- Reliable hashing without collision detection -- A tool for symbolic program verification and abstraction -- Symbolic equivalence checking -- A decision algorithm for full propositional temporal logic -- Reachability and recurrence in Extended Finite State Machines: Modular Vector Addition Systems -- Automatic generation of network invariants for the verification of iterative sequential systems -- A Graphical Interval Logic toolset for verifying concurrent systems -- Combining model checking and theorem proving to verify parallel processes -- Verification of a multiplier: 64 bits and beyond -- Protocol design for an automated highway system -- Computing accumulated delays in real-time systems -- Reachability analysis of planar multi-linear systems -- An efficient algorithm for minimizing real-time transition systems -- Verification of timing properties of VHDL -- Alternating RQ timed automata -- Timed modal specification ? Theory and tools -- A mechanically verified application for a mechanically verified environment -- Verification of real-time systems using PVS -- The formal verification of an algorithm for interactive consistency under a hybrid fault model -- Computer-assisted simulation proofs -- A verifier and timing analyser for simple imperative programs -- Efficient verification of parallel real-time systems -- Delay analysis in synchronous programs -- Verifying quantitative real-time properties of synchronous programs -- A modal logic for message passing processes -- Functionality decomposition by compositional correctness preserving transformation -- On model-checking for fragments of ?-calculus -- On-the-fly verification with stubborn sets -- All from one, one for all: on model checking using representatives -- Verifying timed behavior automata with input/output critical races -- Refining dependencies improves partial-order verification methods (extended abstract) -- Exploiting symmetry in temporal logic model checking -- Symmetry and model checking -- Generation of reduced models for checking fragments of CTL -- A Structural linearization principle for processes. 330 $aThis volume contains the proceedings of the Fifth Conference on Computer-Aided Verfication, held in Crete, Greece, in June/July 1993. The objective of the CAV conferences is to bring together researchers and practitioners interested in the development anduse of methods, tools, and theories for the computer-aided verification of concurrent systems. The conferences provide an opportunity for comparing various verfication methods and tools that can be used to assist the applications designer. Emphasis is placed on new research results and the application of existing methods to real verification problems. The volume contains abstracts of three invited lectures and full versions of 37 contributed papers selected from 84 submissions.The contributions are grouped into sections on hardware verification with BDDs, methods and tools, theorem proving, analysis of real-time systems, process algebras and calculi, partial orders, and exploiting symmetry. 410 0$aLecture Notes in Computer Science,$x0302-9743 ;$v697 606 $aComputers 606 $aComputer logic 606 $aElectronics 606 $aMicroelectronics 606 $aSoftware engineering 606 $aMathematical logic 606 $aTheory of Computation$3https://scigraph.springernature.com/ontologies/product-market-codes/I16005 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aElectronics and Microelectronics, Instrumentation$3https://scigraph.springernature.com/ontologies/product-market-codes/T24027 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aMathematical Logic and Foundations$3https://scigraph.springernature.com/ontologies/product-market-codes/M24005 615 0$aComputers. 615 0$aComputer logic. 615 0$aElectronics. 615 0$aMicroelectronics. 615 0$aSoftware engineering. 615 0$aMathematical logic. 615 14$aTheory of Computation. 615 24$aLogics and Meanings of Programs. 615 24$aElectronics and Microelectronics, Instrumentation. 615 24$aSoftware Engineering. 615 24$aMathematical Logic and Foundations. 676 $a004.0151 702 $aCourcoubetis$b Costas$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a996466145703316 996 $aComputer Aided Verification$9772228 997 $aUNISA