Electronic Books

Total Books: 2721 - 2740 /4873

This book introduces the notions and methods of formal logic from a computer science standpoint, covering propositional logic, ...

This book constitutes the refereed proceedings of the 15th International Conference on Logic for Programming, Artificial ...

This volumecontainsa selectionofthe the paperspresentedatthe 17thInter- tional Symposium on Logic-Based Program Synthesis ...

The sources of new ideas and methods include practical developments in areas such as neural networks, quantum computation, ...

This textbook covers logical and relational learning in depth, and hence provides an introduction to inductive logic programming ...

The editors and authors are authorities on these specification languages and their application. Dedicated chapters address: ...

This book appears in the authoritative series reporting the international research and development activities conducted by ...

This book offers low-cost and rapid molecular assays for the characterization of mutant plant germplasm. Detailed protocols ...

Learning the diagnostic elements of lung pathology requires not only great familiarity with a wide diversity of cases, but ...

This book presents the result of research and reflections of more than twenty years on the links that exist between Yi Jing ...

This book contains a detailed and complete demonstration of the existence of an equivariate isomorphism between the Lubin-Tate ...

M-health: Emerging Mobile Health Systems presents recent advances in this area and explores future trends in the applications ...

MATLAB is used in a wide range of applications in geosciences, such as image processing in remote sensing, generation and ...

MATLAB® is used in a wide range of applications in geosciences, such as image processing in remote sensing, generation and ...

This book introduces a new knowledge representation model called MDATA (Multi-dimensional Data Association and inTelligent ...

MDCT: From Protocols to Practice tackles contemporary and topical issues in MDCT technology and applications. This volume ...

Computed tomography (CT) is the most rapidly evolving medical imaging technology. This book describes current examination ...

Micro-Electro Mechanical Systems (MEMS) is the integration of mechanical elements, sensors, actuators, and electronics on ...

The 96 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 363 submissions. ...

The book provide a basic understanding of the fundamentals, implementation, and of MIMO techniques. For easier comprehension, ...

Total Books: 2721 - 2740 /4873