With information and scale as central themes, this comprehensive survey explains how to handle real problems in astronomical ...
اقرأ المزيد
It presents the normal appearances on the most frequently used imaging techniques, including conventional radiology, ultrasound, ...
اقرأ المزيد
Enables readers to observe the anatomy from the same view as seen during invasive clinical procedures. This is critical for ...
اقرأ المزيد
A visual guide to the complex and inter-related diseases of psoriatic arthritis and psoriasis, this volume contains more ...
اقرأ المزيد
During recent years, FAF (Fundus autofluorescence) imaging has been shown to be useful in various retinal diseases with regard ...
اقرأ المزيدThis book records the state of the art in research on mathematics-related affect. It discusses the concepts and theories ...
اقرأ المزيد
This book will examine the implications of digitalization for the understanding of humanity, conceived as a community of ...
اقرأ المزيد
Offers a complete course in one book for students in all years of undergraduate pharmacy and pharmaceutical sciences degrees. ...
اقرأ المزيد
A comprehensive textbook covering the design of dosage forms and all aspects of drug delivery systems. Pharmaceutics in its ...
اقرأ المزيد
"Auralization" is the technique of creation and reproduction of sound on the basis of computer data. With this tool is ...
اقرأ المزيد
This book constitutes the refereed proceedings of 32nd International Colloquium on Automata, Languages and Programming ICALP ...
اقرأ المزيد
ICALP is a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein1972 ...
اقرأ المزيد
a series of annual conferences of the European Association for Theoretical Computer Science (EATCS) which frsttookplacein ...
اقرأ المزيد
This book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held ...
اقرأ المزيد
This book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions ...
اقرأ المزيد
This book discusses and proposes techniques for development of an automated multi-camera surveillance system for outdoor ...
اقرأ المزيد
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
اقرأ المزيد
It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and ...
اقرأ المزيد
This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...
اقرأ المزيد