Electronic Books

Total Books: 1 - 4 /4
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
978-3-030-61467-6
Leveraging Applications of Formal Methods, Verification and Validation: Applications : 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III

The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging ...

Continue reading
978-1-84800-215-9
Networked Control Systems : Theory and Applications

Networked Control Systems presents the most recent results in stability and robustness analysis as well as new developments ...

Continue reading
978-1-84628-202-7
The Quintessential PIC® Microcontroller

The Quintessential PIC® Microcontroller deals with the central `intelligence’ of most smart embedded digital systems and ...

Continue reading
Total Books: 1 - 4 /4