Electronic Books

Total Books: 21 - 40 /167

Biomarkers in Drug Discovery and Development: A Handbook of Practice, Application, and Strategy / Ramin Rahbari, Jonathan Van Niewaal, Michael R. Bleavins

Discusses biomarker characterization and validation and applications throughout drug discovery and development. Explains ...

Biomedical Image Registration

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Biomedical Image Registration. ...

COVID-19 : Diagnosis and Treatment / Ban Al-Dwihy ; Dina Al-Khoder

The global coronavirus disease 2019 (COVID- 19) has presented major challenges for clinical laboratories, from initial diagnosis ...

Cleaning Validation: Practical Compliance Approaches for Pharmaceutical Manufacturing / Destin A. LeBlanc

Timely coverage of cleaning validation for the pharmaceutical industry, a dynamic area in terms of health-based limits. Encourages ...

Cloud-Resolving Modeling of Convective Processes

The book introduces the framework of cloud-resolving model, methodologies for analysis of modeling outputs, and validation ...

Component-Based Software Development for Embedded Systems

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...

Composites with Micro- and Nano-Structure : Computational Modeling and Experiments

The book contains atomistic and continuum numerical methods and experimental validation for composite materials reinforced ...

Computational Linguistics and Intelligent Text Processing (vol. # 3406)

This book constitutes the refereed proceedings of the 6th International Conference on Computational Linguistics and Intelligent ...

Computational Methods in Systems Biology (vol. # 3082)

present CMBSlib, a library of Computational Models of Biological Systems. It is aimed at providing a list of test problems ...

Computational Methods in Systems Biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020, Proceedings

This book constitutes the refereed proceedings of the 18th International Conference on Computational Methods in Systems Biology, ...

Computational Methods in Transport: Verification and Validation

The focus of this book deals with a cross cutting issue affecting all particle transport algorithms and applications; verification ...

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Computer Aided Verification 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II

The two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer ...

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3362)

History based access control and secure information flow The spec# programming system Mastering test generation from smart ...

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (vol. # 3956)

This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of ...

Data Science in Theory and Practice: Techniques for Big Data Analytics and Complex Data Sets / Maria Cristina Mariani, Osei Kofi Tweneboah, Maria Pia Beccar-Varela

Delivers a comprehensive treatment of the mathematical and statistical models useful for analyzing data sets arising in various ...

Data and Text Processing for Health and Life Sciences

This book is a step-by-step introduction on how shell scripting can help solve many of the data processing tasks that Health ...

Demystifying Climate Models : A Users Guide to Earth System Models

This book demystifies the models we use to simulate present and future climates, allowing readers to better understand how ...

Dependability Metrics : Advanced Lectures

This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...

Dependable Software Engineering. Theories, Tools, and Applications

This book constitutes the proceedings of the 6th International Symposium on Dependable Software Engineering, SETTA 2020, ...

Total Books: 21 - 40 /167