Electronic Books

Total Books: 1 - 20 /27

Ada 2005 Rationale : The Language, The Standard Libraries

The primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

This book cover theory, practice, applications, and experiences related to secure software.

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

This book cover theory, practice, applications, and experiences related to secure software.

Architecting Dependable Systems III

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...

Component-Based Software Development for Embedded Systems

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

Condition Monitoring and Control for Intelligent Manufacturing

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

Dependable Computing

Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...

Domain Modeling and the Duration Calculus

The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...

Domain Modeling and the Duration Calculus

The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...

Embedded Computer Systems: Architectures, Modeling, and Simulation (vol. # 4017)

This book constitutes the refereed proceedings of the 6th International Workshop on Systems, Architectures, Modeling, and ...

Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in ...

Embedded Systems Design

Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, ...

Event-Triggered and Time-Triggered Control Paradigms

Event-Triggered and Time-Triggered Control Paradigms presents a valuable survey about existing architectures for safety-critical ...

Formal Modeling and Analysis of Timed Systems (vol. # 3829)

This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...

Hybrid Systems: Computation and Control (vol. # 3927)

These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...

Introducing Blockchain Applications : Understand and Develop Blockchain Applications Through Distributed Systems / Joseph Thachil George

Deepen your understanding of blockchain technology and develop your own blockchain applications. This book provides a thorough ...

Just-in-Time Scheduling

As the field of Supply Chain Management has matured, maintaining the precise flow of goods to maintain schedules (hence, ...

Manufacturing Execution Systems - MES

The production plants of today develop into modern service centers. Economic efficiency of modern added value is not a property ...

Measurement, Control, and Communication Using IEEE 1588

IEEE 1588, published in November 2002, is a technology new to the engineering community expanding the performance capabilities ...

Model Driven Architecture - Foundations and Applications

Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...

Total Books: 1 - 20 /27