-
中文图书1.反应式和并发系统的时序逻辑 TP311.11/620
馆藏复本:5
可借复本:3 (美)佐哈尔·曼纳(ZoharManna),(以)艾米尔·伯努利(AmirPnueli)著
清华大学出版社 2023
(0) 馆藏 -
中文图书2.深入理解InfluxDB:时序数据库详解与实践 TP273/810
馆藏复本:3
可借复本:3 郑强, 张伟, 刘爽著
清华大学出版社 2023
(0) 馆藏 -
中文图书3.时序 (t>0) 宇宙的起源:连接相对论、熵、通信和量子力学:connecting with relativity, entropy, communi... P19/453
馆藏复本:2
可借复本:2 (美) 杨振寰著
北京理工大学出版社 2021
(0) 馆藏 -
中文图书4.InfluxDB原理与实战 TP273/4206
馆藏复本:2
可借复本:2 韩健著
机械工业出版社 2020
(0) 馆藏 -
中文图书5.Timing verification of application-specific integrated circuits.影印版 TN431.2/404
馆藏复本:3
可借复本:2 Farzad Nekoogar
清华大学出版社 2009
(0) 馆藏