Paramita Jurnal Vol 29 No 1 2019 (Rak 8 - O : Bahasa, Sastra & Budaya)
Mobile Resource Guarantees for Smart Devices -- History-Based Access Control and Secure Information Flow -- The Spec# Programming System: An Overview -- Mastering Test Generation from Smart Card Software Formal Models -- A Mechanism for Secure, Fine-Grained Dynamic Provisioning of Applications on Small Devices -- ESC/Java2: Uniting ESC/Java and JML -- A Type System for Checking Applet Isolation…
Introduction -- Statistics -- Yield Statistics -- Area Dependence of the Yield -- Statistics of Embedded Object Fails -- Fail Commonalities -- Spatial Patterns -- Test Coverage and Test Fallout -- Logic Diagnosis -- Slat Based Diagnosis -- Data Collection Requirements -- Appendix A. Distribution of IC Fails -- Appendix B. General Yield Model -- Appendix C. Simplified Center-Satellite Model -- A…
Harmful Cyanobacteria: From mass mortalities to management measures -- Molecular Biology Of Cyanobacterial Toxins: Genetic basis of microcystin production -- Dynamics Of Cyanobacterial Toxins: Sources of variability in microcystin concentrations -- Nutrient Limitation Of Freshwater Cyanobacteria: Tools to monitor phosphorus limitation at the individual level -- Nutrient Limitation Of Marine Cya…
Indonesian Journal of Urology Vol. 27 No. 1 January 2019 (Rak 6-K : Kedokteran & Kesehatan)
rak 823
Acta Medica Indonesiana, Vol 51, Number 2, April 2019 (RAK 6-K : Kedokteran dan Kesehatan)