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