This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers …
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory …
This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 - April 1, 2021, as part of the European Joint Conferences on Theory …
This textbook introduces basic and advanced embedded system topics through ARM Cortex M microcontrollers, covering programmable microcontroller usage starting from basic to advanced concepts using the STMicroelectronics Discovery development board. Designed for use in upper-leve…
Model Checking, Synthesis, and Learning -- From Linear Temporal Logics to Büchi Automata: The Early and Simple Principle -- Cause-Effect Reaction Latency In Real-Time Systems -- Quantitative Analysis of Interval Markov Chains -- Regular Model Checking: Evolution and Perspectives…
System administrators need libraries of solutions that are ingenious but understandable. They don't want to reinvent the wheel, but they don't want to reinvent filesystem management either! Expert Shell Scripting is the ultimate resource for all working Linux, Unix, and OS X sys…
System administrators need libraries of solutions that are ingenious but understandable. They don't want to reinvent the wheel, but they don't want to reinvent filesystem management either! Expert Shell Scripting is the ultimate resource for all working Linux, Unix, and OS X sys…
by Brinkschulte, Uwe, Ungerer, Theo
fromEXamen.press
by Brinkschulte, Uwe, Ungerer, Theo
fromEXamen.press
Dieses Lehrbuch gibt zunächst eine Darstellung der grundlegenden Prinzipien der Mikrocontroller und Mikroprozessoren. Anschließend wird detailliert der neueste Stand der Technik dieser Hardware-Bausteine erklärt, und es werden alle wichtigen Entwicklungstendenzen bis hin zum akt…
The main purpose of this book is to serve as a textbook for courses on robot control at junior/senior undergraduate or postgraduate level. It presents in a simple and systematic fashion relevant problems of robot control as well as approaches and methods for their solution which…