-
中文图书1.面向计算机科学的数理逻辑:系统建模与推理:modelling and reasoning about systems
馆藏复本:0
可借复本:0 (德)迈克尔·休斯(Michael Huth),(英)马克·莱恩(Mark Ryan)著
机械工业出版社 2025
(0) 馆藏 -
中文图书2.发挥无条件尊重的力量:转变执法与警察培训:transforming law enforcement and police training D912.140/1
馆藏复本:2
可借复本:2 (美) 杰克·L·科尔威尔, 查尔斯·奇普·胡特著
江苏人民出版社 2021
(0) 馆藏

