Adapting Proofs-as-Programs
This book nuds new things to do with an old idea. The proofs-as-programs paradigm constitutes a set of approaches to developing ...
اقرأ المزيدAdaptive Structural Systems with Piezoelectric Transducer Circuitry
Adaptive Structural Systems with Piezoelectric Transducer Circuitry provides a comprehensive discussion of the integration ...
اقرأ المزيد
Adaptronics and Smart Structures
Adaptronic structures and systems can adapt automatically to variable operating and environmental conditions through the ...
اقرأ المزيد
Addressing Global Challenges and Quality Education
The chapters: “Designing an Online Self-Assessment for Informed Study Decisions: The User Perspective”; “Living with ...
اقرأ المزيد
AdvancED Flash Interface Design
Flash allows users to create some amazing interactive interfaces to interact with rich Internet applications, e-learning ...
اقرأ المزيد
AdvancED Flex 3
The book is divided into three parts. The first part discusses the architectural and design aspects of Flex 3 application ...
اقرأ المزيد
Advanced Concepts for Intelligent Vision Systems
This volume collects the papers accepted for presentation at the Ninth International Conference on “Advanced Concepts for ...
اقرأ المزيد
Advanced Concepts in Fluorescence Sensing
"This volume incorporates authoritative small molecule analytical fluorescence sensing reviews specialized enough to be ...
اقرأ المزيد
Advanced Intelligent Paradigms in Computer Games
This book presents a sample of the most recent research concerning the application of computational intelligence techniques ...
اقرأ المزيد
Advanced Strategies in Control Systems with Input and Output Constraints
The different techniques described throughout the book are particularly attractive for industrial applications not only in ...
اقرأ المزيد
Advanced Web and Network Technologies, and Applications
The QOS evaluating model for computational grid nodes put forward can help greatly improving the self-adaptability of resource ...
اقرأ المزيد
Advanced Wired and Wireless Networks
ADVANCED WIRED AND WIRELESS NETWORKS brings the reader a sample of recent research efforts representative of advances in ...
اقرأ المزيدAdvanced groundwater remediation: Active and passive technologies
In the second half of the twentieth century, increasing efforts were made towards containing and cleaning contaminated groundwater. ...
اقرأ المزيد
Advances in Artificial Life
The Artificial Life term appeared more than 20 years ago . Since then the area has developed dramatically, many researchersjoining ...
اقرأ المزيد
Advances in Cryptology - CRYPTO -87
Zero-knowledge interactive proofsystems are a new technique which can be used as a cryptographic tool for designing provably ...
اقرأ المزيد
Advances in Digital Terrain Analysis
Terrain analysis has been an active study field for years and attracted research studies from geographers, surveyors, engineers ...
اقرأ المزيد
Advances in Distribution Theory, Order Statistics, and Inference
Barry Arnold has made fundamental contributions to many different areas of statistics, including distribution theory, Bayesian ...
اقرأ المزيد
Advances in Human-Robot Interaction
The book addresses key issues of human-robot interaction concerned with perception, modelling, control, planning and cognition, ...
اقرأ المزيد
Advances in Meshfree Techniques
In recent years meshless/meshfree methods have gained a considerable attention in engineering and applied mathematics. The ...
اقرأ المزيد
Advances in Multimedia Modeling : 14th International Multimedia Modeling Conference, MMM 2008, Kyoto, Japan, January 9-11, 2008. Proceedings
The papers are organized in topical sections that include material on media understanding, creative media, visual content ...
اقرأ المزيد
