Practical Formal Software Engineering (Wanting the Software You Get) || Logic
- 作者Mills, Bruce
- 期第2期
- 文件大小212.51KB
- 发表时间2009
- DOI10.1017/cbo9780511813290.008
- 页码24-42
[Entomology in Focus] Short Views on Insect Genomics and Proteomics Volume 3 ||Raman, Chandrasekar; Goldsmith, Marian R.; Agunbiade, Tolulope A. · 2015
[Entomology in Focus] Short Views on Insect Genomics and Proteomics Volume 4 ||Raman, Chandrasekar; Goldsmith, Marian R.; Agunbiade, Tolulope A. · 2016
[Entomology in Focus] Short Views on Insect Genomics and Proteomics Volume 4 || Insect BiotechnologyRaman, Chandrasekar; Goldsmith, Marian R.; Agunbiade, Tolulope A. · 2016
[Entomology in Focus] Short Views on Insect Genomics and Proteomics Volume 3 || Insect Regulatory GenomicsRaman, Chandrasekar; Goldsmith, Marian R.; Agunbiade, Tolulope A. · 2015
[Entomology in Focus] Short Views on Insect Genomics and Proteomics Volume 4 || Selenocysteine Extinctions in InsectsRaman, Chandrasekar; Goldsmith, Marian R.; Agunbiade, Tolulope A. · 2016
[Entomology in Focus] Short Views on Insect Genomics and Proteomics Volume 3 || Updating Genomic Data of LepidopteraRaman, Chandrasekar; Goldsmith, Marian R.; Agunbiade, Tolulope A. · 2015
[Entomology in Focus] Short Views on Insect Genomics and Proteomics Volume 4 || Spider Silks and Their Biotechnological ApplicationsRaman, Chandrasekar; Goldsmith, Marian R.; Agunbiade, Tolulope A. · 2016
[Entomology in Focus] Short Views on Insect Genomics and Proteomics Volume 4 || Lepidopteran Peritrophic Matrix Composition, Function, and FormationRaman, Chandrasekar; Goldsmith, Marian R.; Agunbiade, Tolulope A. · 2016