Neuropsychiatric Complications of HIV : A Challenging Health Concern

EEG-Based Diagnosis of Alzheimer Disease : A Review and Novel Approaches for Feature Extraction and Classification Techniques

Encyclopedia of Inland Waters

Balancing a Sauropod : The Physiology of a Dinosaur

Encyclopedia of Nanomaterials

Comprehensive Clinical Psychology

Evidence-Based Nutrition and Clinical Evidence of Bioactive Foods in Human Health and Disease

Modeling, Operation, and Analysis of DC Grids : From High Power DC Transmission to DC Microgrids

Synthetic and Enzymatic Modifications of the Peptide Backbone

Advances in Applied Microbiology

Comprehensive Energy Systems

Nanoengineering in Musculoskeletal Regeneration

The Design of Covalent-Based Inhibitors

Mitochondrial Metabolism : An Approach to Disease Management

Digital Health : Exploring Use and Integration of Wearables

Nanofluid Boiling

Rearrangements with Migration to Electrophilic Heteroatomic Centers : Timeless Classics in Organic Synthesis

Salt, Fat and Sugar Reduction : Sensory Approaches for Nutritional Reformulation of Foods and Beverages

Lignocellulosic Biomass in Biotechnology

Encyclopedia of Forensic Sciences

ESL Design and Verification : A Prescription for Electronic System Level Methodology

High-Level Verification : Methods and Tools for Verification of System-Level Designs

System-Level Design Techniques for Energy-Efficient Embedded Systems

Reconfigurable System Design and Verification

Reconfigurable System Design and Verification

Electronic Design Automation for IC System Design, Verification, and Testing

Electronic Design Automation for IC System Design, Verification, and Testing

System-on-a-Chip Verification : Methodology and Techniques

ESL Models and their Application : Electronic System Level Design and Verification in Practice

EDA for IC System Design, Verification, and Testing

EDA for IC System Design, Verification, and Testing

Embedded System Design : Modeling, Synthesis and Verification

Scalable Techniques for Formal Verification

System-level Techniques for Analog Performance Enhancement

System Verification : Proving the Design Solution Satisfies the Requirements

Practical Design Verification

System-Level Design Methodologies for Telecommunication

Electronics System Design Techniques for Safety Critical Applications

Verification by Error Modeling : Using Testing Techniques in Hardware Verification

Computer-Aided Verification : A Special Issue of Formal Methods In System Design on Computer-Aided Verification