LEADER 05559nam 2200637 450 001 9910820971903321 005 20230120014208.0 010 $a1-4831-4845-9 035 $a(CKB)3710000000029799 035 $a(EBL)1828990 035 $a(SSID)ssj0001387096 035 $a(PQKBManifestationID)11764037 035 $a(PQKBTitleCode)TC0001387096 035 $a(PQKBWorkID)11378717 035 $a(PQKB)10315369 035 $a(MiAaPQ)EBC1828990 035 $a(EXLCZ)993710000000029799 100 $a20141118h19811981 uy 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aAdvances in biotechnology$hVolume I$iScientific and engineering principles $eproceedings of the Sixth International Fermentation Symposium held in London, Canada, July 20-25, 1980 /$fgeneral editor, Murray Moo-Young ; edited by Campbell W. Robinson and Claude Vezina 210 1$aOntario, Canada :$cPergamon Press,$d1981. 210 4$dİ1981 215 $a1 online resource (811 p.) 225 0 $aAdvances in Biotechnology ;$vVolume I 300 $aDescription based upon print version of record. 311 $a1-322-27399-5 311 $a0-08-025383-0 320 $aIncludes bibliographical references at the end of each chapters and indexes. 327 $aFront Cover; Scientific and Engineering Principles; Copyright Page; Editorial Board; Table of Contents; PREFACE; GUEST EDITORIAL I. IBIOCHEMICAL ENGINEERING: WHERE HAS IT BEEN AND WHERE IS IT GOING?; ""TECHNOLOGY-PULL"" AND ""SCIENCE-PUSH""; CURRENT STATE OF BIOCHEMICAL ENGINEERING; SOME SUGGESTIONS AND PROPOSALS; REFERENCES; GUEST EDITORIAL II. GENETICS AND INDUSTRIAL MICROBIOLOGY: STILL FURTHER HORIZONS; Section I:Microbial Cultures: Screening,Improvement, Patents; Chapter 1 . STRAIN IMPROVEMENT PROGRAMS IN ANTIBIOTIC-PRODUCING MICROORGANISMS- PRESENT AND FUTURE STRATEGIES; ABSTRACT 327 $aKEYWORDSINTRODUCTIO; RATIONAL SELECTION PROCEDURES; POTENTIALS FOR R-DNA TECHNOLOGY IN MICROBIAL SELECTION; REFERENCES; Chapter 2. NEW ORGANISMS OF ECONOMIC IMPORTANCE: THE CASE OF FRANKIA; ABSTRACT; KEYWORDS; INTRODUCTION; LEGUMES; ACTINOMYCETES; CONCLUSIONS; ACKNOWLEDGEMENT; REFERENCES; Chapter 3. MIXED CULTURES IN INDUSTRIAL PROCESSES D.E.F. Harrison; ABSTRACT; KEYWORDS; INTRODUCTION; ADVANTAGES OF MIXED CULTURES FOR SCP PRODUCTION; OTHER APPLICATIONS OF MIXED CULTURES; DISADVANTAGES OF MIXED CULTURES; FUTURE PROSPECTS; REFERENCES; Chapter 4. CULTURES AND PATENTS Roman Saliwanchik 327 $aABSTRAGTKEYWORDS; DISCUSSION; CONCLUSION; REFERENCES; Chapter 5. PRODUCTION OF PHARMACOLOGICALLY ACTIVE AGENTS FROM MICROBIAL ORIGIN; ABSTRACT; KEYWORDS; INTRODUCTION; I. PROTEASE INHIBITORS; II. GLYCOSIDASE INHIBITORS; III. INHIBITORS OF HYDROLYTIC ENZYMES LOCATED ON THE CELL SURFACE; REFERENCES; Chapter 6. SCREENING OF BASIDIOMYCETES FOR THE PRODUCTION; ABSTRACT; KEYWORDS; INTRODUCTION; RESULTS AND DISCUSSION; ACKNOWLEDGEMENT; REFERENCES; Chapter 7. SCREENING OF BACTERIAL ISOLATES FOR ANTIGONOCOCCAL ACTIVITIES; ABSTRACT; KEYWORDS; INTRODUCTION; SCREENING; CRUDE PREPARATIONS; CONCLUSION 327 $aACKNOWLEDGEMENTREFERENCES; Chapter 8. ISOLATION OF CARBOXYL PROTEINASES OF MICROBIAL ORIGIN ON PEPSTATIN-SEPHAROSE RESIN; ABSTRACT; KEYWORDS; INTRODUCTION; MATERIALS AND METHODS; RESULTS AND DISCUSSION; REFERENCES; Chaptre 9. RAPID STRAIN SELECTION FOR CITRIC ACID PRODUCTION; ABSTRACT; KEYWORDS; INTRODUCTION; MATERIALS AND METHODS; ACKNOWLEDGEMENT; REFERENCES; Chapter 10. USE OF CERULENIN IN SELECTING IMPROVED MUTANTS OF A DAUNORUBICIN-PRODUCING STREPTOMYCETE; ABSTRACT; KEYWORDS; INTRODUCTION; RESULTS AND DISCUSSION; ACKNOWLEDGEMENTS; REFERENCES 327 $aChapter 11. IMPROVEMENT OF THE DAUNORUBICIN FERMENTATION REALIZED AT 10,000 LITER FERMENTOR SCALEABSTRACT; KEYWORDS; INTRODUCTION; METHOD OF ASSAY FOR DAUNORUBICIN; FERMENTATION; RECOVERY; CONCLUSION; ACKNOWLEDGMENT; REFERENCES; Chapter 12. STUDIES ON THE AVERMECTIN FERMENTATION; ABSTRACT; KEYWORDS; INTRODUCTION; MATERIALS AND METHODS; RESULTS; DISCUSSION; REFERENCES; Chapter 13. THE INFLUENCE OF OXYGEN CONCENTRATION ON MICROBIAL INSECTICIDE PRODUCTION; ABSTRACT; KEYWORDS; INTRODUCTION; MATERIALS AND METHODS; RESULTS, DISCUSSION AND CONCLUSIONS; NOMENCLATURE; REFERENCES 327 $aSection II Recombinant DNA and Microbial Genetics 330 $aAdvances in Biotechnology, Volume I: Scientific and Engineering Principles is the first of a series of three volumes and is based on the proceedings of the Sixth International Fermentation Symposium (IFS-6) held in London, Ontario, Canada, 20-25 July 1980. This volume is organized into 13 sections and contains 111 papers which represent about 80% of the total submitted. Section I contains papers on microbial cultures. Section II presents studies on recombinant DNA and microbial genetics. The papers in Section III deal with plant and animal cell and tissue culture. Section IV examines the micro 606 $aFermentation$vCongresses 606 $aIndustrial microbiology$vCongresses 606 $aBiochemical engineering$vCongresses 615 0$aFermentation 615 0$aIndustrial microbiology 615 0$aBiochemical engineering 676 $a660.28449 702 $aMoo-Young$b Murray 702 $aRobinson$b Campbell W. 702 $aVe?zina$b Claude 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910820971903321 996 $aAdvances in Biotechnology$92498363 997 $aUNINA LEADER 00597oam 2200193z- 450 001 9910714346803321 005 20260430110907.0 035 $a(CKB)4950000000064457 035 $a(DGPO)001097535 035 $a(EXLCZ)994950000000064457 100 $a20231017c2016uuuu -u- - 101 0 $aeng 200 10$aChild Welfare: The Family First Prevention Services Act of 2016 (R44538) [2016] 210 $aWashington, D.C 517 $aChild Welfare 906 $aBOOK 912 $a9910714346803321 996 $aChild Welfare: The Family First Prevention Services Act of 2016 (R44538)$93285974 997 $aUNINA LEADER 01904nam 2200421z- 450 001 9910346893103321 005 20210211 010 $a1000028867 035 $a(CKB)4920000000101591 035 $a(oapen)https://directory.doabooks.org/handle/20.500.12854/52521 035 $a(oapen)doab52521 035 $a(oapen)52521 035 $a(EXLCZ)994920000000101591 100 $a20202102d2012 |y 0 101 0 $aeng 135 $aurmn|---annan 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aA Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler 210 $cKIT Scientific Publishing$d2012 215 $a1 online resource (XXI, 412 p. p.) 311 08$a3-86644-885-6 330 $aThe Java programming language provides safety and security guarantees such as type safety and its security architecture. They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees. From the formal model, we automatically obtain an executable verified compiler to bytecode and a validated virtual machine. 517 $aMachine-Checked, Type-Safe Model of Java Concurrency 517 $aA Machine-Checked, Type-Safe Model of Java Concurrency 606 $aComputer science$2bicssc 610 $aconcurrency 610 $aformal semantics 610 $aJava 610 $amemory model 610 $atype safety 615 7$aComputer science 700 $aLochbihler$b Andreas$4auth$01312138 906 $aBOOK 912 $a9910346893103321 996 $aA Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler$93030734 997 $aUNINA