LEADER 04024oam 2200733I 450 001 9910458778203321 005 20200520144314.0 010 $a0-429-15000-8 010 $a1-4200-7123-8 024 7 $a10.1201/b10263 035 $a(CKB)2670000000060713 035 $a(EBL)624987 035 $a(OCoLC)693271757 035 $a(SSID)ssj0000411167 035 $a(PQKBManifestationID)11270240 035 $a(PQKBTitleCode)TC0000411167 035 $a(PQKBWorkID)10355841 035 $a(PQKB)11152154 035 $a(MiAaPQ)EBC624987 035 $a(Au-PeEL)EBL624987 035 $a(CaPaEBR)ebr10433630 035 $a(CaONFJC)MIL692802 035 $a(EXLCZ)992670000000060713 100 $a20180331d2011 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aAdvances in fresh-cut fruits and vegetables processing /$fedited by Olga Martin-Belloso, Robert Soliva-Fortuny 210 1$aBoca Raton :$cCRC Press,$d2011. 215 $a1 online resource (402 p.) 225 1 $aFood preservation technology series 300 $aDescription based upon print version of record. 311 $a1-4665-2970-9 311 $a1-322-61520-9 311 $a1-4200-7121-1 320 $aIncludes bibliographical references and index. 327 $aFront cover; Contents; Preface; The Editors; Contributors; Chapter 1: The Fresh-Cut Fruit and Vegetables Industry; Chapter 2: Regulatory Issues Concerning the Production of Fresh-Cut Fruits and Vegetables; Chapter 3: Microbiological and Safety Aspects of Fresh-Cut Fruits and Vegetables; Chapter 4: Physiology of Fresh-Cut Fruits and Vegetables; Chapter 5: Factors Affecting Sensory Quality of Fresh-Cut Produce; Chapter 6: Nutritional and Health Aspects of Fresh-Cut Vegetables; Chapter 7: Fruits and Vegetables for the Fresh-Cut Processing Industry 327 $aChapter 8: Treatments to Ensure Safety of Fresh-Cut Fruits and VegetablesChapter 9: Use of Additives to Preserve the Quality of Fresh-Cut Fruits and Vegetables; Chapter 10: Modified Atmosphere Packaging of Fruits and Vegetables; Chapter 11: Use of Edible Coatings for Fresh-Cut Fruitsand Vegetables; Chapter 12: Hazard Analysis and Critical Control Point andHygiene Considerations for the Fresh-CutProduce Industry; Chapter 13: Process Design ,Facility, and Equipment Requirements; Chapter 14: Quality Assurance of Fresh-Cut Commodities 327 $aChapter 15: Future Trends in Fresh-Cut Fruit and Vegetable ProcessingBack cover 330 $aTaking a multidisciplinary approach, this work explores the basics and the more recent innovations in fresh-cut fruit and vegetable processing. It addresses scientific progress in the fresh-cut area and discusses the industry and the market for these commodities. In addition, the book covers the regulations that affect the quality of the final products and their processing as well as consumers attitude and sensory perceptions. The design of plants and equipment is also presented, taking into account engineering aspects, safety, and HACCP guidelines. Finally, innovations with regard to healthy and attractive products are examined--$cProvided by publisher. 410 0$aFood preservation technology series. 606 $aFood contamination$xPrevention 606 $aFruit$xPreservation 606 $aFruit$xProcessing 606 $aVegetables$xPreservation 606 $aVegetables$xProcessing 608 $aElectronic books. 615 0$aFood contamination$xPrevention. 615 0$aFruit$xPreservation. 615 0$aFruit$xProcessing. 615 0$aVegetables$xPreservation. 615 0$aVegetables$xProcessing. 676 $a664/.8 701 $aMartin-Belloso$b Olga$0859518 701 $aSoliva Fortuny$b Robert$0859519 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910458778203321 996 $aAdvances in fresh-cut fruits and vegetables processing$91918273 997 $aUNINA LEADER 03416nam 2200697Ia 450 001 9910966771403321 005 20200520144314.0 010 $a1-4416-1678-0 010 $a1-60750-376-X 010 $a600-00-1439-2 035 $a(CKB)1000000000765302 035 $a(EBL)448770 035 $a(SSID)ssj0000338455 035 $a(PQKBManifestationID)11254932 035 $a(PQKBTitleCode)TC0000338455 035 $a(PQKBWorkID)10295806 035 $a(PQKB)10382127 035 $a(Au-PeEL)EBL448770 035 $a(CaPaEBR)ebr10309230 035 $a(CaONFJC)MIL577647 035 $a(OCoLC)491253312 035 $a(MiAaPQ)EBC448770 035 $a(EXLCZ)991000000000765302 100 $a20081220d2009 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 00$aHandbook of satisfiability /$fedited by Armin Biere ... [et al.] 205 $a1st ed. 210 $aAmsterdam, The Netherlands ;$aWashington, DC $cIOS Press$dc2009 215 $a1 online resource (980 p.) 225 1 $aFrontiers in artificial intelligence and applications,$x0922-6389 ;$vv. 185 300 $aDescription based upon print version of record. 311 08$a1-58603-929-6 320 $aIncludes bibliographical references and indexes. 327 $aTitle page; Contents; Part I. Theory and Algorithms; Chapter 1. A History of Satisfiability; Chapter 2. CNF Encodings; Chapter 3. Complete Algorithms; Chapter 4. CDCL Solvers; Chapter 5. Look-Ahead Based SAT Solvers; Chapter 6. Incomplete Algorithms; Chapter 7. Fundaments of Branching Heuristics; Chapter 8. Random Satisfiability; Chapter 9. Exploiting Runtime Variation in Complete Solvers; Chapter 10. Symmetry and Satisfiability; Chapter 11. Minimal Unsatisfiability and Autarkies; Chapter 12. Worst-Case Upper Bounds; Chapter 13. Fixed-Parameter Tractability 327 $aPart II. Applications and ExtensionsChapter 14. Bounded Model Checking; Chapter 15. Planning and SAT; Chapter 16. Software Verification; Chapter 17. Combinatorial Designs by SAT Solvers; Chapter 18. Connections to Statistical Physics; Chapter 19. MaxSAT; Chapter 20. Model Counting; Chapter 21. Non-Clausal SAT and ATPG; Chapter 22. Pseudo-Boolean and Cardinality Constraints; Chapter 23. QBF Theory; Chapter 24. QBFs reasoning; Chapter 25. SAT Techniques for Modal and Description Logics; Chapter 26. Satisfiability Modulo Theories; Chapter 27. Stochastic Boolean Satisfiability; Subject Index 327 $aCited Author IndexContributing Authors and Affiliations 330 $aA collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers. 410 0$aFrontiers in artificial intelligence and applications ;$vv. 185. 606 $aPropositional calculus$vCongresses 606 $aDecision making$vCongresses 606 $aComputer algorithms$vCongresses 606 $aAlgebra, Boolean$vCongresses 615 0$aPropositional calculus 615 0$aDecision making 615 0$aComputer algorithms 615 0$aAlgebra, Boolean 676 $a006.3 686 $aST 125$2rvk 686 $aST 300$2rvk 701 $aBiere$b Armin$01193224 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910966771403321 996 $aHandbook of satisfiability$94381938 997 $aUNINA