-
中文图书1.反应式和并发系统的时序逻辑 TP311.11/25
馆藏复本:2
可借复本:0 (美)佐哈尔·曼纳(Zohar Manna),(以)艾米尔·伯努利(Amir Pnueli)著
清华大学出版社 2023
(0) 馆藏 -
中文图书2.深入理解InfluxDB:时序数据库详解与实践 TP273/210
馆藏复本:2
可借复本:2 郑强, 张伟, 刘爽著
清华大学出版社 2023.4
(0) 馆藏
馆藏复本:2
可借复本:0 (美)佐哈尔·曼纳(Zohar Manna),(以)艾米尔·伯努利(Amir Pnueli)著
清华大学出版社 2023
(0) 馆藏
馆藏复本:2
可借复本:2 郑强, 张伟, 刘爽著
清华大学出版社 2023.4
(0) 馆藏