机构内的数字保存政策相对较少:数字保存难道不重要吗?本文介绍了 JISC 资助的一项关于机构数字保存政策的研究的正在进行的工作和结果,该研究旨在为数字保存政策提供概要模型,特别是分析数字保存在支持和实施高等教育机构在研究、教学和学习等领域的关键战略方面可以发挥的作用。尽管该研究的重点是英国高等教育部门,但它广泛借鉴了其他部门和国家的政策和实施情况,并将引起那些希望制定政策并证明在广泛机构内对数字保存进行投资的人的兴趣。
005.1 软件工程的形式化方法:语言、方法、应用领域/Markus Roggenbach、Antonio Cerone、Bernd-Holger Schlingloff、Gerardo Schneider、Siraj Ahmed Shaikh;由 Manfred Broy 作序;John V. Tucker 就形式化方法的起源和发展做出了贡献。[在线资源] — Cham,瑞士:Springer,[2022] — 1 个在线资源(xxviii,C1,524 页):插图(黑白和彩色)。ISBN 9783030387990 精装本 无价格;9783030388003 电子书 无价格 BNB 编号 GBC328513 软件工程。
006.3 AIxIA 2022 - 人工智能的进步:意大利人工智能协会第 21 届国际会议,AIxIA 2022,意大利乌迪内,2022 年 11 月 28 日至 12 月 2 日,会议记录/由 Agostino Dovier、Angelo Montanari、Andrea Orlandini 编辑。— Cham:Springer,2023 年。— 496 页:插图(黑白);24 厘米。ISBN 9783031271809 平装本 69.99 英镑 BNB 编号 GBC345216 人工智能,大会。
004.091724 数字化发展——通过信息通信技术实现转型、包容和可持续发展:第 12 届国际发展信息学协会会议,IDIA 2022,南非姆博贝拉,2022 年 11 月 22 日至 25 日,修订精选论文/由 Patrick Ndayizigamiye、Hossana Twinomurinzi、Billy Kalema、Kelvin Bwalya、Mncedisi Bembe 编辑。— Cham:Springer,2023 年。— 345 页:插图(黑白);24 厘米。ISBN 9783031284717 平装本 64.99 英镑 BNB 编号 GBC350900 信息技术、发展中国家、大会。
006.3 代理、多代理系统和复杂系统模拟的实际应用进展:PAAMS 合集:第 20 届国际会议,PAAMS 2022,意大利拉奎拉,2022 年 7 月 13-15 日,会议录/由 Frank Dignum、Philippe Mathieu、Juan Manuel Corchado、Fernando De La Prieta 编辑。— Cham:Springer,2022 年。— 1 卷;24 厘米。ISBN 9783031181917(平装本):69.99 英镑 BNB 编号 GBC2H2625 人工智能,大会。多代理系统,大会。计算机模拟,大会。出版前记录
006.3 计算智能的进展:第 21 届墨西哥国际人工智能会议,MICAI 2022,墨西哥蒙特雷,2022 年 10 月 24 日至 29 日,会议录。第二部分/由 Obdulia Pichardo Lagunas、Juan Martínez-Miranda、Bella Martínez Seis 编辑。— Cham:Springer Nature Switzerland,2022 年。— 1 卷;24 厘米。ISBN 9783031194955(平装):64.99 英镑 BNB 编号 GBC2H6888 计算智能,会议。
004.0151 分布式对象、组件和系统的形式化技术:第 43 届 IFIP WG 6.1 国际会议 FORTE 2023,作为第 18 届国际分布式计算技术联合会议 DisCoTec 2023 的一部分举行,葡萄牙里斯本,2023 年 6 月 19 日至 23 日,会议录 / 由 Marieke Huisman、António Ravara 编辑。— Cham:Springer,2023 年。— 218 页:插图(黑白);24 厘米。 ISBN 9783031353543 平装本 £ 54.99 BNB 编号 GBC3B0788 电子数据处理,分布式处理,
005.362 数据科学简介:使用 R / Rafael A. Irizarry 进行数据分析和预测算法。[在线资源] — 博卡拉顿:CRC Press,[2020]。— 1 个在线资源(xxx,713 页)。ISBN 1000708039(电子书); 1000707881(电子书);9781000708035(电子书);1000707733(电子书);9781000707731(电子书);9781000707885(电子书);0429341830(电子书);9780429341830(电子书)BNB 编号 GBC2J4748 统计,数据处理。
006.3 理解人工智能:基础与应用 / Albert (Chun-Chen) Liu、Oscar Ming Kin Law、Iain Law。[在线资源] — 新泽西州霍博肯:Wiley-IEEE Press,[2022]。— 1 个在线资源:插图(主要为彩色)。ISBN 1119858399(电子书。:oBook);1119858348 Adobe 电子书;9781119858393(电子书。:oBook);9781119858348 Adobe 电子书;9781119858386(电子书); 1119858380 电子出版物BNB编号GBC391285 人工智能。
004.019 HCI International 2022 - 最新论文:第 24 届人机交互国际会议,HCII 2022,虚拟活动,2022 年 6 月 26 日至 7 月 1 日,会议录。HCI 用于健康、福祉、普遍获取和健康老龄化/由 Vincent G. Duffy、Qin Gao、Jia Zhou、Margherita Antona、Constantine Stephanidis 编辑。— Cham:Springer Nature Switzerland,2022 年。— 1 卷;24 厘米。ISBN 9783031179013(平装):£ 79.99 BNB 编号 GBC2H2603 人机交互,会议。