熱門搜尋
分類(單選) |
顯示所有篩選
|
---|---|
配送方式(可複選) | |
其他(可複選) |
搜尋結果共 4 筆, 頁數 1 / 1
呈現:
Model Checking Software: 27th International Symposium, Spin 2021, Virtual Event, July 12, 2021, Proceedings
This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking... more |
|||
Joris Laarman: Lab
inventor Joris Laarman (born 1979), who works at the intersection of design, art and engineering. Part of the recent...... more |
|||
Getting on Message: Challenging The Christian Right From The Heart Of The Gospel
In the 2004 election, 80 percent of those who claimed "moral values" was the most important issue af... more |
|||
Nuclear Pacifism: ’Just War’ Thinking Today
|