-
中文图书1.反应式和并发系统的时序逻辑 TP311.11/25
馆藏复本:2
可借复本:0 (美)佐哈尔·曼纳(Zohar Manna),(以)艾米尔·伯努利(Amir Pnueli)著
清华大学出版社 2023
(0) 馆藏 -
中文图书2.物流与供应链创新手册:颠覆性技术与新型商业模式:disruptive technologies and new business models F252.1/140
馆藏复本:2
可借复本:2 (英) 约翰·曼纳斯-贝尔, 肯·莱著
人民邮电出版社 2021.8
(0) 馆藏

