الكتب الالكترونية

عدد الكتب: 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 ...

اقرأ المزيد
978-3-540-35649-3
Biomedical Image Registration

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

اقرأ المزيد
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 ...

اقرأ المزيد
9781032430836
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 ...

اقرأ المزيد
978-1-4020-8276-4
Cloud-Resolving Modeling of Convective Processes

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

اقرأ المزيد
978-3-540-31614-5
Component-Based Software Development for Embedded Systems

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

اقرأ المزيد
978-1-4020-6975-8
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 ...

اقرأ المزيد
978-3-540-30586-6
Computational Linguistics and Intelligent Text Processing (vol. # 3406)

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

اقرأ المزيد
978-3-540-25974-9
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 ...

اقرأ المزيد
978-3-030-60327-4
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, ...

اقرأ المزيد
978-3-540-77362-7
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 ...

اقرأ المزيد
978-3-030-53288-8
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 ...

اقرأ المزيد
978-3-030-53291-8
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 ...

اقرأ المزيد
978-3-540-30569-9
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 ...

اقرأ المزيد
978-3-540-33691-4
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 ...

اقرأ المزيد
1119674689
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 ...

اقرأ المزيد
978-3-030-13845-5
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 ...

اقرأ المزيد
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 ...

اقرأ المزيد
978-3-540-68947-8
Dependability Metrics : Advanced Lectures

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

اقرأ المزيد
978-3-030-62822-2
Dependable Software Engineering. Theories, Tools, and Applications

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

اقرأ المزيد
عدد الكتب: 21 - 40 /167