Electronic Books

Total Books: 21 - 40 /179

Attention in Cognitive Systems. Theories and Systems from an Interdisciplinary Viewpoint

The embodied nature of sensory-motor intelligence requires a continuous and focused interplay between the control of motor ...

Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automated Technology for Verification and Analysis

This book presented theoretical methods to achieve correct software or hardware systems, including both functional and non ...

Automotive Software- Connected Services in Mobile Networks

Software development for the automotive domain is currently subject to a silent revolution. On the one hand, software has ...

Biologically Inspired Approaches to Advanced Information Technology

This book contains 30 articles and three abstracts of invited talks presented at The Second International Workshop on Biologically ...

Business Intelligence for the Real-Time Enterprises

The book includes different aspects in the lifecycle of business intelligence on very large enterprise-wide operational real-time ...

Business Intelligence for the Real-Time Enterprises

The book includes different aspects in the lifecycle of business intelligence on very large enterprise-wide operational real-time ...

CONCUR 2005 - Concurrency Theory

This volume contains the papers presented at CONCUR 2005, the 16th - ternational Conference on Concurrency Theory. The purpose ...

Central European Functional Programming School

This volume presents eight carefully revised texts of selected lectures given by leading researchers of the field at the ...

Combinatorial Image Analysis (vol. # 4040)

This volume constitutes the refereed proceedings of the 11th International Workshop on Combinatorial Image Analysis, IWCIA ...

Communication System Design Using DSP Algorithms with Laboratory Experiments for the TMS320C6713¿ DSK

Designed for senior electrical engineering students, this textbook explores the theoretical concepts of digital signal processing ...

Compiler Construction (vol. # 3923)

ETAPS 2006 was the ninth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual ...

Compiling ESTEREL

Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution ...

Component-Based Software Development for Embedded Systems

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...

Component-Based Software Engineering : 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008. Proceedings

This book constitutes the refereed proceedings of the 11th International ACM SIGSOFT Symposium on Component-Based Software ...

Computational Cognitive Modeling and Linguistic Theory

This book introduces a general framework that allows natural language researchers to enhance existing competence theories ...

Computer Safety, Reliability, and Security (vol. # 3688)

This book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and ...

Condition Monitoring and Control for Intelligent Manufacturing

Manufacturing systems and processes are becoming increasingly complex, making more rational decision-making in process control ...

Contrast-Enhanced Ultrasound in Clinical Practice

Concomitant with the improvement of contrast agents, different contrast-specific imaging modalities have been developed which, ...

Control and Scheduling Codesign : Flexible Resource Management in Real-Time Control Systems

Recent evolutionary advances in information and communication technologies give rise to a new environment for Real Time Control ...

Total Books: 21 - 40 /179