检索到 5 条 分类号=TP311 主题=并发程序设计 的结果
-
中文图书1.反应式和并发系统的时序逻辑 TP311.11/620
馆藏复本：3
可借复本：3 (美)佐哈尔·曼纳(ZoharManna)，(以)艾米尔·伯努利(AmirPnueli)著
清华大学出版社 2023
(0) 馆藏 -
中文图书2.高并发系统实战派:集群、Redis缓存、海量存储、Elasticsearch、RocketMQ、微服务、持续集成等 TP311.11/362
馆藏复本：4
可借复本：3 谢恩德著
电子工业出版社 2022
(0) 馆藏 -
中文图书3.用TLA+定义系统:TLA+语言与工具在软硬件设计中的应用:the TLA+ language and tools for hardware and so... TP311.11/822
馆藏复本：2
可借复本：2 (美) 莱斯利·兰伯特著
机械工业出版社 2021
(0) 馆藏 -
中文图书4.七周七并发模型 TP311.11/420
馆藏复本：4
可借复本：2 (美)布彻(Paul Butcher)著
人民邮电出版社 2015
(0) 馆藏 -
中文图书5.并发程序设计基础教程 TP311.11/499
馆藏复本：5
可借复本：1 赵煜辉主编
北京理工大学出版社 2008
(0) 馆藏
