 |
|
|
 Using Event-B for Critical Device Software Systems
Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techniques, this book adopts a rigorous safety assessment approach explored via several layers (from requirements analysis to automatic source code generation).
This is assessed... |  |  Bone Marrow and Stem Cell Transplantation (Methods in Molecular Biology)
The second edition of Bone Marrow and Stem Cell Transplantation expands upon the previous edition with current, detailed methods on HLA, minor-HLA and Killer Immunoglobulin Like Receptor typing. With new chapters on immunophenotyping and functional characterization of stem cells are included. Written in the highly successful Methods... |  |  Protein Structure Prediction (Methods in Molecular Biology)
Protein Structure Prediction, Third Edition expands on previous editions by focusing on software and web servers. With new chapters that provide instructions on how to use a computational method with examples of prediction by the method. Written in the highly successful Methods in Molecular Biology series format, chapters... |
|
|
|
| Result Page: 83 82 81 80 79 78 77 76 75 74 73 72 71 70 69 68 67 66 65 |