Electronic Books

Total Books: 381 - 400 /3144

The volume covers all the microscopic methods in hematology that form the basis of diagnosis as well as the results of modern ...

This book presents the nuances of dermatology from the African diaspora and the tropics. It not only addresses the dark pigmentation ...

Modern aerospace vehicles, such as the space shuttle, other launch vehicles, and long-range ballistic missiles, do not discriminate ...

In this book, the author defends a unified externalists account of propositional attitudes and reference, and formalizes ...

This book records the state of the art in research on mathematics-related affect. It discusses the concepts and theories ...

Although, bifurcation theory of equations with autonomous and periodic time dependence is a major object of research in the ...

This book presents a collection of the most up-to-date research results in the field of steel development with a focus on ...

The software includes a rich iconography on blood and marrow cells which will complement the knowledge in cytology of hematologists. ...

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...

The two-volume set LNCS 5125 and LNCS 5126 constitutes the refereed proceedings of the 35th International Colloquium on Automata, ...

This book constitutes the thoroughly refereed post-proceedings of the 6th International Workshop on Automated Deduction in ...

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 Third International Joint Conference on Automated Reasoning,The papers ...

This volume contains the research papers presented at the International C- ference on Automated Reasoning with Analytic Tableaux ...

This book constitutes the refereed proceedings of the 18th International Symposium on Automated Technology for Verification ...

It takes advantage of greater computing power and robust algorithms to produce enough candidate models to be sure of providing ...

This collection covers the state of the art in automatic differentiation theory and practice. Practitioners and students ...

This book includes a self-contained approach of the general theory of quadratic forms and integral Euclidean lattices.It ...

Most known examples of Lie superalgebras with a related automorphic form such as the Fake Monster Lie algebra whose reflection ...

This book provides answers to a wide range of these and other questions. Experts from Germany and the USA describe central ...

Total Books: 381 - 400 /3144