Electronic Books

Total Books: 21 - 40 /179
978-3-540-77343-6
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 ...

Continue reading
978-3-540-75596-8
Automated Technology for Verification and Analysis

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

Continue reading
978-3-540-75596-8
Automated Technology for Verification and Analysis

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

Continue reading
978-3-540-37678-1
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 ...

Continue reading
978-3-540-32438-6
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 ...

Continue reading
978-3-540-73950-0
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 ...

Continue reading
978-3-540-73950-0
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 ...

Continue reading
978-3-540-31934-4
CONCUR 2005 - Concurrency Theory

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

Continue reading
978-3-540-46845-5
Central European Functional Programming School

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

Continue reading
978-3-540-35154-2
Combinatorial Image Analysis (vol. # 4040)

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

Continue reading
978-0-387-74886-3
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 ...

Continue reading
978-3-540-33051-6
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 ...

Continue reading
978-0-387-70628-3
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 ...

Continue reading
978-3-540-31614-5
Component-Based Software Development for Embedded Systems

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

Continue reading
978-3-540-87891-9
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 ...

Continue reading
978-3-030-31846-8
Computational Cognitive Modeling and Linguistic Theory

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

Continue reading
978-3-540-32000-5
Computer Safety, Reliability, and Security (vol. # 3688)

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

Continue reading
978-1-84628-269-0
Condition Monitoring and Control for Intelligent Manufacturing

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

Continue reading
978-88-470-0357-6
Contrast-Enhanced Ultrasound in Clinical Practice

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

Continue reading
978-3-540-78255-1
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 ...

Continue reading
Total Books: 21 - 40 /179