Electronic Books

Total Books: 21 - 40 /167
NoIMG
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 ...

Lire la suite
Biomedical Image Registration

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

Lire la suite
NoIMG
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 ...

Lire la suite
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 ...

Lire la suite
Cloud-Resolving Modeling of Convective Processes

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

Lire la suite
Component-Based Software Development for Embedded Systems

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

Lire la suite
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 ...

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

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

Lire la suite
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 ...

Lire la suite
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, ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
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 ...

Lire la suite
NoIMG
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 ...

Lire la suite
Dependability Metrics : Advanced Lectures

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

Lire la suite
Dependable Software Engineering. Theories, Tools, and Applications

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

Lire la suite
Total Books: 21 - 40 /167