Electronic Books

Total Books: 41 - 60 /194

Comparative Evaluation of XML Information Retrieval Systems

This book covered methodology and seven additional tracks on ad-hoc, natural language processing, heterogeneous collection, ...

Complexity Theory

Complexity theory is the theory of determining the necessary resources for the solution of algorithmic problems and, therefore, ...

Complexity Theory and Cryptology

Modern cryptology employs mathematically rigorous concepts and methods from complexity theory. Conversely, current research ...

Computer Aided Verification

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

Computer Aided Verification

This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and ...

Computer Aided Verification ; 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I

This volume presented automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical ...

Computer Music Modeling and Retrieval (vol. # 3902)

This book constitutes the thoroughly refereed post-proceedings of the Third International Computer Music Modeling and Retrieval ...

Control of Interactive Robotic Interfaces

This monograph deals with energy based control of interactive robotic interfaces and the port-Hamiltonian framework is exploited ...

Cosmeceuticals as Game Changers in the Cosmetic Industry / Mariana Azar ; Batoul El-Halabi ; Massa Salahi

Objectives of this work is to compare conventional cosmetics to biotechnology derived cosmeceuticals in terms of skin anti-aging, ...

Cosmetic dermatology : products and procedures / Draelos, Zoe Kececioglu

Pprovides a highly-illustrated, clinical guide to the full range of cosmetic skin treatments. Bringing together experts from ...

Current Trends in Database Technology - EDBT 2006

This book constitutes the thoroughly refereed joint post-proceedings of nine workshops held as part of the 10th International ...

Decision Making for Complex Socio-Technical Systems

The long-term governance of radioactive waste continues to be a major complex and contentious socio-technical issue worldwide. ...

Dental Image Analysis for Disease Diagnosis

This book provides an overview of computational approaches to medical image examination and analysis in oral radiology utilizing ...

Dependable Computing - EDCC 2005

It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established ...

Designing Accessible Technology

This book was stimulated by the third CWUAAT workshop, held in Cambridge, England in April 2006; the contributors representing ...

Designing a Programming Education System For Children To Program And Simulate Robots / Raghad Hendawi , Muhammed Akkad , Dalaa Khalil and Tammam Zarour ; supervised by Tarek Barhoum and Mohammad Almasri رغد هنداوي ، محمد نور الدين عقاد ، دلع خليل و تمام زعرور ؛ إشراف طارق برهوم و محمد المصري

JuniorCoders is an innovative educational platform designed to introduce programming and robotics concepts to kids and beginners. ...

Diffuse Matter from Star Forming Regions to Active Galaxies

In this volume dedicated to him, introductory reviews to a number of the key processes and to the sources themselves are ...

Earthquakes, Tsunamis and Nuclear Risks : Prediction and Assessment Beyond the Fukushima Accident

This book covers seismic probabilistic risk assessment (S-PRA) and related studies which have become more important to increase ...

Electroactive Polymers for Robotic Application

Electroactive polymers (EAPs) respond to electrical stimulation with large deformations. They are dynamic actuators which ...

Emerging Drugs in Sport / Olivier Rabin, Ornella Corazza

Offers a timely analysis of the new challenges posed by this phenomenon in the anti-doping community. The authors present ...

Total Books: 41 - 60 /194