熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 其他(可複選) |
搜尋結果共 11 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
Modeling and Analysis of Communicating Systems
|
||
|
Understanding Behaviour of Distributed Systems Using McRl2
This book helps readers easily learn basic model checking by presenting examples, exercises and case... more |
||
|
Establishing a Mechanism-Based Framework for the Corpus-Informed Analysis of Multi-Word Discourse Markers
This book establishes and applies a linguistic framework for the synchronic and diachronic analysis ... more |
||
|
Logical Gates, Circuits, Processors, Compilers and Computers
This undergraduate textbook first introduces basic electronic circuitry before explaining more advan... more |
||
|
Tales of Electrologica: Computers, Software and People
from the University of Amsterdam. Jan Friso Groote is a full professor of Formal Methods at the Eindhoven University of...... more |
||
|
Tales of Electrologica: Computers, Software and People
from the University of Amsterdam. Jan Friso Groote is a full professor of Formal Methods at the Eindhoven University of...... more |
||
|
Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
This book constitutes the proceedings of the 27th International Conference on Formal Methods for Ind... more |
||
|
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe
This open access two-volume set constitutes the proceedings of the 27th International Conference on ... more |
||
|
Tools and Algorithms for the Construction and Analysis of Systems: 27th International Conference, Tacas 2021, Held as Part of the European Joint Confe
This open access two-volume set constitutes the proceedings of the 27th International Conference on ... more |
||
|
Understanding Behaviour of Distributed Systems Using McRl2
This book helps readers easily learn basic model checking by presenting examples, exercises and case... more |
||
|
Modeling and Analysis of Communicating Systems
Rigorous theory and real-world applications for modeling and analysis of the behavior of complex com... more |
