亨宁费尔瑙（编辑）；塞尔盖·加斯佩斯（编辑）；拉尔夫·克拉辛（编辑） SOFSEM 2024：计算机科学的理论与实践。第49届计算机科学理论与实践当前趋势国际会议，SOFSEM 2024，德国科肯，2024年2月19-23日。诉讼程序。 （英语） Zbl 07825982号 计算机科学课堂讲稿14519.查姆：施普林格（ISBN 978-3-031-52112-6/pbk；978-3-331-52113-3/电子书）。xv，502页。(2024).MSC公司：68-06 68季度xx 68卢比 68次发射 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}（编辑）等，SOFSEM 2024：计算机科学的理论与实践。第49届计算机科学理论与实践当前趋势国际会议，SOFSEM 2024，德国科肯，2024年2月19-23日。诉讼程序。查姆：施普林格（2024；Zbl 07825982） 全文： 内政部
大卫·W·席尔瓦。（编辑）；埃克哈德·希策（编辑）；迪特马尔·希尔登布兰德（编辑） 几何代数的高级计算应用。第一届国际会议，ICACGA 2022，丹佛，科罗拉多州，美国，2022年10月2-5日。诉讼程序。 （英语） Zbl 07825958号 计算机科学课堂讲稿13771.查姆：施普林格（ISBN 978-3-031-34030-7/pbk；978-3-331-34031-4/电子书）。xxxix，236页。(2024).MSC公司：68-06 15-06 15A67型 68瓦30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.W.Silva}（ed.）等人，几何代数的高级计算应用。第一届国际会议，ICACGA 2022，丹佛，科罗拉多州，美国，2022年10月2-5日。诉讼程序。查姆：施普林格（2024；Zbl 07825958） 全文： 内政部
马西耶·库特尼（编辑）；罗宾·伯根图姆（编辑）；吉安弗兰科·西亚多（编辑） Petri网事务和其他并发模型XVII。 （英语） Zbl 07815713号 计算机科学课堂讲稿14150.日记账子行。柏林：施普林格出版社（ISBN 978-3-662-68190-9/pbk；978-3-562-68191-6/电子书）。十八、295页。(2024).MSC公司：68-06 68问题85 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Koutny}（编辑）等，《Petri网和其他并发模型事务》十七。柏林：施普林格（2024；Zbl 07815713） 全文： 内政部
苏布拉曼尼亚姆·卡利亚纳桑达拉姆（编辑）；阿尼尔·马赫什瓦里（编辑） 算法和离散应用数学。第十届国际会议，CALDAM 2024，印度比莱，2024年2月15日至17日。诉讼程序。 （英语） Zbl 07815710号 计算机科学课堂讲稿14508.查姆：施普林格（ISBN 978-3-031-52212-3/pbk；978-3-331-52213-0/电子书）。xxi，第330页。(2024).MSC公司：68-06 68兰特 68单位05 68瓦xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kalyanasundaram（编辑）和\textit{A.Maheshwari}（编辑），算法和离散应用数学。第十届国际会议，CALDAM 2024，印度比莱，2024年2月15-17日。诉讼程序。查姆：施普林格（2024；Zbl 07815710） 全文： 内政部
克里斯蒂娜·波普（编辑）；莱杰拉·巴蒂纳（编辑） 应用密码学和网络安全。第22届国际会议，ACNS 2024，阿拉伯联合酋长国阿布扎比，2024年3月5日至8日。诉讼程序。第一部分。 （英语） Zbl 07815699号 计算机科学课堂讲稿14583.查姆：施普林格（ISBN 978-3-031-54769-0/pbk；978-3-331-54770-6/电子书）。xxviii，489页。(2024).MSC公司：94-06 68-06 68平方米25 94A60型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Pöpper}（编辑）和\textit{L.Batina}（主编），应用密码学和网络安全。第22届国际会议，ACNS 2024，阿拉伯联合酋长国阿布扎比，2024年3月5-8日。诉讼程序。第一部分查姆：施普林格（2024；Zbl 07815699） 全文： 内政部
何塞·A·索托。（编辑）；安德烈亚斯·威斯（编辑） 拉丁语2024：理论信息学。2024年3月18日至22日，第16届拉丁美洲研讨会，智利瓦拉斯港。诉讼程序。第二部分。 （英语） Zbl 07815698号 计算机科学课堂讲稿14579.查姆：施普林格（ISBN 978-3-031-55600-5/pbk；978-3-331-55601-2/电子书）。xix，350页。(2024).MSC公司：68-06 68季度xx 68卢比 68瓦xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Soto}（编辑）和textit{A.Wiese}（编），拉丁2024：理论信息学。2024年3月18日至22日，第16届拉丁美洲研讨会，智利瓦拉斯港。诉讼程序。第二部分。查姆：施普林格（2024；Zbl 07815698） 全文： 内政部
何塞·A·索托。（编辑）；安德烈亚斯·威斯（编辑） 拉丁语2024：理论信息学。2024年3月18日至22日，第16届拉丁美洲研讨会，智利瓦拉斯港。诉讼程序。第一部分。 （英语） Zbl 07815697号 计算机科学课堂讲稿14578.查姆：施普林格（ISBN 978-3-031-55597-8/pbk；978-3-331-55598-5/ebook）。xix，第352页。(2024).MSC公司：68-06 68季度xx 68卢比 68瓦xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Soto}（编辑）和textit{A.Wiese}（编），拉丁2024：理论信息学。2024年3月18日至22日，第16届拉丁美洲研讨会，智利瓦拉斯港。诉讼程序。第一部分查姆：施普林格（2024；Zbl 07815697） 全文： 内政部
Seo，Hwajeong先生（编辑）；金·苏赫里（编辑） 信息安全和密码学——ICISC 2023。第26届信息安全和密码学国际会议，ICISC 2023，韩国首尔，2023年11月29日至12月1日。修订了选定的论文。第二部分。 （英语） Zbl 07815696号 计算机科学课堂讲稿14562.新加坡：Springer（ISBN 978-981-971237-3/pbk；978-981-971238-0/ebook）。xiv，308页。(2024).MSC公司：68-06 94-06 68平方米25 68第25页 94A60型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Seo}（编辑）和\textit{S.Kim}（主编），信息安全和密码学——ICISC 2023。第26届信息安全和密码学国际会议，ICISC 2023，韩国首尔，2023年11月29日至12月1日。修订了选定的论文。第二部分。新加坡：Springer（2024；Zbl 07815696） 全文： 内政部
Seo，Hwajeong先生（编辑）；金·苏赫里（编辑） 信息安全和密码学——ICISC 2023。第26届信息安全和密码学国际会议，ICISC 2023，韩国首尔，2023年11月29日至12月1日。修订了选定的论文。第一部分。 （英语） Zbl 07815695号 计算机科学课堂讲稿14561.新加坡：Springer（ISBN 978-981-971234-2/pbk；978-981-971235-9/电子书）。xiv，326页。(2024).MSC公司：68-06 94-06 68平方米25 68第25页 94A60型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Seo}（编辑）和\textit{S.Kim}（主编），信息安全和密码学——ICISC 2023。第26届信息安全和密码学国际会议，ICISC 2023，韩国首尔，2023年11月29日至12月1日。修订了选定的论文。第一部分新加坡：施普林格（2024；Zbl 07815695） 全文： 内政部
雅罗斯·拜尔卡（编辑）；安德烈亚斯·威斯（编辑） 近似和在线算法。第21届国际研讨会，WAOA 2023，荷兰阿姆斯特丹，2023年9月7日至8日。诉讼程序。 （英语） Zbl 07826015号 计算机科学课堂讲稿14297.查姆：施普林格（ISBN 978-3-031-49814-5/pbk；978-3-331-49815-2/电子书）。xii，第236页。(2023).MSC公司：68-06 68周25 68周27 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Byrka}（编辑）和\textit{A.Wiese}（编），近似和在线算法。第21届国际研讨会，WAOA 2023，荷兰阿姆斯特丹，2023年9月7-8日。诉讼程序。查姆：施普林格（2023；Zbl 07826015） 全文： 内政部
娜塔莎·亚历奇纳（编辑）；安德烈亚斯·赫齐格（编辑）；梁飞（编辑） 逻辑、理性和互动。第九届国际研讨会，LORI 2023，中国济南，2023年10月26-29日。诉讼程序。 （英语） Zbl 07826011号 计算机科学课堂讲稿14329.查姆：施普林格（ISBN 978-3-031-45557-5/pbk；978-3-331-45558-2/ebook）。第二十六章，第323页。(2023).MSC公司：68-06 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \文本{N.Alechina}（编辑）等人，《逻辑、理性与互动》。第九届国际研讨会，LORI 2023，中国济南，2023年10月26-29日。诉讼程序。查姆：施普林格（2023；Zbl 07826011） 全文： 内政部
曼努埃尔五世（Manuel V.Hermenegildo）。（编辑）；JoséF·莫拉莱斯。（编辑） 静态分析。2023年10月22日至24日，第30届国际研讨会，SAS 2023，葡萄牙卡斯凯斯。诉讼程序。 （英语） Zbl 07826006号 计算机科学课堂讲稿14284.查姆：施普林格（ISBN 978-3-031-44244-5/pbk；978-3-331-44245-2/电子书）。xiv，566页。(2023).MSC公司：68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.V.Hermenegildo}（编辑）和\textit{J.F.Morales}（主编），静态分析。第30届国际研讨会，SAS2023，卡斯凯斯，葡萄牙，2023年10月22-24日。诉讼程序。商会：施普林格（2023；Zbl 07826006） 全文： 内政部
王、丁（编辑）；Moti Yung（编辑）；刘哲丽（编辑）；陈晓峰（编辑） 信息和通信安全。第25届ICICS 2023国际会议，中国天津，2023年11月18-20日。诉讼程序。 （英语） Zbl 07826004号 计算机科学课堂讲稿14252.查姆：施普林格（ISBN 978-981-9973-55-2/pbk；978-981-9973-56-9/电子书）。xxv，763页。(2023).MSC公司：68-06 68平方米25 68第25页 94A60型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Wang}（编辑）等人，《信息和通信安全》。第25届ICICS 2023国际会议，中国天津，2023年11月18-20日。诉讼程序。查姆：施普林格（2023；Zbl 07826004） 全文： 内政部
埃蒂安·安德烈（编辑）；孙骏（编辑） 用于验证和分析的自动化技术。第21届国际研讨会，2023年10月24日至27日，新加坡，ATVA 2023。诉讼程序。第二部分。 （英语） Zbl 07826003号 计算机科学课堂讲稿14216.查姆：施普林格（ISBN 978-3-031-45331-1/pbk；978-3-331-45332-8/电子书）。xv，330页。(2023).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛É.André｝（编辑）和\textit｛J.Sun｝（编辑），用于验证和分析的自动化技术。第21届国际研讨会，ATVA 2023，新加坡，2023年10月24-27日。诉讼程序。第二部分。商会：施普林格（2023；Zbl 07826003） 全文： 内政部
埃蒂安·安德烈（编辑）；孙骏（编辑） 用于验证和分析的自动化技术。第21届国际研讨会，2023年10月24日至27日，新加坡，ATVA 2023。诉讼程序。第一部分。 （英语） Zbl 07826002号 计算机科学课堂讲稿14215.查姆：施普林格（ISBN 978-3-031-45328-1/pbk；978-3-331-45329-8/电子书）。十六、446页。(2023).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛É.André｝（编辑）和\textit｛J.Sun｝（编辑），用于验证和分析的自动化技术。第21届国际研讨会，ATVA 2023，新加坡，2023年10月24-27日。诉讼程序。第一部分查姆：施普林格（2023；Zbl 07826002） 全文： 内政部
Bekki、Daisuke（编辑）；Koji县Mineshima（编辑）；艾瑞克·麦克雷迪（编辑） 自然语言语义的逻辑和工程。第19届国际会议，LENLS19，日本东京，2022年11月19-21日。修订了选定的论文。 （英语） Zbl 07826001号 计算机科学课堂讲稿14213.施普林格（ISBN 978-3-031-43976-6/pbk；978-3-331-43977-3/电子书）。xii，第233页。(2023).MSC公司：03-06 68-06 03B65号 68T50型 91层20 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Bekki}（编辑）等人，《自然语言语义的逻辑和工程》。第19届国际会议，LENLS19，日本东京，2022年11月19-21日。修订了选定的论文。施普林格（2023；Zbl 07826001） 全文： 内政部
亚历山大·马德拉（编辑）；马丁斯（Manuel A.Martins）。（编辑） 代数开发技术的最新趋势。第26届IFIP工作组1.3国际研讨会，WADT 2022，Aveiro，葡萄牙，2022年6月28日至30日。修订了选定的论文。 （英语） Zbl 07825997号 计算机科学课堂讲稿13710.查姆：施普林格（ISBN 978-3-031-43344-3/pbk；978-3-331-43345-0/电子书）。九、179页。(2023).MSC公司：68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Madeira｝（编辑）和\textit｛M.A.Martins｝（编辑），代数发展技术的最新趋势。第26届IFIP工作组1.3国际研讨会，WADT 2022，Aveiro，葡萄牙，2022年6月28日至30日。修订了选定的论文。查姆：施普林格（2023；Zbl 07825997） 全文： 内政部
孟伟志（编辑）；严，郑（编辑）；文森佐·皮乌里（编辑） 信息安全实践和经验。第18届国际会议，ISPEC 2023，丹麦哥本哈根，2023年8月24日至25日。诉讼程序。 （英语） Zbl 07825989号 计算机科学课堂讲稿14341.新加坡：Springer（ISBN 978-981-9970-31-5/pbk；978-981-9970-32-2/电子书）。xiv，616页。(2023).MSC公司：68-06 68第25页 94A60型 94A62型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{W.Meng}（编辑）等，《信息安全实践与经验》。第18届国际会议，ISPEC 2023，丹麦哥本哈根，2023年8月24-25日。诉讼程序。新加坡：施普林格（2023；Zbl 07825989） 全文： 内政部
邓静（编辑）；弗拉基米尔·科列斯尼科夫（编辑）；亚历山大·施瓦兹曼（Alexander A.Schwarzmann）。（编辑） 密码和网络安全。第22届国际会议，CANS 2023，美国佐治亚州奥古斯塔，2023年10月31日至11月2日。诉讼程序。 （英语） Zbl 07815729号 计算机科学课堂讲稿14342.新加坡：Springer（ISBN 978-981-9975-62-4/pbk；978-981-9975-63-1/电子书）。xix，第590页。(2023).MSC公司：68-06 94-06 68平方米25 94A60型 94A62型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Deng}（编辑）等人，《密码学与网络安全》。第22届国际会议，CANS 2023，美国佐治亚州奥古斯塔，2023年10月31日至11月2日。诉讼程序。新加坡：Springer（2023；Zbl 07815729） 全文： 内政部
卡拉·费雷拉（编辑）；Tim A.C.Willemse。（编辑） 软件工程和形式化方法。第21届国际会议，SEFM 2023，荷兰埃因霍温，2023年11月6日至10日。诉讼程序。 （英语） 兹伯利07815727 计算机科学课堂讲稿14323.商会：施普林格出版社（ISBN 978-3-031-47114-8/pbk；978-3-031-47115-5/ebook）。xii，第378页。(2023).MSC公司：68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Ferreira}（编辑）和\textit{T.A.C.Willemse}（主编），软件工程和形式化方法。第21届国际会议，SEFM 2023，荷兰埃因霍温，2023年11月6日至10日。诉讼程序。查姆：施普林格（2023；Zbl 07815727） 全文： 内政部
亨宁费尔瑙（编辑）；克劳斯·扬森（编辑） 计算理论基础。第24届国际研讨会，FCT 2023，德国特里尔，2023年9月18-21日。诉讼程序。 （英语） Zbl 07768599号 计算机科学课堂讲稿14292.查姆：施普林格（ISBN 978-3-031-43586-7/pbk；978-3-331-43587-4/ebook）。xiii，438页。(2023).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}（编辑）和textit{K.Jansen}（主编），计算理论基础。第24届国际研讨会，FCT 2023，德国特里尔，2023年9月18-21日。诉讼程序。查姆：施普林格（2023；Zbl 07768599） 全文： 内政部
尼尔斯·詹森（编辑）；米尔科·特里巴斯通（编辑） 系统的定量评估。第20届国际会议，QEST 2023，比利时安特卫普，2023年9月20日至22日。诉讼程序。 （英语） Zbl 07768597号 计算机科学课堂讲稿14287.查姆：施普林格（ISBN 978-3-031-43834-9/pbk；978-3-331-43835-6/电子书）。xiii，第364页。(2023).MSC公司：68-06 6800万 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{N.Jansen}（编辑）和textit{M.Tribastone}（主编），系统的定量评估。第20届国际会议，QEST 2023，比利时安特卫普，2023年9月20日至22日。诉讼程序。查姆：施普林格（2023；Zbl 07768597） 全文： 内政部
莎拉·加格尔（编辑）；Martinez、Maria Vanina（编辑）；马格达莱娜·奥尔蒂斯（编辑） 人工智能中的逻辑。第18届欧洲会议，JELIA 2023，德国德累斯顿，2023年9月20日至22日。诉讼程序。 （英语） 兹伯利07768595 计算机科学课堂讲稿人工智能讲义。商会：施普林格出版社（ISBN 978-3-031-43618-5/pbk；978-3-031-43619-2/ebook）。十八、831页。(2023).MSC公司：68-06 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Gaggl}（编辑）等人，《人工智能中的逻辑》。第18届欧洲会议，JELIA 2023，德国德累斯顿，2023年9月20-22日。诉讼程序。查姆：施普林格（2023；Zbl 07768595） 全文： 内政部
乌利·萨特勒（编辑）；马丁·苏达（编辑） 组合系统的前沿。第十四届国际研讨会，2023年9月20日至22日，捷克共和国布拉格，Frocos 2023。诉讼程序。 （英语） Zbl 07768594号 计算机科学课堂讲稿14279.人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-031-43368-9/pbk；978-3-0031-43369-6/电子书）。十六、275页。(2023).MSC公司：68-06 68次发射 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{U.Sattler}（编辑）和\textit{M.Suda}（编），组合系统的前沿。第十四届国际研讨会，2023年9月20日至22日，捷克共和国布拉格，Frocos 2023。诉讼程序。查姆：施普林格（2023；Zbl 07768594） 全文： 内政部 OA许可证
雷文莎·拉马纳亚克（编辑）；约瑟夫·乌尔班（编辑） 使用分析表和相关方法进行自动推理。第32届国际会议，2023年9月18日至21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。 （英语） Zbl 07768593号 计算机科学课堂讲稿人工智能讲义。查姆：施普林格（ISBN 978-3-031-43512-6/pbk；978-3-331-43513-3/电子书）。xxv，482页。(2023).MSC公司：68-06 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Ramanayake}（编辑）和\textit{J.Urban}（主编），使用分析表和相关方法进行自动推理。第32届国际会议，2023年9月18-21日，捷克共和国布拉格，TABLEAUX 2023。诉讼程序。查姆：施普林格（2023；Zbl 07768593） 全文： 内政部 OA许可证
纳迪尼，弗兰科·玛丽亚（编辑）；纳迪亚·皮桑蒂（编辑）；罗萨诺文丘里尼（编辑） 字符串处理和信息检索。第30届国际研讨会，SPIRE 2023，意大利比萨，2023年9月26日至28日。诉讼程序。 （英语） 兹伯利07768579 计算机科学课堂讲稿14240.查姆：施普林格（ISBN 978-3-031-43979-7/pbk；978-3-331-43980-3/电子书）。xix，第394页。(2023).MSC公司：68-06 68第20页 68单位15 68瓦32 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Nardini}（编辑）等人，《字符串处理和信息检索》。第30届国际研讨会，SPIRE 2023，意大利比萨，2023年9月26-28日。诉讼程序。查姆：施普林格（2023；Zbl 07768579） 全文： 内政部
迪特马尔·塞佩尔（编辑）；亚历山大·斯蒂恩（编辑） KI 2023：人工智能的进展。第46届德国人工智能会议，德国柏林，2023年9月26-29日。诉讼程序。 （英语） Zbl 1527.68012号 计算机科学课堂讲稿14236.人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-031-42607-0/pbk；978-3-331-42608-7/电子书）。xxi，270页。(2023).MSC公司：68-06 68次发射 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Seipel}（编辑）和\textit{A.Steen}（主编），KI 2023:人工智能进展。第46届德国人工智能会议，德国柏林，2023年9月26-29日。诉讼程序。查姆：施普林格（2023；Zbl 1527.68012） 全文： 内政部
莱泽克·鲁特考夫斯基（编辑）；拉法·谢勒（编辑）；马钦·科里特科夫斯基（编辑）；维托尔德·佩德里茨（编辑）；Ryszard Tadeusiewicz（编辑）；杰塞克·祖拉达。（编辑） 人工智能和软计算。第22届国际会议，ICAISC 2023，波兰扎科帕内，2023年6月18-22日。诉讼程序。第二部分。 （英语） Zbl 1527.68011号 计算机科学课堂讲稿人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-031-42507-3/pbk；978-3-331-42508-0/电子书）。xix，第416页。(2023).MSC公司：68-06 68次发射 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Rutkowski}（编辑）等人，《人工智能和软计算》。第22届国际会议，ICAISC 2023，波兰扎科帕内，2023年6月18-22日。诉讼程序。第二部分。商会：施普林格（2023；兹比尔1527.68011） 全文： 内政部
莱泽克·鲁特考夫斯基（编辑）；拉法·谢勒（编辑）；马钦·科里特科夫斯基（编辑）；维托尔德·佩德里茨（编辑）；Ryszard Tadeusiewicz（编辑）；杰塞克·祖拉达。（编辑） 人工智能和软计算。第22届国际会议，ICAISC 2023，波兰扎科帕内，2023年6月18-22日。诉讼程序。第一部分。 （英语） Zbl 1527.68010号 计算机科学课堂讲稿14125.人工智能讲义。查姆：施普林格（ISBN 978-3-031-42504-2/pbk；978-3-331-42505-9/电子书）。xx，592页。(2023).MSC公司：68-06 68次发射 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Rutkowski}（编辑）等人，《人工智能和软计算》。第22届国际会议，ICAISC 2023，波兰扎科帕内，2023年6月18-22日。诉讼程序。第一部分查姆：施普林格（2023；Zbl 1527.68010） 全文： 内政部
丹尼尔·保卢斯马（编辑）；伯纳德·里斯（编辑） 计算机科学中的图论概念。第49届国际研讨会，2023年6月28日至30日，瑞士弗里堡，WG 2023。修订了选定的论文。 （英语） Zbl 07768553号 计算机科学课堂讲稿14093.查姆：施普林格（ISBN 978-3-031-43379-5/pbk；978-3-0031-43380-1/电子书）。xiii，第478页。(2023).MSC公司：68-06 68兰特 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Paulusma}（编辑）和textit{B.Ries}（主编），计算机科学中的图论概念。第49届国际研讨会，2023年6月28日至30日，瑞士弗里堡，WG 2023。修订了选定的论文。查姆：施普林格（2023；Zbl 07768553） 全文： 内政部
侯赛因·霍贾特（编辑）；艾丽卡·阿尔布拉汉姆（编辑） 软件工程基础。第十届国际会议，FSEN 2023，伊朗德黑兰，2023年5月4-5日。修订了选定的论文。 （英语） Zbl 07768478号 计算机科学课堂讲稿14155.查姆：施普林格（ISBN 978-3-031-42440-3/pbk；978-3-331-42441-0/电子书）。x、 157页。(2023).MSC公司：68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Hojjat}（ed.）和\textit{E.ábrahám}（edi.），软件工程基础。第十届国际会议，FSEN 2023，伊朗德黑兰，2023年5月4-5日。修订了选定的论文。查姆：施普林格（2023；Zbl 07768478） 全文： 内政部
卢卡·曼佐尼（编辑）；卢卡·马里奥特（编辑）；罗伊·乔杜里，迪潘维塔（编辑） 细胞自动机和离散复杂系统。2023年8月30日至9月1日，意大利的里雅斯特，第29届IFIP WG 1.5国际研讨会，AUTOMATA 2023。诉讼程序。 （英语） Zbl 07768476号 计算机科学课堂讲稿14152.商会：施普林格出版社（ISBN 978-3-031-42249-2/pbk；978-3-031-42250-8/ebook）。xiv，165页。(2023).MSC公司：68-06 37-06 68问题80 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Manzoni}（编辑）等人，《细胞自动机与离散复杂系统》。第29届IFIP WG 1.5国际研讨会，2023年8月30日至9月1日，意大利的里雅斯特AUTOMATA 2023。诉讼程序。查姆：施普林格（2023；Zbl 07768476） 全文： 内政部
弗朗索瓦·布利埃（编辑）；英格兰，马修（编辑）；伊利亚斯·科齐里亚斯（编辑）；帖木儿·M·萨迪科夫。（编辑）；沃罗佐佐夫，叶夫根尼五世。（编辑） 科学计算中的计算机代数。2023年8月28日至9月1日在古巴哈瓦那举行的第25届CASC 2023国际研讨会。诉讼程序。 （英语） Zbl 07768470号 计算机科学课堂讲稿14139.商会：施普林格出版社（ISBN 978-3-031-41723-8/pbk；978-3-031-41724-5/ebook）。第二十二、422页。(2023).MSC公司：68-06 68瓦30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Boulier}（编辑）等，科学计算中的计算机代数。第25届国际研讨会，CASC 2023，古巴哈瓦那，2023年8月28日至9月1日。诉讼程序。查姆：施普林格（2023；Zbl 07768470） 全文： 内政部
劳雷·佩特鲁奇（编辑）；杰里米·斯普洛斯顿（编辑） 时间系统的形式化建模和分析。第21届国际会议，FORMATS 2023，安特卫普，比利时，2023年9月19-21日。诉讼程序。 （英语） Zbl 07768469号 计算机科学课堂讲稿14138.查姆：施普林格（ISBN 978-3-031-42625-4/pbk；978-3-331-42626-1/电子书）。xiv，181页。(2023).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Petrucci}（编辑）和textit{J.Sproston}（主编），时间系统的形式化建模和分析。第21届国际会议，FORMATS 2023，安特卫普，比利时，2023年9月19-21日。诉讼程序。查姆：施普林格（2023；Zbl 07768469） 全文： 内政部
Junji Shikata（编辑）；广木久野（编辑） 信息和计算机安全方面的进展。第18届国际安全研讨会，IWSEC 2023，日本横滨，2023年8月29日至31日。诉讼程序。 （英语） Zbl 1527.68013号 计算机科学课堂讲稿14128.查姆：施普林格（ISBN 978-3-031-41325-4/pbk；978-3-0031-41326-1/电子书）。xii，274页。(2023).MSC公司：68-06 68平方米25 94A60型 94A62型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Shikata}（编辑）和\textit{H.Kuzuno}（主编），《信息和计算机安全的进展》。第18届国际安全研讨会，IWSEC 2023，日本横滨，2023年8月29日至31日。诉讼程序。查姆：施普林格（2023；Zbl 1527.68013） 全文： 内政部
何塞·卡诺（编辑）；马里奥斯·迪凯亚科斯。（编辑）；乔治·帕帕佐普洛斯。（编辑）；佩里卡斯·米克尔（编辑）；里佐斯·萨凯拉里奥（编辑） Euro-PAR 2023：并行处理。第29届并行和分布式计算国际会议，2023年8月28日至9月1日，塞浦路斯利马索尔。诉讼程序。 （英语） Zbl 1527.68006号 计算机科学课堂讲稿14100.查姆：施普林格（ISBN 978-3-031-39697-7/pbk；978-3-331-39698-4/ebook）。xlv，第743页。(2023).MSC公司：68-06 6800万 68宽10 68宽15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Cano}（编辑）等，《欧洲PAR 2023：并行处理》。第29届并行和分布式计算国际会议，塞浦路斯利马索尔，2023年8月28日至9月1日。诉讼程序。查姆：斯普林格（2023；Zbl 1527.68006） 全文： 内政部
阿尔贝托·阿贝洛（编辑）；瓦西利亚迪斯，帕诺斯（编辑）；奥斯卡·罗梅罗（编辑）；罗伯特·伦贝尔（编辑） 数据库和信息系统的进展。第27届欧洲会议，ADBIS 2023，西班牙巴塞罗那，2023年9月4日至7日。诉讼程序。 （英语） Zbl 1527.68005号 计算机科学课堂讲稿13985.查姆：施普林格（ISBN 978-3-031-42913-2/pbk；978-3-331-42914-9/电子书）。第二十二、254页。(2023).MSC公司：68-06 第68页，共15页 68层35 68单位35 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Abelló}（编辑）等人，《数据库和信息系统的进展》。第27届欧洲会议，ADBIS 2023，西班牙巴塞罗那，2023年9月4-7日。诉讼程序。查姆：斯普林格（2023；Zbl 1527.68005） 全文： 内政部
李敏明（编辑）；孙晓明（编辑）；吴晓伟（编辑） 算法前沿。2023年8月14日至18日，第17届国际联合会议，IJTCS-FAW 2023，中国澳门。诉讼程序。 （英语） Zbl 07768456号 计算机科学课堂讲稿13933.查姆：施普林格（ISBN 978-3-031-39343-3/pbk；978-3-331-39344-0/电子书）。第xx页，第296页。(2023).MSC公司：68-06 68瓦xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Li}（编辑）等，算法前沿。2023年8月14日至18日，第17届国际联合会议，IJTCS-FAW 2023，中国澳门。诉讼程序。查姆：施普林格（2023；Zbl 07768456） 全文： 内政部
Helle Hvid Hansen先生（编辑）；安德烈·斯克洛夫（编辑）；de Queiroz，Ruy J.G.B。（编辑） 逻辑、语言、信息和计算。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。 （英语） Zbl 07768455号 计算机科学课堂讲稿13923.查姆：施普林格（ISBN 978-3-031-39783-7/pbk；978-3-331-39784-4/电子书）。xxxviii，第395页。(2023).MSC公司：03-06 68-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.H.Hansen}（编辑）等人，《逻辑、语言、信息和计算》。第29届国际研讨会，WoLLIC 2023，哈利法克斯，NS，加拿大，2023年7月11-14日。诉讼程序。查姆：施普林格（2023；Zbl 07768455） 全文： 内政部
史蒂芬·张（编辑） 函数编程的趋势。2023年1月13日至15日，第24届国际研讨会，TFP 2023，美国马萨诸塞州波士顿。修订了选定的论文。 （英语） Zbl 07768454号 计算机科学课堂讲稿13868.查姆：施普林格（ISBN 978-3-031-38937-5/pbk；978-3-331-38938-2/ebook）。九、107页。(2023).MSC公司：68-06 68甲18 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Chang}（编辑），函数编程趋势。2023年1月13日至15日，第24届国际研讨会，TFP 2023，美国马萨诸塞州波士顿。修订了选定的论文。查姆：施普林格（2023；Zbl 07768454） 全文： 内政部
碧姬·品特卡（编辑）；塞萨尔·蒂内利（编辑） 自动扣除–CADE 29。第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日。诉讼程序。 （英语） Zbl 07768439号 计算机科学课堂讲稿人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-031-38498-1/pbk；978-3-0.31-38499-8/电子书）。xxv，592页。，开放存取（2023年）。MSC公司：68-06 03-06 03B35型 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Pientka}（编辑）和\textit{C.Tinelli}（主编），自动演绎——CADE 29。第29届自动扣减国际会议，意大利罗马，2023年7月1-4日。诉讼程序。查姆：施普林格（2023；Zbl 07768439） 全文： 内政部
凯瑟琳·杜布瓦（编辑）；曼弗雷德·科伯（编辑） 智能计算机数学。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。 （英语） Zbl 07768435号 计算机科学课堂讲稿14101.人工智能讲义。查姆：施普林格（ISBN 978-3-031-42752-7/pbk；978-3-331-42753-4/电子书）。十七、324页。(2023).MSC公司：68-06 68伏xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dubois}（编辑）和\textit{M.Kerber}（主编），智能计算机数学。第16届国际会议，CICM 2023，英国剑桥，2023年9月5-8日。诉讼程序。查姆：施普林格（2023；Zbl 07768435） 全文： 内政部
乔纳森·鲍文（Jonathan P.Bowen）。（编辑）；李琴（编辑）；徐启文（编辑） 编程理论和形式化方法。纪念贺继峰80岁生日的散文。 （英语） Zbl 07768432号 计算机科学课堂讲稿14080.查姆：施普林格（ISBN 978-3-031-40435-1/pbk；978-3-331-40436-8/电子书）。xiv，第413页。(2023).MSC公司：68-06 01A70号 68新元 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bowen}（编辑）等人，《编程理论和形式化方法》。纪念贺继峰80岁生日的散文。查姆：施普林格（2023；Zbl 07768432） 全文： 内政部
贝内德克·纳吉（编辑） 自动机的实现与应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。 （英语） 兹伯利07767954 计算机科学课堂讲稿14151.查姆：施普林格（ISBN 978-3-031-40246-3/pbk；978-3-331-40247-0/ebook）。xii，304页。(2023).MSC公司：68-06 65年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Nagy}（编辑），自动机的实现和应用。第27届国际会议，CIAA 2023，法马古斯塔，北塞浦路斯，2023年9月19-22日。诉讼程序。查姆：施普林格（2023；Zbl 07767954） 全文： 内政部
曼纽尔·奥杰达·阿西戈（编辑）；凯·索尔瓦尔德（编辑）；罗伯特·Jäschke（编辑） 基于图形的表示和推理。第28届概念结构国际会议，ICCS 2023，德国柏林，2023年9月11-13日。诉讼程序。 （英语） Zbl 07767951号 计算机科学课堂讲稿人工智能课堂讲稿。商会：施普林格出版社（ISBN 978-3-031-40959-2/pbk；978-3-031-40960-8/ebook）。十八、206页。(2023).MSC公司：68-06 68立方英尺 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ojeda-Aciego}（编辑）等，基于图形的表示和推理。第28届概念结构国际会议，ICCS 2023，德国柏林，2023年9月11-13日。诉讼程序。查姆：施普林格（2023；Zbl 07767951） 全文： 内政部
康斯坦丁·埃纳（编辑）；阿卡什·拉尔（编辑） 计算机辅助验证。第35届国际会议，CAV 2023，法国巴黎，2023年7月17日至22日。诉讼程序。第三部分。 （英语） 兹比尔1529.68047 计算机科学课堂讲稿13966.查姆：施普林格（ISBN 978-3-031-37708-2/pbk；978-3-331-37709-9/ebook）。十七、502页。(2023).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Enea}（编辑）和\textit{A.Lal}（编），计算机辅助验证。第35届国际会议，CAV 2023，巴黎，法国，2023年7月17-22日。诉讼程序。第三部分查姆：施普林格（2023；Zbl 1529.68047） 全文： 内政部
康斯坦丁·埃纳（编辑）；阿卡什·拉尔（编辑） 计算机辅助验证。第35届国际会议，CAV 2023，法国巴黎，2023年7月17日至22日。诉讼程序。第一部分。 （英语） Zbl 1529.68046号 计算机科学课堂讲稿13964.商会：施普林格出版社（ISBN 978-3-031-37705-1/pbk；978-3-031-37706-8/电子书）。xxxi，488页。(2023).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Enea}（编辑）和\textit{A.Lal}（编），计算机辅助验证。第35届国际会议，CAV 2023，巴黎，法国，2023年7月17-22日。诉讼程序。第一部分查姆：施普林格（2023；Zbl 1529.68046） 全文： 内政部
玛丽贝尔·费尔南德斯（编辑）；克里斯托弗·波斯基特。（编辑） 图形转换。2023年7月19日至20日在英国莱斯特举行的第16届国际会议，ICGT 2023，作为STAF 2023的一部分。诉讼程序。 （英语） 兹比尔1528.68026 计算机科学课堂讲稿13961.查姆：施普林格（ISBN 978-3-031-36708-3/pbk；978-3-331-36709-0/电子书）。x、 第303页。(2023).MSC公司：68-06 第68季度第42季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fernández}（编辑）和\textit{C.M.Poskitt}（主编），图形转换。2023年7月19日至20日在英国莱斯特举行的第16届国际会议，ICGT 2023，作为STAF 2023的一部分。诉讼程序。查姆：斯普林格（2023；Zbl 1528.68026） 全文： 内政部
马丁·库特里布（编辑）；乌韦·迈耶（编辑） 可逆计算。2023年7月18日至19日，第15届国际会议，RC 2023，德国基森。诉讼程序。 （英语） Zbl 1528.68031号 计算机科学课堂讲稿13960.查姆：施普林格（ISBN 978-3-031-38099-0/pbk；978-3-0031-38100-3/电子书）。xii，第245页。(2023).MSC公司：68-06 2009年第68季度 2010年第68季度 81页68 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Kutrib}（编辑）和\textit{U.Meyer}（主编），可逆计算。第15届国际会议，RC 2023，德国基森，2023年7月18-19日。诉讼程序。查姆：斯普林格（2023；Zbl 1528.68031） 全文： 内政部
安德烈亚斯·赫齐格（编辑）；罗洁婷（编辑）；佩雷·帕尔多（编辑） 逻辑和论证。第五届国际会议，CLAR 2023，中国杭州，2023年9月10-12日。诉讼程序。 （英语） Zbl 1528.03006号 计算机科学课堂讲稿人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-031-40874-8/pbk；978-3-331-40875-5/电子书）。xx，225页。(2023).MSC公司：03-06 68-06 03B70号 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Herzig}（编辑）等，《逻辑与论证》。第五届国际会议，CLAR 2023，中国杭州，2023年9月10-12日。诉讼程序。查姆：斯普林格（2023；Zbl 1528.03006） 全文： 内政部
帕特·莫林（编辑）；苏里、苏巴什（编辑） 算法和数据结构。2023年7月31日至8月2日，第18届WADS 2023国际研讨会，加拿大魁北克省蒙特利尔。诉讼程序。 （英语） Zbl 1528.68033号 计算机科学课堂讲稿14079.查姆：施普林格（ISBN 978-3-031-38905-4/pbk；978-3-331-38906-1/电子书）。xii，721页。(2023).MSC公司：68-06 68第05页 68瓦xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Morin}（编辑）和\textit{S.Suri}（编），算法和数据结构。第18届国际研讨会，WADS 2023，蒙特利尔，魁北克省，加拿大，2023年7月31日至8月2日。诉讼程序。查姆：斯普林格（2023；Zbl 1528.68033） 全文： 内政部
维吉尔·普雷沃斯托（编辑）；克里斯蒂娜·塞塞莱亚努（编辑） 测试和证明。第17届国际会议，TAP 2023，英国莱斯特，2023年7月18日至19日。诉讼程序。 （英语） Zbl 1525.68002号 计算机科学课堂讲稿14066.查姆：施普林格（ISBN 978-3-031-38827-9/pbk；978-3-331-38828-6/ebook）。第二十二、187页。(2023).MSC公司：68-06 60年第68季度 68伏15 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{V.Prevosto}（编辑）和\textit{C.Seceleanu}（主编），测试和证明。第17届国际会议，TAP 2023，英国莱斯特，2023年7月18-19日。诉讼程序。查姆：斯普林格（2023；Zbl 1525.68002） 全文： 内政部
吉安卢卡·德拉·维多瓦（编辑）；Besik Dundua（编辑）；斯泰芬·伦普（编辑）；弗罗林·马内亚（编辑） 逻辑和计算的统一。第19届欧洲可计算性会议，2023年7月24日至28日，格鲁吉亚巴统，CiE 2023。诉讼程序。 （英语） Zbl 1528.68022号 计算机科学课堂讲稿13967.查姆：施普林格（ISBN 978-3-031-36977-3/pbk；978-3-331-36978-0/电子书）。李，297页。(2023).MSC公司：68-06 03B70号 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Della Vedova}（编辑）等人，《逻辑与计算的统一》。第19届欧洲可计算性会议，2023年7月24日至28日，佐治亚州巴统市，CiE 2023。诉讼程序。查姆：斯普林格（2023；Zbl 1528.68022） 全文： 内政部
康斯坦丁·埃纳（编辑）；拉尔，阿卡什（编辑） 计算机辅助验证。第35届国际会议，CAV 2023，法国巴黎，2023年7月17日至22日。诉讼程序。第二部分。 （英语） Zbl 1528.68025号 计算机科学课堂讲稿13965.查姆：施普林格（ISBN 978-3-031-37702-0/pbk；978-3-331-37703-7/电子书）。十六、460页。(2023).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Enea}（编辑）和\textit{A.Lal}（编），计算机辅助验证。第35届国际会议，CAV 2023，巴黎，法国，2023年7月17-22日。诉讼程序。第二部分。查姆：斯普林格（2023；Zbl 1528.68025） 全文： 内政部
达妮埃拉·热那瓦（编辑）；贾科·卡里（编辑） 非常规计算和自然计算。第20届国际会议，UCNC 2023，美国佛罗里达州杰克逊维尔，2023年3月13日至17日。诉讼程序。 （英语） Zbl 1528.68028号 计算机科学课堂讲稿14003.查姆：施普林格（ISBN 978-3-031-34033-8/pbk；978-3-331-34034-5/电子书）。xxii，203页。(2023).MSC公司：68-06 2007年第68季度 2009年第68季度 2010年第68季度 2012年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Genova}（编辑）和textit{J.Kari}（主编），非传统计算和自然计算。第20届国际会议，UCNC 2023，美国佛罗里达州杰克逊维尔，2023年3月13日至17日。诉讼程序。查姆：斯普林格（2023；Zbl 1528.68028） 全文： 内政部
谢孙元（编辑）；洪玲菊（编辑）；李嘉伟（编辑） 组合算法。第34届国际研讨会，IWOCA 2023，台湾台南，2023年6月7日至10日。诉讼程序。 （英语） Zbl 1527.68009号 计算机科学课堂讲稿13889.商会：施普林格出版社（ISBN 978-3-031-34346-9/pbk；978-3-031-34347-6/ebook）。第二十三、406页。(2023).MSC公司：68-06 68卢比 68瓦xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.-Y.Hsieh}（编辑）等，组合算法。第34届国际研讨会，IWOCA 2023，台湾台南，2023年6月7日至10日。诉讼程序。查姆：斯普林格（2023；Zbl 1527.68009） 全文： 内政部
莱昂妮·辛普森（编辑）；米尔·阿里（Mir Ali Rezazadeh Baee）（编辑） 信息安全和隐私。第28届澳大拉西亚会议，ACISP 2023，澳大利亚昆士兰州布里斯班，2023年7月5日至7日。诉讼程序。 （英语） Zbl 1528.68035号 计算机科学课堂讲稿13915.商会：施普林格出版社（ISBN 978-3-031-35485-4/pbk；978-3-031-35486-1/电子书）。xiii，652页。(2023).MSC公司：68-06 68平方米25 68第27页 94A60型 94A62型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Simpson}（编辑）和textit{M.A.Rezazadeh Baee}（主编），信息安全和隐私。第28届澳大拉西亚会议，ACISP 2023，澳大利亚昆士兰州布里斯班，2023年7月5-7日。诉讼程序。查姆：斯普林格（2023；Zbl 1528.68035） 全文： 内政部
玛丽克·赫斯曼（编辑）；安托尼奥·拉瓦拉（编辑） 分布式对象、组件和系统的形式化技术。第43届IFIP WG 6.1国际会议，FORTE 2023，作为第18届分布式计算技术国际联合会议的一部分，于2023年6月19-23日在葡萄牙里斯本举行。诉讼程序。 （英语） Zbl 1528.68029号 计算机科学课堂讲稿13910.查姆：施普林格（ISBN 978-3-031-35354-3/pbk；978-3-331-35355-0/电子书）。xiv，225页。(2023).MSC公司：68-06 64岁以下 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Huisman}（编辑）和\textit{A.Ravara}（主编），分布式对象、组件和系统的形式化技术。第43届IFIP WG 6.1国际会议，FORTE 2023，作为第18届分布式计算技术国际联合会议的一部分，于2023年6月19-23日在葡萄牙里斯本举行。诉讼程序。查姆：斯普林格（2023；Zbl 1528.68029） 全文： 内政部
大卫·沃伦。（编辑）；维罗妮卡·达尔（编辑）；托马斯·艾特（编辑）；曼努埃尔五世（Manuel V.Hermenegildo）。（编辑）；罗伯特·科瓦尔斯基（编辑）；弗朗西丝卡·罗西（编辑） 序言：未来50年。 （英语） Zbl 1517.68030号 计算机科学课堂讲稿人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-031-35253-9/pbk；978-3-331-35254-6/电子书）。十六、394页。(2023).MSC公司：68-06 68N17号 68立方英尺 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit｛D.S.Warren｝（编辑）等人，序言：未来50年。查姆：施普林格（2023；Zbl 1517.68030） 全文： 内政部
多米尼克·杜尔施纳贝尔（编辑）；多明哥洛佩斯·罗德里格斯（编辑） 形式概念分析。2023年7月17日至21日，第17届国际会议，ICFCA 2023，德国卡塞尔。诉讼程序。 （英语） Zbl 1528.68024号 计算机科学课堂讲稿13934.人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-031-35948-4/pbk；978-3-0.31-35949-1/电子书）。第xxviii页，第199页。(2023).MSC公司：68-06 68立方英尺 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Dürrschnabel}（编辑）和\textit{D.López-Rodríguez}（主编），形式概念分析。2023年7月17日至21日，第17届国际会议，ICFCA 2023，德国卡塞尔。诉讼程序。查姆：斯普林格（2023；Zbl 1528.68024） 全文： 内政部
卢卡·卡拉特罗尼（编辑）；马可·多纳泰利（编辑）；塞雷娜·莫里吉（编辑）；马尔科·普拉托（编辑）；马特奥·桑塔塞萨里亚（编辑） 计算机视觉中的尺度空间和变分方法。第九届国际会议，2023年5月21日至25日，意大利圣玛格丽塔迪普拉，SSVM 2023。诉讼程序。 （英语） Zbl 1525.68001号 计算机科学课堂讲稿14009.查姆：施普林格（ISBN 978-3-031-31974-7/pbk；978-3-331-31975-4/电子书）。十六、759页。(2023).MSC公司：68-06 68T45型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Calatroni}（编辑）等人，计算机视觉中的尺度空间和变分方法。第九届国际会议，2023年5月21日至25日，意大利圣玛格丽塔迪普拉，SSVM 2023。诉讼程序。查姆：斯普林格（2023；Zbl 1525.68001） 全文： 内政部
桑卡拉纳拉亚南，斯里拉姆（编辑）；娜塔莎·莎莉吉娜（编辑） 用于构建和分析系统的工具和算法。第29届国际会议TACAS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。第二部分。 （英语） Zbl 07710780号 计算机科学课堂讲稿13994.查姆：施普林格（ISBN 978-3-031-30819-2/pbk；978-3-331-30820-8/电子书）。第二十四、604页。(2023).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}（编辑）和\textit{N.Sharygina}（编），系统构建和分析的工具和算法。第29届国际会议，TACAS 2023，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2023，2023年4月22-27日，法国巴黎。诉讼程序。第二部分。查姆：施普林格（2023；Zbl 07710780） 全文： 内政部
桑卡拉纳拉亚南，斯里拉姆（编辑）；娜塔莎·莎莉吉娜（编辑） 用于构建和分析系统的工具和算法。第29届国际会议TACAS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。第一部分。 （英语） Zbl 1525.68003号 计算机科学课堂讲稿13993.查姆：施普林格（ISBN 978-3-031-30822-2/pbk；978-3-331-30823-9/电子书）。xxiii，708页。(2023).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Sankaranarayanan}（编辑）和\textit{N.Sharygina}（编），系统构建和分析的工具和算法。第29届国际会议TACAS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。第一部分查姆：施普林格（2023；Zbl 1525.68003） 全文： 内政部
奥尔纳·库普弗曼（编辑）；巴韦尔·索博辛斯基（编辑） 软件科学和计算结构基础。第26届国际会议FOSSACS 2023，作为欧洲软件理论与实践联合会议ETAPS 2023的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。 （英语） Zbl 1524.68006号 计算机科学课堂讲稿13992.查姆：施普林格（ISBN 978-3-031-30828-4/pbk；978-3-331-30829-1/电子书）。xiv，第562页。(2023).MSC公司：68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}（编辑）和\textit{P.Sobocinski}（编），软件科学和计算结构基础。第26届国际会议，FOSSACS 2023，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2023，2023年4月22-27日，法国巴黎。诉讼程序。查姆：斯普林格（2023；Zbl 1524.68006） 全文： 内政部
莱恩·兰伯斯（编辑）；塞巴斯蒂安·乌奇特尔（编辑） 软件工程的基本方法。第26届国际会议，FASE 2023，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2023，法国巴黎，2023年4月22日至27日。诉讼程序。 （英语） Zbl 1524.68007号 计算机科学课堂讲稿13991.查姆：施普林格（ISBN 978-3-031-30825-3/pbk；978-3-331-30826-0/ebook）。十六、332页。(2023).MSC公司：68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Lambers}（ed.）和\textit{S.Uchitel}（edi.），软件工程的基本方法。第26届国际会议，FASE 2023，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2023，法国巴黎，2023年4月22日至27日。诉讼程序。查姆：斯普林格（2023；Zbl 1524.68007） 全文： 内政部
托马斯·维斯（编辑） 编程语言和系统。第32届欧洲编程研讨会，ESOP 2023，作为欧洲软件理论与实践联合会议的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。 （英语） Zbl 1524.68009号 计算机科学课堂讲稿13990.查姆：施普林格（ISBN 978-3-031-30043-1/pbk；978-3-331-30044-8/电子书）。xii，566页。(2023).MSC公司：68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{T.Wies}（编辑），编程语言和系统。第32届欧洲编程研讨会，ESOP 2023，作为欧洲软件理论与实践联合会议的一部分，于2023年4月22日至27日在法国巴黎举行。诉讼程序。查姆：斯普林格（2023；Zbl 1524.68009） 全文： 内政部
佩雷斯·卡塞雷斯，莱斯利（编辑）；托马斯·苏泽尔（编辑） 组合优化中的进化计算。第23届欧洲会议，EvoCOP 2023，作为EvoStar 2023的一部分，于2023年4月12日至14日在捷克共和国布尔诺举行。诉讼程序。 （英语） Zbl 1528.90005号 计算机科学课堂讲稿13987.查姆：施普林格（ISBN 978-3-031-30034-9/pbk；978-3-331-30035-6/电子书）。xiv，第245页。(2023).MSC公司：90-06 68瓦50 90C27型 90 C59 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Pérez Cáceres}（编辑）和\textit{T.Stützle}（主编），组合优化中的进化计算。第23届欧洲会议，EvoCOP 2023，作为EvoStar 2023的一部分，于2023年4月12-14日在捷克共和国布尔诺举行。诉讼程序。查姆：施普林格（2023；Zbl 1528.90005） 全文： 内政部
林春成（编辑）；林伯特兰M.T。（编辑）；朱塞佩·利奥塔（编辑） WALCOM：算法和计算。第17届国际会议和研讨会，2023年3月22日至24日，台湾新竹，WALCOM 2023。诉讼程序。 （英语） Zbl 1524.68008号 计算机科学课堂讲稿13973.商会：施普林格出版社（ISBN 978-3-031-27050-5/pbk；978-3-031-27051-2/ebook）。xiii，第398页。(2023).MSC公司：68-06 68瓦xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Lin}（编辑）等，WALCOM：算法和计算。第17届国际会议和研讨会，WALCOM 2023，台湾新竹，2023年3月22日至24日。诉讼程序。商会：施普林格（2023年；兹比尔1524.68008） 全文： 内政部
迈克尔·埃默里奇（编辑）；安德烈·多伊茨（编辑）；王浩（编辑）；安娜·V·科诺诺娃。（编辑）；鲍里斯·纳约克斯（编辑）；李、柯（编辑）；凯萨·米埃蒂宁（编辑）；伊雷娜·叶夫塞耶娃（编辑） 进化多准则优化。第十二届国际会议，EMO 2023，荷兰莱顿，2023年3月20日至24日。诉讼程序。 （英语） 兹比尔1515.90007 计算机科学课堂讲稿13970.查姆：施普林格（ISBN 978-3-031-27249-3/pbk；978-3-331-27250-9/电子书）。xix，636页。(2023).MSC公司：90-06 68T05型 68T20型 68瓦50 90C29型 90 C59 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Emmerich}（编辑）等人，《进化多准则优化》。第十二届国际会议，EMO 2023，荷兰莱顿，2023年3月20日至24日。诉讼程序。查姆：施普林格（2023；Zbl 1515.90007） 全文： 内政部
路易斯·戈麦斯（编辑）；罗伯特·洛伦茨（编辑） Petri网和并发的应用和理论。第44届国际会议，Petri NETS 2023，葡萄牙里斯本，2023年6月25-30日。诉讼程序。 （英语） Zbl 1524.68003号 计算机科学课堂讲稿13929.查姆：施普林格（ISBN 978-3-031-33619-5/pbk；978-3-331-33620-1/电子书）。xv，466页。(2023).MSC公司：68-06 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛L.Gomes｝（编辑）和\textit｛R.Lorenz｝（编辑），Petri网和并发的应用和理论。第44届国际会议，Petri NETS 2023，葡萄牙里斯本，2023年6月25-30日。诉讼程序。查姆：斯普林格（2023；Zbl 1524.68003） 全文： 内政部
法兰克·德雷维斯（编辑）；米哈伊尔·沃尔科夫（编辑） 语言理论的发展。第27届国际会议，DLT 2023，瑞典乌梅，2023年6月12-16日。诉讼程序。 （英语） Zbl 1524.68002号 计算机科学课堂讲稿13911.查姆：施普林格（ISBN 978-3-031-33263-0/pbk；978-3-331-33264-7/电子书）。第xx页，第259页。(2023).MSC公司：68-06 65年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}（编辑）和textit{M.Volkov}（主编），语言理论的发展。第27届国际会议，DLT 2023，瑞典乌梅，2023年6月12-16日。诉讼程序。查姆：斯普林格（2023；Zbl 1524.68002） 全文： 内政部
迈赫迪·提布奇（编辑）；王晓峰（编辑） 应用密码学和网络安全。第21届国际会议，ACNS 2023，日本京都，2023年6月19-22日。诉讼程序。第二部分。 （英语） Zbl 1523.94004号 计算机科学课堂讲稿13906.查姆：施普林格（ISBN 978-3-031-33490-0/pbk；978-3-331-33491-7/电子书）。十七、729页。(2023).MSC公司：94-06 68-06 68平方米25 94A60型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Tibouchi}（编辑）和\textit{X.Wang}（主编），应用密码学和网络安全。第21届国际会议，ACNS 2023，日本京都，2023年6月19-22日。诉讼程序。第二部分。查姆：施普林格（2023；Zbl 1523.94004） 全文： 内政部
迈赫迪·提布奇（编辑）；王晓峰（编辑） 应用密码学和网络安全。第21届国际会议，ACNS 2023，日本京都，2023年6月19-22日。诉讼程序。第一部分。 （英语） Zbl 1523.94003号 计算机科学课堂讲稿13905.查姆：施普林格（ISBN 978-3-031-33487-0/pbk；978-3-331-33488-7/ebook）。xxiii，751页。(2023).MSC公司：94-06 68-06 68平方米25 94A60型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Tibouchi}（编辑）和\textit{X.Wang}（主编），应用密码学和网络安全。第21届国际会议，ACNS 2023，日本京都，2023年6月19日至22日。诉讼程序。第一部分查姆：施普林格（2023；Zbl 1523.94003） 全文： 内政部
安娜·弗里德（编辑）；罗伯特·梅尔卡什（编辑） 单词组合学。2023年6月12日至16日，第14届世界2023年国际会议，瑞典乌梅。诉讼程序。 （英语） Zbl 1515.68033号 计算机科学课堂讲稿13899.查姆：施普林格（ISBN 978-3-031-33179-4/pbk；978-3-331-33180-0/电子书）。x、 第301页。(2023).MSC公司：68-06 68兰特 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Frid}（编辑）和\textit{R.Mercaš}（主编），单词组合学。第14届国际会议，世界2023年，瑞典乌梅，2023年6月12-16日。诉讼程序。查姆：斯普林格（2023；Zbl 1515.68033） 全文： 内政部
马里奥斯·马夫罗尼科拉斯（编辑） 算法和复杂性。第十三届国际会议，CIAC 2023，拉纳卡，塞浦路斯，2023年6月13-16日。诉讼程序。 （英语） Zbl 1521.68010号 计算机科学课堂讲稿13898.查姆：施普林格（ISBN 978-3-031-30447-7/pbk；978-3-331-30448-4/电子书）。xi，400页。(2023).MSC公司：68-06 68瓦xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Mavronicolas}（编辑），算法和复杂性。第十三届国际会议，CIAC 2023，拉纳卡，塞浦路斯，2023年6月13-16日。诉讼程序。查姆：斯普林格（2023；Zbl 1521.68010） 全文： 内政部
梅根·杜瓦（编辑）；Pra at，Pawe（编辑）；普尔泽米斯·苏费尔（编辑）；弗朗索瓦州塞贝格（编辑）；马·戈扎塔·弗佐塞克（Małgorzata Wrzosek）（编辑） 网络图的算法和模型。第18届国际研讨会，WAW 2023，加拿大安大略省多伦多，2023年5月23日至26日。诉讼程序。 （英语） Zbl 1521.68009号 计算机科学课堂讲稿13894.查姆：施普林格（ISBN 978-3-031-32295-2/pbk；978-3-331-32296-9/电子书）。x、 193页。(2023).MSC公司：68-06 68英里11 68兰特 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Dewar}（编辑）等人，网络图的算法和模型。第18届国际研讨会，WAW 2023，加拿大安大略省多伦多，2023年5月23日至26日。诉讼程序。查姆：斯普林格（2023；Zbl 1521.68009） 全文： 内政部
塞尔吉奥·拉杰斯鲍姆（编辑）；巴利乌，阿尔基达（编辑）；Joshua J.Daymude。（编辑）；丹尼斯·奥利维蒂（编辑） 结构信息和通信复杂性。第30届国际学术讨论会，SIROCCO 2023，阿尔卡德赫纳雷斯，西班牙，2023年6月6日至9日。诉讼程序。 （英语） Zbl 1528.68034号 计算机科学课堂讲稿13892.查姆：施普林格（ISBN 978-3-031-32732-2/pbk；978-3-331-32733-9/电子书）。xi，第596页。(2023).MSC公司：68-06 6800万 第68季度11 68兰特 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Rajsbaum}（编辑）等人，《结构信息和通信复杂性》。第30届国际学术讨论会，SIROCCO 2023，阿尔卡德赫纳雷斯，西班牙，2023年6月6-9日。诉讼程序。查姆：斯普林格（2023；Zbl 1528.68034） 全文： 内政部
维琴察托拉（编辑）；靖国神奈川（编辑） 人工智能决策建模。第20届国际会议，MDAI 2023，瑞典乌梅，2023年6月19-22日。诉讼程序。 （英语） Zbl 1521.68011号 计算机科学课堂讲稿13890.人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-031-33497-9/pbk；978-3-0.31-33498-6/电子书）。xx，第265页。(2023).MSC公司：68-06 68次发射 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{V.Torra}（编辑）和textit{Y.Narukawa}（主编），人工智能决策建模。第20届国际会议，MDAI 2023，瑞典乌梅奥，2023年6月19-22日。诉讼程序。查姆：斯普林格（2023；Zbl 1521.68011） 全文： 内政部
安德烈·西尔（Andre A.Cire）。（编辑） 约束编程、人工智能和运筹学的集成。第20届国际会议，CPIOR 2023，法国尼斯，2023年5月29日至6月1日。诉讼程序。 （英语） Zbl 1521.68007号 计算机科学课堂讲稿13884.商会：施普林格出版社（ISBN 978-3-031-33270-8/pbk；978-3-031-33271-5/ebook）。xi，512页。(2023).MSC公司：68-06 90-06 68T20型 900亿 90C27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Cire}（编辑），约束编程、人工智能和运筹学的集成。第20届国际会议，CPAIOR 2023，法国尼斯，2023年5月29日至6月1日。诉讼程序。查姆：斯普林格（2023；Zbl 1521.68007） 全文： 内政部
乔治亚娜·卡尔泰斯（编辑）；克里斯蒂安·席林（编辑） 模型检查软件。第29届国际研讨会，2023年4月26日至27日，法国巴黎，SPIN 2023。诉讼程序。 （英语） Zbl 1522.68021号 计算机科学课堂讲稿13872.查姆：施普林格（ISBN 978-3-031-32156-6/pbk；978-3-331-32157-3/电子书）。x、 第199页。(2023).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Caltais}（编辑）和\textit{C.Schilling}（主编），模型检查软件。第29届国际研讨会，SPIN 2023，巴黎，法国，2023年4月26-27日。诉讼程序。查姆：施普林格（2023；Zbl 1522.68021） 全文： 内政部
埃克哈德·希策（编辑）；乔治·帕帕吉安纳基斯（编辑）；彼得·瓦西克（编辑） 为图形和工程赋予新的几何代数力量。第七届国际研讨会，ENGAGE 2022，虚拟活动，2022年9月12日。诉讼程序。 （英语） Zbl 1518.68013号 计算机科学课堂讲稿13862.查姆：施普林格（ISBN 978-3-031-30922-9/pbk；978-3-331-30923-6/ebook）。x、 135页。(2023).MSC公司：68-06 15A67型 68单位05 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Hitzer}（ed.）等人，《赋予图形和工程新几何代数以力量》，第七届国际研讨会，ENGAGE 2022，虚拟事件，2022年9月12日。诉讼程序。查姆：斯普林格（2023；Zbl 1518.68013） 全文： 内政部
Seo、Seung-Hyun（编辑）；Seo，Hwajeong先生（编辑） 信息安全和密码学——ICISC 2022。2022年11月30日至12月2日在韩国首尔举行的第25届ICISC 2022国际会议。修订了选定的论文。 （英语） Zbl 1517.68028号 计算机科学课堂讲稿13849.查姆：施普林格（ISBN 978-3-031-29370-2/pbk；978-3-0031-29371-9/电子书）。xi，第514页。(2023).MSC公司：68-06 94-06 68平方米25 68第25页 94A60型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛S.-H.Seo｝（编辑）和\textit｛H.Seo｝（编辑），信息安全和密码学——ICISC 2022。2022年11月30日至12月2日在韩国首尔举行的第25届国际文博会2022年国际会议。修订了选定的论文。查姆：施普林格（2023；Zbl 1517.68028） 全文： 内政部
杰里米，歌手（编辑）；叶希亚Elkhatib（编辑）；多拉·布兰科·赫拉斯（编辑）；帕特里克·迪尔（编辑）；尼克·布朗（编辑）；艾利克·阿列克桑达尔（编辑） 2022年欧洲-巴黎：平行加工车间。2022年8月22日至26日在英国格拉斯哥举办的2022年欧洲-巴黎国际研讨会。修订了选定的论文。 （英语） Zbl 1515.68048号 计算机科学课堂讲稿13835.商会：施普林格出版社（ISBN 978-3-031-31208-3/pbk；978-3-031-31209-0/电子书）。xi，第306页。(2023).MSC公司：68-06 2005年5月 6800万 68宽10 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Singer}（ed.）等人，《2022年欧洲药典：平行加工车间》。2022年8月22日至26日在英国格拉斯哥举办的欧洲-巴黎2022年国际研讨会。修订了选定的论文。查姆：斯普林格（2023；Zbl 1515.68048） 全文： 内政部
罗曼·威兹科夫斯基（编辑）；杰克·东加拉（编辑）；埃瓦州迪尔曼（编辑）；康拉德·卡齐夫斯基（编辑） 并行处理和应用数学。第14届国际会议，PPAM 2022，波兰格但斯克，2022年9月11-14日。修订了选定的论文。第二部分。 （英语） Zbl 1517.68032号 计算机科学课堂讲稿13827.查姆：施普林格（ISBN 978-3-031-30444-6/pbk；978-3-331-30445-3/ebook）。第二十二、518页。(2023).MSC公司：68-06 65-06 2005年5月 68宽10 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Wyrzykowski}（编辑）等人，《并行处理与应用数学》。第14届国际会议，PPAM 2022，波兰格但斯克，2022年9月11-14日。修订了选定的论文。第二部分。查姆：施普林格（2023；Zbl 1517.68032） 全文： 内政部
罗曼·威兹科夫斯基（编辑）；杰克·东加拉（编辑）；埃瓦州迪尔曼（编辑）；康拉德·卡齐夫斯基（编辑） 并行处理和应用数学。第14届国际会议，PPAM 2022，波兰格但斯克，2022年9月11-14日。修订了选定的论文。第一部分。 （英语） Zbl 1517.68031号 计算机科学课堂讲稿13826.查姆：施普林格（ISBN 978-3-031-30441-5/pbk；978-3-331-30442-2/电子书）。第二十三章，480页。(2023).MSC公司：68-06 65-06 2005年5月 68宽10 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Wyrzykowski}（编辑）等人，《并行处理与应用数学》。第14届国际会议，PPAM 2022，波兰格但斯克，2022年9月11-14日。修订了选定的论文。第一部分查姆：施普林格（2023；Zbl 1517.68031） 全文： 内政部
利奥波多·贝托西（编辑）；肖国辉（编辑） 推理web。因果关系、解释和陈述性知识。2022年9月27日至30日，德国柏林，2022年第18届国际暑期学校。辅导讲座。 （英语） Zbl 1517.68004号 计算机科学课堂讲稿13759.查姆：施普林格（ISBN 978-3-031-31413-1/pbk；978-3-331-31414-8/电子书）。viii，211页。(2023).MSC公司：68-06 68次发射 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bertossi}（编辑）和\textit{G.Xiao}（主编），推理网。因果关系、解释和陈述性知识。2022年9月27日至30日，德国柏林，第18所2022年国际暑期学校。辅导讲座。查姆：施普林格（2023；Zbl 1517.68004） 全文： 内政部
佩德罗·洛佩兹·加西亚（编辑）；约翰·加拉赫（John P.Gallagher）。（编辑）；罗伯托·贾科巴齐（编辑） 声明式编程和智能系统的分析、验证和转换。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。 （英语） Zbl 1517.68022号 计算机科学课堂讲稿13160.查姆：施普林格（ISBN 978-3-031-31475-9/pbk；978-3-331-31476-6/电子书）。xiv，第351页。(2023).MSC公司：68-06 68新元 68季度xx 68次发射 00B30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Lopez-Garcia}（ed.）等人，声明式编程和智能系统的分析、验证和转换。在曼努埃尔·赫尔梅内吉尔多60岁生日之际，为他撰写的论文。查姆：施普林格（2023；Zbl 1517.68022） 全文： 内政部
海宁·博迪恩（编辑）；Tran，尼古拉斯（编辑）；吉尔吉斯·瓦西尔（编辑） 形式系统的描述复杂性。第25届IFIP工作组1.02国际会议，DCFS 2023，波茨坦，德国，2023年7月4-6日。诉讼程序。 （英语） Zbl 1517.68005号 计算机科学课堂讲稿13918.查姆：施普林格（ISBN 978-3-031-34325-4/pbk；978-3-331-34326-1/电子书）。十六、197页。(2023).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Bordihn}（ed.）等人，形式系统的描述复杂性。第25届IFIP工作组1.02国际会议，DCFS 2023，波茨坦，德国，2023年7月4-6日。诉讼程序。查姆：斯普林格（2023；Zbl 1517.68005） 全文： 内政部
罗兰·格里克（编辑）；路易吉·桑托卡纳莱（编辑）；温特，迈克尔（编辑） 计算机科学中的关系和代数方法。第20届国际会议，RAMiCS 2023，德国奥格斯堡，2023年4月3-6日。诉讼程序。 （英语） Zbl 1517.68016号 计算机科学课堂讲稿13896.查姆：施普林格（ISBN 978-3-031-28082-5/pbk；978-3-331-28083-2/电子书）。十八、293页。(2023).MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück}（ed.）等人，《计算机科学中的关系和代数方法》。第20届国际会议，RAMiCS 2023，德国奥格斯堡，2023年4月3-6日。诉讼程序。查姆：施普林格（2023；Zbl 1517.68016） 全文： 内政部
保罗·马斯奇（编辑）；辛齐亚·伯纳德斯基（编辑）；格拉齐亚尼，皮耶路易吉（编辑）；马里奥·科登布罗克（编辑）；毛里齐奥·帕尔米耶里（编辑） 软件工程和形式化方法。SEFM 2022并置研讨会。AI4EA、F-IDE、CoSim-CPS、CIFMA、德国柏林，2022年9月26日至30日。修订了选定的论文。 （英语） 兹比尔1517.68024 计算机科学课堂讲稿13765.查姆：施普林格（ISBN 978-3-031-26235-7/pbk；978-3-331-26236-4/电子书）。ix，第420页。(2023).MSC公司：68-06 68新元 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Masci}（ed.）等人，《软件工程和形式化方法》。SEFM 2022并置研讨会。AI4EA、F-IDE、CoSim-CPS、CIFMA、德国柏林，2022年9月26-30日。修订了选定的论文。查姆：施普林格（2023；Zbl 1517.68024） 全文： 内政部
方，费（编辑）；徐海峰（编辑）；叶泽凯尔·哈耶尔（编辑） 安全决策和博弈论。第13届国际会议，2022年10月26日至28日，美国宾夕法尼亚州匹兹堡，GameSec 2022。诉讼程序。 （英语） Zbl 1517.68011号 计算机科学课堂讲稿13727.查姆：施普林格（ISBN 978-3-031-26368-2/pbk；978-3-331-26369-9/电子书）。xii，319页。(2023).MSC公司：68-06 68平方米25 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Fang}（编辑）等，《安全决策与博弈论》。第13届国际会议，2022年10月26日至28日，美国宾夕法尼亚州匹兹堡，GameSec 2022。诉讼程序。查姆：施普林格（2023；Zbl 1517.68011） 全文： 内政部
玛莎·契契克（编辑）；Joost-Pieter卡托恩（编辑）；Leucker，马丁（编辑） 形式化方法。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。 （英语） Zbl 1517.68007号 计算机科学课堂讲稿14000.查姆：施普林格（ISBN 978-3-031-27480-0/pbk；978-3-331-27481-7/电子书）。十六、659页。(2023).MSC公司：68-06 68新元 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Chechik}（编辑）等，《形式方法》。第25届国际研讨会，FM 2023，吕贝克，德国，2023年3月6日至10日。诉讼程序。查姆：施普林格（2023；Zbl 1517.68007） 全文： 内政部
莫华·班纳吉（编辑）；A.V.Sreejith。（编辑） 逻辑及其应用。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3日至5日。诉讼程序。 （英语） Zbl 1517.03002号 计算机科学课堂讲稿13963.查姆：施普林格（ISBN 978-3-031-26688-1/pbk；978-3-331-26689-8/电子书）。x、 第223页。(2023).MSC公司：03-06 03Bxx号 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Banerjee}（编辑）和\textit{A.V.Sreejith}（主编），《逻辑及其应用》。第十届印度会议，ICLA 2023，印度印多尔，2023年3月3-5日。诉讼程序。查姆：施普林格（2023；Zbl 1517.03002） 全文： 内政部
阿弥陀佛八尺（编辑）；拉胡尔·穆图（编辑） 算法和离散应用数学。第九届国际会议，CALDAM 2023，印度甘地那加，2023年2月9-11日。诉讼程序。 （英语） Zbl 1517.68002号 计算机科学课堂讲稿13947.查姆：施普林格（ISBN 978-3-031-25210-5/pbk；978-3-331-25211-2/电子书）。十七、462页。(2023).MSC公司：68-06 68瓦xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bagchi}（编辑）和\textit{R.Muthu}（编），算法和离散应用数学。第九届国际会议，CALDAM 2023，印度甘地那加，2023年2月9-11日。诉讼程序。查姆：施普林格（2023；Zbl 1517.68002） 全文： 内政部
塞萨拉·德拉戈伊（编辑）；迈克尔·埃米（编辑）；王晶波（编辑） 验证、模型检查和抽象解释。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。 （英语） Zbl 1517.68010号 计算机科学课堂讲稿13881.查姆：施普林格（ISBN 978-3-031-24949-5/pbk；978-3-331-24950-1/电子书）。x、 第389页。(2023).MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dragoi}（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：施普林格（2023；Zbl 1517.68010） 全文： 内政部
帕特里齐奥·安吉利尼（编辑）；冯·汉克斯利登，莱因哈德（编辑） 图形绘制和网络可视化。2022年9月13日至16日，第30届国际研讨会，GD 2022，日本东京。修订了选定的论文。 （英语） 兹比尔1517.68001 计算机科学课堂讲稿13764.查姆：施普林格（ISBN 978-3-031-22202-3/pbk；978-3-331-22203-0/电子书）。xxiv，492页。(2023).MSC公司：68-06 68兰特 68单位05 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Angelini}（编辑）和\textit{R.von Hanxleden}（主编），图形绘制和网络可视化。第30届国际研讨会，GD2022，日本东京，2022年9月13-16日。修订了选定的论文。查姆：施普林格（2023；Zbl 1517.68001） 全文： 内政部
莱泽克·鲁特考夫斯基（编辑）；拉法·谢勒（编辑）；马钦·科里特科夫斯基（编辑）；维托尔德·佩德里茨（编辑）；Ryszard Tadeusiewicz（编辑）；杰塞克·祖拉达。（编辑） 人工智能和软计算。第21届国际会议，ICAISC 2022，波兰扎科帕内，2022年6月19-23日。诉讼程序。第二部分。 （英语） Zbl 1508.68020号 计算机科学课堂讲稿13589.人工智能课堂讲稿。商会：施普林格出版社（ISBN 978-3-031-23479-8/pbk；978-3-031-23480-4/ebook）。十八、401页。(2023).MSC公司：68-06 68次发射 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Rutkowski}（编辑）等人，《人工智能和软计算》。第21届国际会议，ICAISC 2022，波兰扎科帕内，2022年6月19-23日。诉讼程序。第二部分。查姆：斯普林格（2023；Zbl 1508.68020） 全文： 内政部
莱泽克·鲁特考夫斯基（编辑）；拉法·谢勒（编辑）；马钦·科里特科夫斯基（编辑）；维托尔德·佩德里茨（编辑）；Ryszard Tadeusiewicz（编辑）；杰塞克·祖拉达。（编辑） 人工智能和软计算。第21届国际会议，ICAISC 2022，波兰扎科帕内，2022年6月19-23日。诉讼程序。第一部分。 （英语） Zbl 1508.68019号 计算机科学课堂讲稿13588.人工智能课堂讲稿。查姆：施普林格（ISBN 978-3-031-23491-0/pbk；978-3-331-23492-7/电子书）。xvii，第439页。(2023).MSC公司：68-06 68次发射 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Rutkowski}（编辑）等人，《人工智能和软计算》。第21届国际会议，ICAISC 2022，波兰扎科帕内，2022年6月19-23日。诉讼程序。第一部分查姆：施普林格（2023；Zbl 1508.68019） 全文： 内政部
莱泽克·Gąsieniec（编辑） SOFSEM 2023：计算机科学的理论与实践。第48届计算机科学理论与实践当前趋势国际会议，SOFSEM 2023，斯洛伐克斯莫科维奇，2023年1月15日至18日。诉讼程序。 （英语） Zbl 1517.68014号 计算机科学课堂讲稿13878.查姆：施普林格（ISBN 978-3-031-23100-1/pbk；978-3-0031-23101-8/电子书）。xi，第402页。(2023).MSC公司：68-06 68季度xx 68卢比 68次发射 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Gąsieniec}（编辑），SOFSEM 2023：计算机科学的理论与实践。第48届计算机科学理论与实践当前趋势国际会议，SOFSEM 2023年11月，斯洛伐克斯莫科维奇，2023年1月15-18日。诉讼程序。查姆：施普林格（2023；Zbl 1517.68014） 全文： 内政部
弗拉基米尔·维什内夫斯基。（编辑）；Samouylov，Konstantin E。（编辑）；德米特里五世（Dmitry V.Kozyrev）。（编辑） 分布式计算机和通信网络：控制、计算、通信。第25届国际会议，DCCN 2022，俄罗斯莫斯科，2022年9月26-29日。修订了选定的论文。 （英语） Zbl 1517.68029号 计算机科学课堂讲稿13766.查姆：施普林格（ISBN 978-3-031-23206-0/pbk；978-3-331-23207-7/电子书）。xiv，436页。(2023).MSC公司：68-06 68M10个 64岁以下 68平方米 90B18号机组 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{V.M.Vishnevskiy}（ed.）等人，《分布式计算机和通信网络：控制、计算、通信》。第25届国际会议，DCCN 2022，俄罗斯莫斯科，2022年9月26-29日。修订了选定的论文。查姆：施普林格（2023；Zbl 1517.68029） 全文： 内政部