Electronic Books

Total Books: 1 - 20 /21
978-3-540-79701-2
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 ...

Continue reading
978-3-540-77505-8
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

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

Continue reading
978-3-540-77505-8
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

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

Continue reading
978-3-540-31648-0
Architecting Dependable Systems III

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

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-32092-0
Dependable Computing

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

Continue reading
978-3-540-74964-6
Domain Modeling and the Duration Calculus

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

Continue reading
978-3-540-74964-6
Domain Modeling and the Duration Calculus

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

Continue reading
978-3-540-36411-5
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 ...

Continue reading
978-3-030-60910-8
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 ...

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

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

Continue reading
978-1-4842-7480-4
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 ...

Continue reading
978-0-387-71718-0
Just-in-Time Scheduling

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

Continue reading
978-1-84628-251-5
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 ...

Continue reading
978-3-540-32093-7
Model Driven Architecture - Foundations and Applications

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

Continue reading
978-3-540-49991-6
Principles of Distributed Systems (vol. # 4305)

This book constitutes the refereed proceedings of the 10th International Conference on Principles of Distributed Systems, ...

Continue reading
978-1-4020-5509-6
Real-Time Applications with Stochastic Task Execution Times

Real-Time Applications with Stochastic Task Execution Times presents three approaches to the analysis of the deadline miss ...

Continue reading
978-1-84628-196-9
Reconfigurable Distributed Control

Reconfigurable Distributed Control helps meet the challenge of applying distributed control to dynamical systems, integrating ...

Continue reading
978-3-540-31666-4
Reliable Software Technology – Ada-Europe 2005

Started on the inspired initiative of Prof. Alfred Strohmeier back in 1996, and spawned from the annual Ada-Europe conference ...

Continue reading
Total Books: 1 - 20 /21