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